← Reasoning
Knowledge & Reasoning › Reasoning ›

Formal Methods

350 directly classified papers

Papers per year

Papers

Parameterized Logical Theories AAAI 2021
Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning ACL 2021
Neural Unification for Logic Reasoning over Natural Language EMNLP 2021
Contextual Conditional Reasoning AAAI 2021
Verifiable Machine Ethics in Changing Contexts 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
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
Neural Circuit Synthesis from Specification Patterns NIPS 2021
Logics for Sizes with Union or Intersection AAAI 2020
PRover: Proof Generation for Interpretable Reasoning over Rules EMNLP 2020
Abstract Interpretation of Decision Tree Ensemble Classifiers AAAI 2020
Model Checking Temporal Epistemic Logic under Bounded Recall AAAI 2020
Constrained Fact Verification for FEVER EMNLP 2020
Decidability and Complexity of Action-Based Temporal Planning over Dense Time AAAI 2020
Parameterised Resource-Bounded ATL AAAI 2020
A Practical Approach to Forgetting in Description Logics with Nominals AAAI 2020
Towards Universal Languages for Tractable Ontology Mediated Query Answering AAAI 2020
A Framework for Measuring Information Asymmetry AAAI 2020
Automatic Verification of Liveness Properties in the Situation Calculus AAAI 2020
NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification NSDI 2020
Dempster-Shafer Theoretic Learning of Indirect Speech Act Comprehension Norms AAAI 2020