Formal Methods

Verifying concurrent software using movers in CSPEC OSDI 2018 Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems IJCAI 2018 A Characterization Theorem for a Modal Description Logic IJCAI 2017 A Reasoning System for a First-Order Logic of Limited Belief IJCAI 2017 A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem IJCAI 2017 Budget-Constrained Dynamics in Multiagent Systems IJCAI 2017 Determining Semantic Textual Similarity using Natural Deduction Proofs EMNLP 2017 Efficient and Complete FD-solving for extended array constraints IJCAI 2017 Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract) IJCAI 2017 KSP: A Resolution-based Prover for Multimodal K, Abridged Report IJCAI 2017 Limbo: A Reasoning System for Limited Belief IJCAI 2017 Logic on MARS: Ontologies for Generalised Property Graphs IJCAI 2017 Making Cross Products and Guarded Ontology Languages Compatible IJCAI 2017 nanoCoP: Natural Non-clausal Theorem Proving IJCAI 2017 On Redundant Topological Constraints (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 Personnel Scheduling as Satisfiability Modulo Theories IJCAI 2017 Relations Between Spatial Calculi About Directions and Orientations (Extended Abstract) 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 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 NeurIPS 2013