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)

DAGs with No Curl: An Efficient DAG Structure Learning Approach ICML 2021
Reasoning over Argument-Incomplete AAFs in the Presence of Correlations IJCAI 2021
Strategyproof Randomized Social Choice for Restricted Sets of Utility Functions IJCAI 2021
Tango: Declarative Semantics for Multiagent Communication Protocols IJCAI 2021
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization IJCAI 2021
Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up 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
Intensional and Extensional Views in DL-Lite Ontologies IJCAI 2021
On Belief Change for Multi-Label Classifier Encodings IJCAI 2021
A Uniform Abstraction Framework for Generalized Planning 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
Program Synthesis as Dependency Quantified Formula Modulo Theory IJCAI 2021
Updating the Belief Promotion Operator IJCAI 2021
HIP Network: Historical Information Passing Network for Extrapolation Reasoning on Temporal Knowledge Graph IJCAI 2021
Reasoning about Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic IJCAI 2021
Bounded Predicates in Description Logics with Counting 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