Keyword:Answer Set Programming

Publications
Reasoning about Relative Position and Orientation of Moving Objects Using Answer Set Programming Yusuf Izmirlioglu EasyChair Preprint 14505
ASP-Based Declarative Process Mining Francesco Chiariello, Fabrizio Maria Maggi and Fabio Patrizi EasyChair Preprint 8675
Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings Yaniv Aspis, Krysia Broda, Jorge Lobo and Alessandra Russo EasyChair Preprint 8637
Commonsense Visual Sensemaking for Autonomous Driving: on Generalised Neurosymbolic Online Abduction Integrating Vision and Semantics Jakob Suchan, Mehul Bhatt and Srikrishna Varadarajan EasyChair Preprint 4845
Speeding Up Lazy-Grounding Answer Set Solving Richard Taupe EasyChair Preprint 383
Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples Arindam Mitra and Chitta Baral EasyChair Preprint 244
Epistemic Logic Programs with World View Constraints Patrick Kahl and Anthony Leclerc EasyChair Preprint 231
Learning Commonsense Knowledge through Interactive Dialogue Benjamin Wu, Alessandra Russo, Mark Law and Katsumi Inoue EasyChair Preprint 224
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming George Baryannis, Ilias Tachmazidis, Sotiris Batsakis, Grigoris Antoniou, Mario Alviano, Timos Sellis and Pei-Wei Tsai EasyChair Preprint 208
First-order answer set programming as constructive proof search Aleksy Schubert and Pawel Urzyczyn EasyChair Preprint 207
Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP Marc Dahlem, Anoop Bhagyanath and Klaus Schneider EasyChair Preprint 205
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning Tobias Kaminski, Thomas Eiter and Katsumi Inoue EasyChair Preprint 204
Temporal Answer Set Programming on Finite Traces Pedro Cabalar, Roland Kaminski, Torsten Schaub and Anna Schuhmann EasyChair Preprint 199
Routing Driverless Transport Vehicles in Car Assembly with Answer Set Programming Martin Gebser, Philipp Obermeier, Michel Ratsch-Heitmann, Mario Runge and Torsten Schaub EasyChair Preprint 198
Experimenting with robotic intra-logistics domains Martin Gebser, Van Nguyen, Philipp Obermeier, Thomas Otto, Orkunt Sabuncu, Torsten Schaub and Tran Cao Son EasyChair Preprint 197
Specifying and Verbalising Answer Set Programs in Controlled Natural Language Rolf Schwitter EasyChair Preprint 194
Automatic and Interactive Validation of Study Regulations in Accreditation Processes of Higher Education Institutions Markus von der Heyde, Chukwunwike Otunuya, Matthias Goebel, Dietmar Zoerner and Ulrike Lucke In:Proceedings of European University Information Systems Congress 2023
A Fast and Accurate ASP Counting Based Network Reliability Estimator Mohimenul Kabir and Kuldeep S Meel In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
An ASP-based Approach for Boolean Networks Representation and Attractor Detection Tarek Khaled and Belaid Benhamou In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
A Declarative Method for Dynamic Multi-Agent Path Finding Aysu Bogatarkan, Volkan Patoglu and Esra Erdem In:GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence
Query Answering With Non-Monotonic Rules: A Case Study of Archaeology Qualitative Spatial Reasoning Mohamed Ben Ellefi, Pierre Drap, Laurent Garcia, Fabien Garreau, Claire Lefèvre, Odile Papini, Igor Stéphan and Eric Würbel In:GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence
Visual Reasoning on Complex Events in Soccer Videos Using Answer Set Programming Abdullah Khan, Loris Bozzato, Luciano Serafini and Beatrice Lazzerini In:GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence
Symmetry breaking in a new stable model search method Tarek Khaled and Belaid Benhamou In:LPAR-22 Workshop and Short Paper Proceedings
A Case for Query-driven Predicate Answer Set Programming Gopal Gupta, Elmer Salazar, Kyle Marple, Zhuo Chen and Farhad Shakerin In:ARCADE 2017. 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
An Algebra of Combined Constraint Solving Eugenia Ternovska In:GCAI 2015. Global Conference on Artificial Intelligence
An Epistemic Event Calculus for ASP-based Reasoning About Knowledge of the Past, Present and Future Jiefei Ma, Rob Miller, Leora Morgenstern and Theodore Patkos In:LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Default Reasoning in Action Domains with Conditional, Non-Local Effect Actions Hannes Strass and Michael Thielscher In:LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.