← Reasoning
Knowledge & Reasoning › Reasoning ›

Formal Methods

350 directly classified papers

Papers per year

Papers

Making Cross Products and Guarded Ontology Languages Compatible IJCAI 2017
Determining Semantic Textual Similarity using Natural Deduction Proofs EMNLP 2017
Logic on MARS: Ontologies for Generalised Property Graphs IJCAI 2017
nanoCoP: Natural Non-clausal Theorem Proving IJCAI 2017
A Characterization Theorem for a Modal Description Logic IJCAI 2017
A Reasoning System for a First-Order Logic of Limited Belief IJCAI 2017
Budget-Constrained Dynamics in Multiagent Systems IJCAI 2017
A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem IJCAI 2017
KSP: A Resolution-based Prover for Multimodal K, Abridged Report IJCAI 2017
Role Forgetting for ALCOQH(universal role)-Ontologies Using an Ackermann-Based Approach IJCAI 2017
The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract) IJCAI 2017
On Redundant Topological Constraints (Extended Abstract) IJCAI 2017
Personnel Scheduling as Satisfiability Modulo Theories IJCAI 2017
Limbo: A Reasoning System for Limited Belief 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
Operationalizing Operational Logics: Semiotic Knowledge Representations for Interactive Systems IJCAI 2017
CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels OSDI 2016
Correlated Crash Vulnerabilities OSDI 2016
Correct High-level Robot Behavior in Environments with Unexpected Events RSS 2014
First-order Decomposition Trees NIPS 2013
Guaranteeing High-Level Behaviors while Exploring Partially Known Maps RSS 2012
Learning and Model-Checking Networks of I/O Automata ACML 2012
An Instantiation-Based Theorem Prover for First-Order Programming AISTATS 2011
On the Completeness of First-Order Knowledge Compilation for Lifted Probabilistic Inference NIPS 2011