conftrace_
← Reasoning
Knowledge & Reasoning › Reasoning ›

Automated Reasoning

843 papers

Papers per year

3
83
118
'10
'20
'25

Papers

Efficiently Explaining CSPs with Unsatisfiable Subset Optimization IJCAI 2021
On Cycles, Attackers and Supporters --- A Contribution to The Investigation of Dynamics in Abstract Argumentation IJCAI 2021
Reasoning About Agents That May Know Other Agents’ Strategies IJCAI 2021
Cardinality Queries over DL-Lite Ontologies IJCAI 2021
Abductive Learning with Ground Knowledge Base IJCAI 2021
On Belief Change for Multi-Label Classifier Encodings IJCAI 2021
Abductive Knowledge Induction from Raw Data IJCAI 2021
Improved Algorithms for Allen's Interval Algebra: a Dynamic Programming Approach IJCAI 2021
Decomposition-Guided Reductions for Argumentation and Treewidth IJCAI 2021
Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies IJCAI 2021
Updating the Belief Promotion Operator IJCAI 2021
Reasoning about Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic IJCAI 2021
Inconsistency Measurement for Paraconsistent Inference IJCAI 2021
A Description Logic for Analogical Reasoning IJCAI 2021
Skeptical Reasoning with Preferred Semantics in Abstract Argumentation without Computing Preferred Extensions IJCAI 2021
Abstract Argumentation Frameworks with Domain Assignments IJCAI 2021
Temporal and Object Quantification Networks IJCAI 2021
Compositional Neural Logic Programming IJCAI 2021
Relational Gating for ''What If'' Reasoning IJCAI 2021
Synthesizing Good-Enough Strategies for LTLf Specifications IJCAI 2021
Explanation in Constraint Satisfaction: A Survey IJCAI 2021
Hybrid Probabilistic Inference with Logical and Algebraic Constraints: a Survey IJCAI 2021
Analogical Proportions: Why They Are Useful in AI IJCAI 2021
Defining the Semantics of Abstract Argumentation Frameworks through Logic Programs and Partial Stable Models (Extended Abstract) IJCAI 2021
Comparing Weak Admissibility Semantics to their Dung-style Counterparts (Extended Abstract) IJCAI 2021