answer set programming

Reasoning Requirements for Indirect Speech Act Interpretation COLING 2020 Resilient Logic Programs: Answer Set Programs Challenged by Ontologies AAAI 2020 Solving Sum-of-Costs Multi-Agent Pathfinding with Answer-Set Programming AAAI 2020 Structural Decompositions of Epistemic Logic Programs AAAI 2020 Turning 30: New Ideas in Inductive Logic Programming IJCAI 2020 An ASP Approach to Generate Minimal Countermodels in Intuitionistic Propositional Logic IJCAI 2019 Answer Set Programming for Judgment Aggregation IJCAI 2019 ASP-based Discovery of Semi-Markovian Causal Models under Weaker Assumptions IJCAI 2019 Declarative Question Answering over Knowledge Bases Containing Natural Language Text with Answer Set Programming AAAI 2019 Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming AAAI 2019 Enumerating Potential Maximal Cliques via SAT and ASP IJCAI 2019 Forgetting in Modular Answer Set Programming AAAI 2019 Meta-Interpretive Learning Using HEX-Programs IJCAI 2019 On the Integration of CP-nets in ASPRIN IJCAI 2019 Out of Sight But Not Out of Mind: An Answer Set Programming Based Online Abduction Framework for Visual Sensemaking in Autonomous Driving IJCAI 2019 Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings AAAI 2019 Representing and Learning Grammars in Answer Set Programming AAAI 2019 Strong Equivalence for Epistemic Logic Programs Made Easy AAAI 2019 Very Hard Electoral Control Problems AAAI 2019 Evaluation Techniques and Systems for Answer Set Programming: a Survey IJCAI 2018 Exploiting Justifications for Lazy Grounding of Answer Set Programs IJCAI 2018 Possibilistic ASP Base Revision by Certain Input IJCAI 2018 Single-Shot Epistemic Logic Program Solving IJCAI 2018 Conflict-driven ASP Solving with External Sources and Program Splits IJCAI 2017 Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract) IJCAI 2017