conftrace_
← Topics

Knowledge & Reasoning

3,940 papers (1 classified directly here)

Subtopics

Reasoning (2,428) Representation (1,906)

Papers per year

17
13
418
543
'10
'15
'20
'25

Papers (including subtopics)

A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem IJCAI 2017
Temporal Planning with Clock-Based SMT Encodings IJCAI 2017
Nonlinear Hybrid Planning with Deep Net Learned Transition Models and Mixed-Integer Linear Programming IJCAI 2017
Answering Conjunctive Regular Path Queries over Guarded Existential Rules IJCAI 2017
Reasoning about Probabilities in Unbounded First-Order Dynamical Domains IJCAI 2017
Reformulating Queries: Theory and Practice IJCAI 2017
Ontology-Mediated Query Answering for Key-Value Stores IJCAI 2017
Safe Inductions: An Algebraic Study IJCAI 2017
Semantics for Active Integrity Constraints Using Approximation Fixpoint Theory IJCAI 2017
Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints IJCAI 2017
Making Cross Products and Guarded Ontology Languages Compatible IJCAI 2017
Strong Inconsistency in Nonmonotonic Reasoning IJCAI 2017
Budget-Constrained Dynamics in Multiagent Systems IJCAI 2017
Belief Change in a Preferential Non-monotonic Framework IJCAI 2017
Handling non-local dead-ends in Agent Planning Programs IJCAI 2017
Temporal Sequences of Qualitative Information: Reasoning about the Topology of Constant-Size Moving Regions IJCAI 2017
Streaming Multi-Context Systems IJCAI 2017
Lazy-Grounding for Answer Set Programs with External Source Access IJCAI 2017
Strategically knowing how IJCAI 2017
Relatedness-based Multi-Entity Summarization IJCAI 2017
On the Complexity of Enumerating the Extensions of Abstract Argumentation Frameworks IJCAI 2017
Mapping Repair in Ontology-based Data Access Evolving Systems IJCAI 2017
A Data-Driven Approach to Infer Knowledge Base Representation for Natural Language Relations IJCAI 2017
Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability IJCAI 2017
Logic on MARS: Ontologies for Generalised Property Graphs IJCAI 2017