← Reasoning
Knowledge & Reasoning › Reasoning ›

Formal Methods

350 directly classified papers

Papers per year

Papers

Semantic Expressive Capacity with Bounded Memory ACL 2019
On Open-Universe Causal Reasoning UAI 2019
Verifying Robustness of Gradient Boosted Models AAAI 2019
Qualitative Spatial Logic over 2D Euclidean Spaces Is Not Finitely Axiomatisable AAAI 2019
Complexity of Abstract Argumentation under a Claim-Centric View AAAI 2019
Strong Equivalence for Epistemic Logic Programs Made Easy AAAI 2019
Verifiable and Interpretable Reinforcement Learning through Program Synthesis AAAI 2019
Unbounded Stress in Subregular Phonology ACL 2019
Probabilistic Alternating-Time µ-Calculus AAAI 2019
An Abstraction-Based Method for Verifying Strategic Properties in Multi-Agent Systems with Imperfect Information AAAI 2019
Learning Deterministic Weighted Automata with Queries and Counterexamples NIPS 2019
Inverse Abstraction of Neural Networks Using Symbolic Interpolation AAAI 2019
Unbounded Orchestrations of Transducers for Manufacturing AAAI 2019
Reasoning over Streaming Data in Metric Temporal Datalog AAAI 2019
LTL and Beyond: Formal Languages for Reward Function Specification in Reinforcement Learning IJCAI 2019
Dynamic logic of parallel propositional assignments and its applications to planning IJCAI 2019
Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies IJCAI 2019
Satisfiability in Strategy Logic Can Be Easier than Model Checking AAAI 2019
Complexity of Inconsistency-Tolerant Query Answering in Datalog+/– under Cardinality-Based Repairs AAAI 2019
On Limited Conjunctions and Partial Features in Parameter-Tractable Feature Logics AAAI 2019
Identifying Bottlenecks in Practical SAT-Based Model Finding for First-Order Logic Ontologies with Datasets AAAI 2019
Scene Graph Parsing as Dependency Parsing NAACL 2018
Prime Implicate Generation in Equational Logic (extended abstract) IJCAI 2018
Reasoning about NP-complete Constraints IJCAI 2018
Proving confidentiality in a file system using DiskSec OSDI 2018