← Reasoning
Knowledge & Reasoning › Reasoning ›

Formal Methods

350 directly classified papers

Papers per year

Papers

Storage Systems are Distributed Systems (So Verify Them That Way!) OSDI 2020
Liveness Verification of Stateful Network Functions NSDI 2020
Plankton: Scalable network configuration verification through model checking NSDI 2020
Semantic parsing with fuzzy meaning representations COLING 2020
Check before You Change: Preventing Correlated Failures in Service Updates NSDI 2020
A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract) IJCAI 2020
Logic Constrained Pointer Networks for Interpretable Textual Similarity IJCAI 2020
Efficient Model-Based Diagnosis of Sequential Circuits AAAI 2020
Checking Chase Termination over Ontologies of Existential Rules with Equality AAAI 2020
Automated Verification of Social Laws for Continuous Time Multi-Robot Systems AAAI 2019
On the Responsibility for Undecisiveness in Preferred and Stable Labellings in Abstract Argumentation (Extended Abstract) IJCAI 2019
Automatic Verification of FSA Strategies via Counterexample-Guided Local Search for Invariants IJCAI 2019
Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees AAAI 2019
Partial Awareness AAAI 2019
Belief Change and Non-Monotonic Reasoning Sans Compactness AAAI 2019
Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach AAAI 2019
Verification of RNN-Based Neural Agent-Environment Systems AAAI 2019
Computing Argumentative Explanations in Bipolar Argumentation Frameworks AAAI 2019
Do We Need Many-valued Logics for Incomplete Information? IJCAI 2019
Faster Dynamic Controllability Checking in Temporal Networks with Integer Bounds IJCAI 2019
A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic IJCAI 2019
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics IJCAI 2019
Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting IJCAI 2019
Do You Need Infinite Time? IJCAI 2019
Compilation of Logical Arguments IJCAI 2019