← Reasoning
Knowledge & Reasoning › Reasoning ›

Formal Methods

350 directly classified papers

Papers per year

Papers

Verifying Hardware Security Modules with Information-Preserving Refinement OSDI 2022
Reinforcement Learning Explainability via Model Transforms (Student Abstract) AAAI 2022
MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators AAAI 2022
Characterizing the Program Expressive Power of Existential Rule Languages AAAI 2022
Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula AAAI 2022
Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces IJCAI 2022
Revealing Hidden Preconditions and Effects of Compound HTN Planning Tasks – A Complexity Analysis AAAI 2021
Data-Driven Abstraction of Monotone Systems L4DC 2021
Deconstructing syntactic generalizations with minimalist grammars EMNLP 2021
Program Synthesis as Dependency Quantified Formula Modulo Theory IJCAI 2021
Constraint-Driven Learning of Logic Programs AAAI 2021
Conditional Inference under Disjunctive Rationality AAAI 2021
Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty AAAI 2021
SMT-based Safety Checking of Parameterized Multi-Agent Systems AAAI 2021
GoJournal: a verified, concurrent, crash-safe journaling system OSDI 2021
Conditional independences and causal relations implied by sets of equations JMLR 2021
Intensional and Extensional Views in DL-Lite Ontologies IJCAI 2021
Inconsistency Measurement for Paraconsistent Inference IJCAI 2021
Successor-Invariant First-Order Logic on Classes of Bounded Degree (Extended Abstract) IJCAI 2021
Politeness for the Theory of Algebraic Datatypes (Extended Abstract) IJCAI 2021
Bounded Predicates in Description Logics with Counting IJCAI 2021
An Automated Framework for Supporting Data-Governance Rule Compliance in Decentralized MIMO Contexts IJCAI 2021
Tango: Declarative Semantics for Multiagent Communication Protocols IJCAI 2021
A SAT-based Resolution of Lam's Problem AAAI 2021
Algebra of Modular Systems: Containment and Equivalence AAAI 2021