← Reasoning
Knowledge & Reasoning › Reasoning ›

Formal Methods

350 directly classified papers

Papers per year

Papers

Complexity and Expressive Power of Disjunction and Negation in Limit Datalog AAAI 2020
Leveraging Declarative Knowledge in Text and First-Order Logic for Fine-Grained Propaganda Detection EMNLP 2020
A Formal Hierarchy of RNN Architectures ACL 2020
Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel OSDI 2020
Model-theoretic Characterizations of Existential Rule Languages IJCAI 2020
Tractable Fragments of Datalog with Metric Temporal Operators IJCAI 2020
Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications AAAI 2020
HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems AAAI 2020
A Simpler and Faster NIC Driver Model for Network Functions OSDI 2020
Aragog: Scalable Runtime Verification of Shardable Networked Systems OSDI 2020
Formalizing Group and Propagated Trust in Multi-Agent Systems IJCAI 2020
On the Decidability of Intuitionistic Tense Logic without Disjunction IJCAI 2020
Learning Interpretable Models in the Property Specification Language IJCAI 2020
CLN2INV: Learning Loop Invariants with Continuous Logic Networks ICLR 2020
Switch-List Representations in a Knowledge Compilation Map IJCAI 2020
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces IJCAI 2020
Justifying All Differences Using Pseudo-Boolean Reasoning AAAI 2020
Query Rewriting for Ontology-Mediated Conditional Answers AAAI 2020
Learning Query Inseparable εℒℋ Ontologies AAAI 2020
Graph Representations for Higher-Order Logic and Theorem Proving AAAI 2020
Query Answering with Guarded Existential Rules under Stable Model Semantics AAAI 2020
Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution AAAI 2020
LTLƒ Synthesis with Fairness and Stability Assumptions AAAI 2020
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces AAAI 2020
An Operational Semantics for True Concurrency in BDI Agent Systems AAAI 2020