logic programming

Complete Bottom-Up Predicate Invention in Meta-Interpretive Learning IJCAI 2020 Complexity and Expressive Power of Disjunction and Negation in Limit Datalog AAAI 2020 Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract) IJCAI 2020 Forgetting an Argument AAAI 2020 Forgetting Auxiliary Atoms in Forks (Extended Abstract) IJCAI 2020 On the Splitting Property for Epistemic Logic Programs (Extended Abstract) IJCAI 2020 Query Answering with Guarded Existential Rules under Stable Model Semantics AAAI 2020 A Core Method for the Weak Completion Semantics with Skeptical Abduction (Extended Abstract) IJCAI 2019 A Preliminary Report of Integrating Science and Computing Teaching Using Logic Programming AAAI 2019 Bridging Machine Learning and Logical Reasoning by Abductive Learning NeurIPS 2019 Forgetting in Modular Answer Set Programming AAAI 2019 Learning Relational Representations with Auto-encoding Logic Programs IJCAI 2019 Neural Logic Machines ICLR 2019 NLProlog: Reasoning with Weak Unification for Question Answering in Natural Language ACL 2019 Strong Equivalence for Epistemic Logic Programs Made Easy AAAI 2019 Synthesizing Datalog Programs using Numerical Relaxation IJCAI 2019 Evaluation Techniques and Systems for Answer Set Programming: a Survey IJCAI 2018 On the Equivalence between Assumption-Based Argumentation and Logic Programming (Extended Abstract) IJCAI 2018 Possibilistic ASP Base Revision by Certain Input IJCAI 2018 Single-Shot Epistemic Logic Program Solving IJCAI 2018 Stratified Negation in Limit Datalog Programs 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 First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract) IJCAI 2017 Foundations of Declarative Data Analysis Using Limit Datalog Programs IJCAI 2017