conftrace_
← Reasoning
Knowledge & Reasoning › Reasoning ›

Formal Methods

351 papers

Papers per year

47
48
'20
'25

Papers

Personnel Scheduling as Satisfiability Modulo Theories IJCAI 2017
A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem IJCAI 2017
Making Cross Products and Guarded Ontology Languages Compatible IJCAI 2017
Budget-Constrained Dynamics in Multiagent Systems IJCAI 2017
Logic on MARS: Ontologies for Generalised Property Graphs IJCAI 2017
Efficient and Complete FD-solving for extended array constraints IJCAI 2017
A Reasoning System for a First-Order Logic of Limited Belief IJCAI 2017
A Characterization Theorem for a Modal Description Logic IJCAI 2017
Role Forgetting for ALCOQH(universal role)-Ontologies Using an Ackermann-Based Approach 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
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
Operationalizing Operational Logics: Semiotic Knowledge Representations for Interactive Systems IJCAI 2017
Limbo: A Reasoning System for Limited Belief IJCAI 2017
Correlated Crash Vulnerabilities OSDI 2016
CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels OSDI 2016
Correct High-level Robot Behavior in Environments with Unexpected Events RSS 2014
First-order Decomposition Trees NIPS 2013
Learning and Model-Checking Networks of I/O Automata ACML 2012
Guaranteeing High-Level Behaviors while Exploring Partially Known Maps RSS 2012
On the Completeness of First-Order Knowledge Compilation for Lifted Probabilistic Inference NIPS 2011