Formal Methods

Checking Chase Termination over Ontologies of Existential Rules with Equality AAAI 2020 CLN2INV: Learning Loop Invariants with Continuous Logic Networks ICLR 2020 Complexity and Expressive Power of Disjunction and Negation in Limit Datalog AAAI 2020 Constrained Fact Verification for FEVER EMNLP 2020 Decidability and Complexity of Action-Based Temporal Planning over Dense Time AAAI 2020 Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution AAAI 2020 Dempster-Shafer Theoretic Learning of Indirect Speech Act Comprehension Norms AAAI 2020 Efficient Model-Based Diagnosis of Sequential Circuits AAAI 2020 Formalizing Group and Propagated Trust in Multi-Agent Systems IJCAI 2020 Graph Representations for Higher-Order Logic and Theorem Proving AAAI 2020 HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems AAAI 2020 Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications AAAI 2020 Justifying All Differences Using Pseudo-Boolean Reasoning AAAI 2020 Learning Interpretable Models in the Property Specification Language IJCAI 2020 Learning Query Inseparable εℒℋ Ontologies AAAI 2020 Leveraging Declarative Knowledge in Text and First-Order Logic for Fine-Grained Propaganda Detection EMNLP 2020 Liveness Verification of Stateful Network Functions NSDI 2020 Logic Constrained Pointer Networks for Interpretable Textual Similarity IJCAI 2020 Logics for Sizes with Union or Intersection AAAI 2020 LTLƒ Synthesis with Fairness and Stability Assumptions AAAI 2020 Model Checking Temporal Epistemic Logic under Bounded Recall AAAI 2020 Model-theoretic Characterizations of Existential Rule Languages IJCAI 2020 NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification NSDI 2020 On the Decidability of Intuitionistic Tense Logic without Disjunction IJCAI 2020 Parameterised Resource-Bounded ATL AAAI 2020