conftrace_

answer set programming

97 papers

Explore in graph

Also known as

ASP

Co-occurring keywords

logic programming (50) knowledge representation (301) inductive logic programming (64) automated reasoning (122) computational complexity (399) non-monotonic reasoning (26) epistemic logic (42) large language model (13587) epistemic logic program (5) constraint satisfaction (294)

Papers

Strong Equivalence for Epistemic Logic Programs Made Easy AAAI 2019
Very Hard Electoral Control Problems AAAI 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
Answer Set Programming for Judgment Aggregation IJCAI 2019
On the Integration of CP-nets in ASPRIN IJCAI 2019
Meta-Interpretive Learning Using HEX-Programs IJCAI 2019
ASP-based Discovery of Semi-Markovian Causal Models under Weaker Assumptions IJCAI 2019
Evaluation Techniques and Systems for Answer Set Programming: a Survey IJCAI 2018
Single-Shot Epistemic Logic Program Solving IJCAI 2018
Possibilistic ASP Base Revision by Certain Input IJCAI 2018
Exploiting Justifications for Lazy Grounding of Answer Set Programs IJCAI 2018
On Computing World Views of Epistemic Logic Programs IJCAI 2017
The Impact of Treewidth on ASP Grounding and Solving IJCAI 2017
Conflict-driven ASP Solving with External Sources and Program Splits IJCAI 2017
Generalized Target Assignment and Path Finding Using Answer Set Programming IJCAI 2017
Unsatisfiable Core Shrinking for Anytime Answer Set Optimization IJCAI 2017
Lazy-Grounding for Answer Set Programs with External Source Access IJCAI 2017
First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract) IJCAI 2017
Integrating Answer Set Programming with Semantic Dictionaries for Robot Task Planning IJCAI 2017
Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract) IJCAI 2017
Learning Acyclic Directed Mixed Graphs from Observations and Interventions PGM 2016
Learning Chordal Markov Networks by Constraint Satisfaction NIPS 2013