conftrace_
← Knowledge & Reasoning
Knowledge & Reasoning ›

Reasoning

2,428 papers (30 classified directly here)

Subtopics

Causal Inference (936) Automated Reasoning (843) Formal Methods (351) Automated Planning (288) Graph Embeddings (215)

Papers per year

11
11
272
299
'10
'15
'20
'25

Papers (including subtopics)

Unbounded Orchestrations of Transducers for Manufacturing AAAI 2019
Relaxing and Restraining Queries for OBDA AAAI 2019
Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees AAAI 2019
Abstracting Causal Models AAAI 2019
Learning Features and Abstract Actions for Computing Generalized Plans AAAI 2019
Ontology-Mediated Query Answering over Log-Linear Probabilistic Data AAAI 2019
Approximate Stream Reasoning with Metric Temporal Logic under Uncertainty AAAI 2019
ABox Abduction via Forgetting in ALC AAAI 2019
Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable AAAI 2019
On Structured Argumentation with Conditional Preferences AAAI 2019
Complexity of Abstract Argumentation under a Claim-Centric View AAAI 2019
Strong Equivalence for Epistemic Logic Programs Made Easy AAAI 2019
Disjunctive Normal Form for Multi-Agent Modal Logics Based on Logical Separability AAAI 2019
Counting Complexity for Reasoning in Abstract Argumentation AAAI 2019
Partial Awareness AAAI 2019
Modular Materialisation of Datalog Programs AAAI 2019
Minimum Intervention Cover of a Causal Graph AAAI 2019
Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings AAAI 2019
SAT-Based Explicit LTLf Satisfiability Checking AAAI 2019
Complexity of Inconsistency-Tolerant Query Answering in Datalog+/– under Cardinality-Based Repairs AAAI 2019
On Limited Conjunctions and Partial Features in Parameter-Tractable Feature Logics AAAI 2019
Declarative Question Answering over Knowledge Bases Containing Natural Language Text with Answer Set Programming AAAI 2019
Belief Change and Non-Monotonic Reasoning Sans Compactness AAAI 2019
Efficient Concept Induction for Description Logics AAAI 2019
An Open-World Extension to Knowledge Graph Completion Models AAAI 2019