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

Search Space Expansion for Efficient Incremental Inductive Logic Programming from Streamed Data IJCAI 2022
A Calculus for Computing Structured Justifications for Election Outcomes AAAI 2022
Rushing and Strolling among Answer Sets – Navigation Made Easy AAAI 2022
Axiomatization of Aggregates in Answer Set Programming AAAI 2022
Treewidth-Aware Complexity in ASP: Not all Positive Cycles are Equally Hard AAAI 2021
Scalable Non-observational Predicate Learning in ASP IJCAI 2021
Lifting Symmetry Breaking Constraints with Inductive Logic Programming IJCAI 2021
Resilient Logic Programs: Answer Set Programs Challenged by Ontologies AAAI 2020
Finding Most Compatible Phylogenetic Trees over Multi-State Characters AAAI 2020
Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators IJCAI 2020
Turning 30: New Ideas in Inductive Logic Programming IJCAI 2020
Lossless Semantic Round-Tripping in PENG ASP IJCAI 2020
Reasoning Requirements for Indirect Speech Act Interpretation COLING 2020
A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract) IJCAI 2020
Proving Semantic Properties as First-Order Satisfiability (Extended Abstract) IJCAI 2020
Structural Decompositions of Epistemic Logic Programs AAAI 2020
Query Answering with Guarded Existential Rules under Stable Model Semantics AAAI 2020
Learning Optimal Cyclic Causal Graphs from Interventional Data PGM 2020
NeurASP: Embracing Neural Networks into Answer Set Programming IJCAI 2020
An ASP Approach to Generate Minimal Countermodels in Intuitionistic Propositional Logic IJCAI 2019
Enumerating Potential Maximal Cliques via SAT and ASP IJCAI 2019
Declarative Question Answering over Knowledge Bases Containing Natural Language Text with Answer Set Programming AAAI 2019
Forgetting in Modular Answer Set Programming AAAI 2019
Representing and Learning Grammars in Answer Set Programming AAAI 2019
Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings AAAI 2019