conftrace_
← Reasoning
Knowledge & Reasoning › Reasoning ›

Formal Methods

351 papers

Papers per year

47
48
'20
'25

Papers

Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases (Extended Abstract) IJCAI 2022
Abstraction for Non-Ground Answer Set Programs (Extended Abstract) IJCAI 2022
WiC = TSV = WSD: On the Equivalence of Three Semantic Tasks NAACL 2022
Automated Verification of Network Function Binaries NSDI 2022
Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning OSDI 2022
Design and Verification of the Arm Confidential Compute Architecture OSDI 2022
Verifying Hardware Security Modules with Information-Preserving Refinement OSDI 2022
Neural Circuit Synthesis from Specification Patterns NIPS 2021
A SAT-based Resolution of Lam's Problem AAAI 2021
Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty AAAI 2021
Argumentation Frameworks with Strong and Weak Constraints: Semantics and Complexity AAAI 2021
A General Setting for Gradual Semantics Dealing with Similarity AAAI 2021
Conditional Inference under Disjunctive Rationality AAAI 2021
Algebra of Modular Systems: Containment and Equivalence AAAI 2021
Contextual Conditional Reasoning AAAI 2021
SMT-based Safety Checking of Parameterized Multi-Agent Systems AAAI 2021
Parameterized Logical Theories AAAI 2021
Quantification of Resource Production Incompleteness AAAI 2021
Stratified Negation in Datalog with Metric Temporal Operators AAAI 2021
Focused Inference and System P AAAI 2021
On-the-fly Synthesis for LTL over Finite Traces AAAI 2021
Verifiable Machine Ethics in Changing Contexts AAAI 2021
Revealing Hidden Preconditions and Effects of Compound HTN Planning Tasks – A Complexity Analysis AAAI 2021
Constraint-Driven Learning of Logic Programs AAAI 2021
Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning ACL 2021