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)

Completeness-aware Rule Learning from Knowledge Graphs IJCAI 2018
Operator Counting Heuristics for Probabilistic Planning IJCAI 2018
A Conversational Approach to Process-oriented Case-based Reasoning IJCAI 2018
Evaluation Techniques and Systems for Answer Set Programming: a Survey IJCAI 2018
Systems AI: A Declarative Learning Based Programming Perspective IJCAI 2018
Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract) IJCAI 2018
Prime Implicate Generation in Equational Logic (extended abstract) IJCAI 2018
Fact-Alternating Mutex Groups for Classical Planning (Extended Abstract) IJCAI 2018
Three-Valued Semantics for Hybrid MKNF Knowledge Bases Revisited (Extended Abstract) IJCAI 2018
Reasoning about NP-complete Constraints IJCAI 2018
Intelligent Decision Support for Human Team Planning IJCAI 2018
Instructing Novice Users on How to Use Tools in DIY Projects IJCAI 2018
SynKit: LTL Synthesis as a Service IJCAI 2018
Extracting Latent Beliefs and using Epistemic Reasoning to Tailor a Chatbot IJCAI 2018
Automated Reasoning for City Infrastructure Maintenance Decision Support IJCAI 2018
Robust Synthetic Control JMLR 2018
Invariant Models for Causal Transfer Learning JMLR 2018
Markov Blanket and Markov Boundary of Multiple Variables JMLR 2018
Scene Graph Parsing as Dependency Parsing NAACL 2018
Can Network Embedding of Distributional Thesaurus Be Combined with Word Vectors for Better Representation? NAACL 2018
Neural Tensor Networks with Diagonal Slice Matrices NAACL 2018
The Web as a Knowledge-Base for Answering Complex Questions NAACL 2018
Acquisition of Phrase Correspondences Using Natural Deduction Proofs NAACL 2018
Global Relation Embedding for Relation Extraction NAACL 2018
Inducing Temporal Relations from Time Anchor Annotation NAACL 2018