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)

Iterative Entity Alignment via Joint Knowledge Embeddings IJCAI 2017
Faster Conflict Generation for Dynamic Controllability IJCAI 2017
Purely Declarative Action Descriptions are Overrated: Classical Planning with Simulators IJCAI 2017
On Creating Complementary Pattern Databases IJCAI 2017
Numeric Planning via Abstraction and Policy Guided Search IJCAI 2017
Lossy Compression of Pattern Databases Using Acyclic Random Hypergraphs IJCAI 2017
Landmarks for Numeric Planning Problems IJCAI 2017
Efficient, Safe, and Probably Approximately Complete Learning of Action Models IJCAI 2017
An Improved Approximation Algorithm for the Subpath Planning Problem and Its Generalization IJCAI 2017
Temporal Planning for Compilation of Quantum Approximate Optimization Circuits IJCAI 2017
New Metrics and Algorithms for Stochastic Goal Recognition Design Problems IJCAI 2017
Hierarchical Task Network Planning with Task Insertion and State Constraints IJCAI 2017
Context-Based Reasoning on Privacy in Internet of Things IJCAI 2017
Open-World Probabilistic Databases: An Abridged Report IJCAI 2017
KSP: A Resolution-based Prover for Multimodal K, Abridged Report IJCAI 2017
nanoCoP: Natural Non-clausal Theorem Proving IJCAI 2017
The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract) IJCAI 2017
Computer Models Solving Intelligence Test Problems: Progress and Implications (Extended Abstract) IJCAI 2017
On Redundant Topological Constraints (Extended Abstract) IJCAI 2017
Relations Between Spatial Calculi About Directions and Orientations (Extended Abstract) IJCAI 2017
Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract) IJCAI 2017
On the Expressivity of Inconsistency Measures (Extended Abstract) IJCAI 2017
A generic approach to planning in the presence of incomplete information: Theory and implementation (Extended Abstract) IJCAI 2017
On the Complexity and Expressiveness of Automated Planning Languages Supporting Temporal Reasoning IJCAI 2017
Operationalizing Operational Logics: Semiotic Knowledge Representations for Interactive Systems IJCAI 2017