Formal Methods

Alternating-time Temporal Logic on Finite Traces IJCAI 2018 An Operational Semantics for a Fragment of PRS IJCAI 2018 Complexity of Approximate Query Answering under Inconsistency in Datalog+/- IJCAI 2018 Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract) IJCAI 2018 Exploiting Justifications for Lazy Grounding of Answer Set Programs IJCAI 2018 Finding Crash-Consistency Bugs with Bounded Black-Box Crash Testing OSDI 2018 Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward IJCAI 2018 Finite Model Reasoning in Hybrid Classes of Existential Rules IJCAI 2018 Finite State Reasoning for Presupposition Satisfaction COLING 2018 First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries IJCAI 2018 Formal Verification of Bayesian Network Classifiers PGM 2018 Inconsistency Measures for Repair Semantics in OBDA IJCAI 2018 Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account IJCAI 2018 LTL Realizability via Safety and Reachability Games IJCAI 2018 Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems IJCAI 2018 On the Conditional Logic of Simulation Models IJCAI 2018 Prime Implicate Generation in Equational Logic (extended abstract) IJCAI 2018 Proving confidentiality in a file system using DiskSec OSDI 2018 Pseudo-Boolean Constraints from a Knowledge Representation Perspective IJCAI 2018 Reasoning about NP-complete Constraints IJCAI 2018 Scene Graph Parsing as Dependency Parsing NAACL 2018 Stratified Negation in Limit Datalog Programs IJCAI 2018 Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems IJCAI 2018 Synthesis of Controllable Nash Equilibria in Quantitative Objective Game IJCAI 2018 Systems AI: A Declarative Learning Based Programming Perspective IJCAI 2018