Formal Methods

Do You Need Infinite Time? IJCAI 2019 Dynamic logic of parallel propositional assignments and its applications to planning IJCAI 2019 Faster Dynamic Controllability Checking in Temporal Networks with Integer Bounds IJCAI 2019 Identifying Bottlenecks in Practical SAT-Based Model Finding for First-Order Logic Ontologies with Datasets AAAI 2019 Inverse Abstraction of Neural Networks Using Symbolic Interpolation AAAI 2019 Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach AAAI 2019 Learning Deterministic Weighted Automata with Queries and Counterexamples NeurIPS 2019 LTL and Beyond: Formal Languages for Reward Function Specification in Reinforcement Learning IJCAI 2019 On Limited Conjunctions and Partial Features in Parameter-Tractable Feature Logics AAAI 2019 On Open-Universe Causal Reasoning UAI 2019 On the Responsibility for Undecisiveness in Preferred and Stable Labellings in Abstract Argumentation (Extended Abstract) IJCAI 2019 Partial Awareness AAAI 2019 Probabilistic Alternating-Time µ-Calculus AAAI 2019 Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable AAAI 2019 Reasoning over Streaming Data in Metric Temporal Datalog AAAI 2019 Satisfiability in Strategy Logic Can Be Easier than Model Checking AAAI 2019 Semantic Expressive Capacity with Bounded Memory ACL 2019 Strong Equivalence for Epistemic Logic Programs Made Easy AAAI 2019 Unbounded Orchestrations of Transducers for Manufacturing AAAI 2019 Unbounded Stress in Subregular Phonology ACL 2019 Verifiable and Interpretable Reinforcement Learning through Program Synthesis AAAI 2019 Verification of RNN-Based Neural Agent-Environment Systems AAAI 2019 Verifying Robustness of Gradient Boosted Models AAAI 2019 Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting IJCAI 2019 Actual Causality in a Logical Setting IJCAI 2018