conftrace_
← Reasoning
Knowledge & Reasoning › Reasoning ›

Formal Methods

351 papers

Papers per year

47
48
'20
'25

Papers

Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems IJCAI 2018
Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems IJCAI 2018
First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries IJCAI 2018
Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account IJCAI 2018
Actual Causality in a Logical Setting IJCAI 2018
Exploiting Justifications for Lazy Grounding of Answer Set Programs IJCAI 2018
Finite Model Reasoning in Hybrid Classes of Existential Rules IJCAI 2018
On the Conditional Logic of Simulation Models IJCAI 2018
Stratified Negation in Limit Datalog Programs IJCAI 2018
Pseudo-Boolean Constraints from a Knowledge Representation Perspective IJCAI 2018
Complexity of Approximate Query Answering under Inconsistency in Datalog+/- IJCAI 2018
Inconsistency Measures for Repair Semantics in OBDA IJCAI 2018
LTL Realizability via Safety and Reachability Games IJCAI 2018
Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems IJCAI 2018
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward IJCAI 2018
Systems AI: A Declarative Learning Based Programming Perspective IJCAI 2018
Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract) IJCAI 2018
Prime Implicate Generation in Equational Logic (extended abstract) IJCAI 2018
Reasoning about NP-complete Constraints IJCAI 2018
Scene Graph Parsing as Dependency Parsing NAACL 2018
Finding Crash-Consistency Bugs with Bounded Black-Box Crash Testing OSDI 2018
Verifying concurrent software using movers in CSPEC OSDI 2018
Proving confidentiality in a file system using DiskSec OSDI 2018
Formal Verification of Bayesian Network Classifiers PGM 2018
Determining Semantic Textual Similarity using Natural Deduction Proofs EMNLP 2017