conftrace_
← Reasoning
Knowledge & Reasoning › Reasoning ›

Formal Methods

351 papers

Papers per year

47
48
'20
'25

Papers

Verification of RNN-Based Neural Agent-Environment Systems AAAI 2019
An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information AAAI 2019
Probabilistic Alternating-Time µ-Calculus AAAI 2019
Automated Verification of Social Laws for Continuous Time Multi-Robot Systems AAAI 2019
Verifiable and Interpretable Reinforcement Learning through Program Synthesis AAAI 2019
Identifying Bottlenecks in Practical SAT-Based Model Finding for First-Order Logic Ontologies with Datasets AAAI 2019
Computing Argumentative Explanations in Bipolar Argumentation Frameworks AAAI 2019
Unbounded Stress in Subregular Phonology ACL 2019
Semantic Expressive Capacity with Bounded Memory ACL 2019
Compilation of Logical Arguments IJCAI 2019
Do You Need Infinite Time? IJCAI 2019
Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting IJCAI 2019
Automatic Verification of FSA Strategies via Counterexample-Guided Local Search for Invariants IJCAI 2019
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics IJCAI 2019
A Modal Characterization Theorem for a Probabilistic Fuzzy Description Logic IJCAI 2019
Faster Dynamic Controllability Checking in Temporal Networks with Integer Bounds IJCAI 2019
Dynamic logic of parallel propositional assignments and its applications to planning IJCAI 2019
LTL and Beyond: Formal Languages for Reward Function Specification in Reinforcement Learning IJCAI 2019
Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies IJCAI 2019
Do We Need Many-valued Logics for Incomplete Information? IJCAI 2019
On the Responsibility for Undecisiveness in Preferred and Stable Labellings in Abstract Argumentation (Extended Abstract) IJCAI 2019
On Open-Universe Causal Reasoning UAI 2019
Finite State Reasoning for Presupposition Satisfaction COLING 2018
Alternating-time Temporal Logic on Finite Traces IJCAI 2018
An Operational Semantics for a Fragment of PRS IJCAI 2018