Skip to content
conftrace_

answer set programming

109 papers

Explore in graph

Also known as

ASP

Co-occurring keywords · papers mentioning both

knowledge representation (18) logic programming (17) inductive logic programming (10) automated reasoning (10) non-monotonic reasoning (8) combinatorial optimization (7) computational complexity (6) large language model (5) epistemic logic (4) epistemic logic program (4)

Papers

First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract) IJCAI 2017 Generalized Target Assignment and Path Finding Using Answer Set Programming IJCAI 2017 Integrating Answer Set Programming with Semantic Dictionaries for Robot Task Planning IJCAI 2017 Lazy-Grounding for Answer Set Programs with External Source Access IJCAI 2017 On Computing World Views of Epistemic Logic Programs IJCAI 2017 The Impact of Treewidth on ASP Grounding and Solving IJCAI 2017 Unsatisfiable Core Shrinking for Anytime Answer Set Optimization IJCAI 2017 Learning Acyclic Directed Mixed Graphs from Observations and Interventions PGM 2016 Learning Chordal Markov Networks by Constraint Satisfaction NeurIPS 2013