Keyword:Answer Set Programming

Papers
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
ASP-Based Declarative Process Mining Francesco Chiariello, Fabrizio Maria Maggi and Fabio Patrizi EasyChair Preprint no. 8675
Embed2Sym - Scalable Neuro-Symbolic Reasoning via Clustered Embeddings Yaniv Aspis, Krysia Broda, Jorge Lobo and Alessandra Russo EasyChair Preprint no. 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 no. 4845
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
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
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
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
Symmetry breaking in a new stable model search method Tarek Khaled and Belaid Benhamou In:LPAR-22 Workshop and Short Paper Proceedings
Speeding Up Lazy-Grounding Answer Set Solving Richard Taupe EasyChair Preprint no. 383
Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples Arindam Mitra and Chitta Baral EasyChair Preprint no. 244
Epistemic Logic Programs with World View Constraints Patrick Kahl and Anthony Leclerc EasyChair Preprint no. 231
Learning Commonsense Knowledge through Interactive Dialogue Benjamin Wu, Alessandra Russo, Mark Law and Katsumi Inoue EasyChair Preprint no. 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 no. 208
First-order answer set programming as constructive proof search Aleksy Schubert and Pawel Urzyczyn EasyChair Preprint no. 207
Optimal Scheduling for Exposed Datapath Architectures with Buffered Processing Units by ASP Marc Dahlem, Anoop Bhagyanath and Klaus Schneider EasyChair Preprint no. 205
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning Tobias Kaminski, Thomas Eiter and Katsumi Inoue EasyChair Preprint no. 204
Temporal Answer Set Programming on Finite Traces Pedro Cabalar, Roland Kaminski, Torsten Schaub and Anna Schuhmann EasyChair Preprint no. 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 no. 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 no. 197
Specifying and Verbalising Answer Set Programs in Controlled Natural Language Rolf Schwitter EasyChair Preprint no. 194
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.