conftrace_
← Reasoning
Knowledge & Reasoning › Reasoning ›

Formal Methods

351 papers

Papers per year

47
48
'20
'25

Papers

Bilateral Gradual Semantics for Weighted Argumentation AAAI 2024
DeepSaDe: Learning Neural Networks That Guarantee Domain Constraint Satisfaction AAAI 2024
Recurrent Graph Neural Networks and Their Connections to Bisimulation and Logic AAAI 2024
Foundations of Reactive Synthesis for Declarative Process Specifications AAAI 2024
On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence AAAI 2024
Omega-Regular Decision Processes AAAI 2024
Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification AAAI 2024
Neural Closure Certificates AAAI 2024
Pure-Past Action Masking AAAI 2024
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning AAAI 2024
Interactive Theorem Provers: Applications in AI, Opportunities, and Challenges AAAI 2024
Symbolic Reasoning Methods for AI Planning AAAI 2024
Decompositions in Compositional Translation of LTLf to DFA (Student Abstract) AAAI 2024
On the Representational Capacity of Neural Language Models with Chain-of-Thought Reasoning ACL 2024
Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation AISTATS 2024
Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving EMNLP 2024
Pragmatic Norms Are All You Need – Why The Symbol Grounding Problem Does Not Apply to LLMs EMNLP 2024
A Semantic Search Engine for Mathlib4 EMNLP 2024
Data Complexity in Expressive Description Logics with Path Expressions IJCAI 2024
Primal Grammars Driven Automated Induction IJCAI 2024
Justifying Argument Acceptance with Collective Attacks: Discussions and Disputes IJCAI 2024
Model Checking Causality IJCAI 2024
Computational Aspects of Progression for Temporal Equilibrium Logic IJCAI 2024
Quantitative Reasoning over Incomplete Abstract Argumentation Frameworks IJCAI 2024
Finite Groundings for ASP with Functions: A Journey through Consistency IJCAI 2024