← Reasoning
Knowledge & Reasoning › Reasoning ›

Formal Methods

350 directly classified papers

Papers per year

Papers

Systems AI: A Declarative Learning Based Programming Perspective IJCAI 2018
An Operational Semantics for a Fragment of PRS IJCAI 2018
Finite State Reasoning for Presupposition Satisfaction COLING 2018
Finite Model Reasoning in Hybrid Classes of Existential Rules IJCAI 2018
On the Conditional Logic of Simulation Models IJCAI 2018
Verifying concurrent software using movers in CSPEC OSDI 2018
Finding Crash-Consistency Bugs with Bounded Black-Box Crash Testing OSDI 2018
Exploiting Justifications for Lazy Grounding of Answer Set Programs IJCAI 2018
Actual Causality in a Logical Setting IJCAI 2018
Pseudo-Boolean Constraints from a Knowledge Representation Perspective IJCAI 2018
Stratified Negation in Limit Datalog Programs IJCAI 2018
Alternating-time Temporal Logic on Finite Traces IJCAI 2018
Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems IJCAI 2018
First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries IJCAI 2018
Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems IJCAI 2018
Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract) IJCAI 2018
Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems IJCAI 2018
Formal Verification of Bayesian Network Classifiers PGM 2018
Complexity of Approximate Query Answering under Inconsistency in Datalog+/- IJCAI 2018
Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account IJCAI 2018
Inconsistency Measures for Repair Semantics in OBDA IJCAI 2018
LTL Realizability via Safety and Reachability Games IJCAI 2018
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward IJCAI 2018
Efficient and Complete FD-solving for extended array constraints IJCAI 2017
On the Expressivity of Inconsistency Measures (Extended Abstract) IJCAI 2017