conftrace_

logic programming

50 papers

Explore in graph

Also known as

LP

Co-occurring keywords

answer set programming (97) knowledge representation (301) automated reasoning (122) stable model (9) epistemic logic (42) large language model (13587) non-monotonic reasoning (26) stable model semantics (7) formal semantics (35) complexity analysis (93)

Papers

Complexity and Expressive Power of Disjunction and Negation in Limit Datalog AAAI 2020
Complete Bottom-Up Predicate Invention in Meta-Interpretive Learning IJCAI 2020
Forgetting Auxiliary Atoms in Forks (Extended Abstract) IJCAI 2020
Forgetting an Argument AAAI 2020
On the Splitting Property for Epistemic Logic Programs (Extended Abstract) IJCAI 2020
Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract) IJCAI 2020
Synthesizing Datalog Programs using Numerical Relaxation IJCAI 2019
A Preliminary Report of Integrating Science and Computing Teaching Using Logic Programming AAAI 2019
Learning Relational Representations with Auto-encoding Logic Programs IJCAI 2019
Forgetting in Modular Answer Set Programming AAAI 2019
Strong Equivalence for Epistemic Logic Programs Made Easy AAAI 2019
NLProlog: Reasoning with Weak Unification for Question Answering in Natural Language ACL 2019
Bridging Machine Learning and Logical Reasoning by Abductive Learning NIPS 2019
On the Equivalence between Assumption-Based Argumentation and Logic Programming (Extended Abstract) IJCAI 2018
Stratified Negation in Limit Datalog Programs IJCAI 2018
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
The Intricacies of Three-Valued Extensional Semantics for Higher-Order Logic Programs IJCAI 2018
Three-Valued Semantics for Hybrid MKNF Knowledge Bases Revisited (Extended Abstract) IJCAI 2018
Swift Logic for Big Data and Knowledge Graphs IJCAI 2017
First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract) IJCAI 2017
Safe Inductions: An Algebraic Study IJCAI 2017
On Computing World Views of Epistemic Logic Programs IJCAI 2017
Foundations of Declarative Data Analysis Using Limit Datalog Programs IJCAI 2017