Copertina

When Agda met Vampire

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Šinkarovs, Artjoms, Rawson, Michael
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Lean on Vampire Proofs (Short Paper)
di: Bodingbauer, Jonas, et al.
Pubblicazione: (2026)

Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo
di: Komel, Anja Petković, et al.
Pubblicazione: (2025)

Superposition with Delayed Unification
di: Bhayat, Ahmed, et al.
Pubblicazione: (2024)

The Vampire Diary
di: Bártek, Filip, et al.
Pubblicazione: (2025)

Lemmas: Generation, Selection, Application
di: Rawson, Michael, et al.
Pubblicazione: (2023)

CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model
di: Jeanteur, Simon, et al.
Pubblicazione: (2023)

When Darwin met Ianus: dichotomies of expressivity
di: Brunar, Johanna, et al.
Pubblicazione: (2025)

Formalizing the Real Numbers in Homotopy Type Theory with Cubical Agda
di: Brough, Jackson
Pubblicazione: (2026)

Experimental Results for Vampire on the Equational Theories Project
di: Janota, Mikoláš
Pubblicazione: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
di: Bonanno, Giacomo
Pubblicazione: (2026)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
di: Bloch, Isabelle, et al.
Pubblicazione: (2025)

Abductive Reasoning in a Paraconsistent Framework
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
di: Joyce, Johnny
Pubblicazione: (2025)

Dynamic Logic of Trust-Based Beliefs
di: Jiang, Junli, et al.
Pubblicazione: (2025)

Similarity-based analogical proportions
di: Antić, Christian
Pubblicazione: (2024)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
di: Xu, Yang, et al.
Pubblicazione: (2025)

Initial Algebras Unchained -- A Novel Initial Algebra Construction Formalized in Agda
di: Wißmann, Thorsten, et al.
Pubblicazione: (2024)

A Formalization of Abstract Rewriting in Agda
di: Arkle, Sam, et al.
Pubblicazione: (2026)

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
di: Bartholomew, Michael, et al.
Pubblicazione: (2025)

A formalization of System I with type Top in Agda
di: Séttimo, Agustín, et al.
Pubblicazione: (2026)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
di: Bourgaux, Camille, et al.
Pubblicazione: (2025)

Queries With Exact Truth Values in Paraconsistent Description Logics
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
di: Lyon, Tim S., et al.
Pubblicazione: (2024)

On Probabilistic and Causal Reasoning with Summation Operators
di: Ibeling, Duligur, et al.
Pubblicazione: (2024)

Defining implication relation for classical logic
di: Fu, Li
Pubblicazione: (2013)

3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes
di: Lamont, Sean, et al.
Pubblicazione: (2024)

Finding Connections via Satisfiability Solving
di: Eisenhofer, Clemens, et al.
Pubblicazione: (2026)

Case Study: Saturations as Explicit Models in Equational Theories
di: Janota, Mikoláš, et al.
Pubblicazione: (2026)

Constraint Learning for Non-confluent Proof Search
di: Rawson, Michael, et al.
Pubblicazione: (2026)

Rewriting and Inductive Reasoning
di: Hajdu, Márton, et al.
Pubblicazione: (2024)

Spanning Matrices via Satisfiability Solving
di: Eisenhofer, Clemens, et al.
Pubblicazione: (2024)

Formalising and Computing the Fourth Homotopy Group of the $3$-Sphere in Cubical Agda
di: Ljungström, Axel, et al.
Pubblicazione: (2023)

Analogical proportions II
di: Antić, Christian
Pubblicazione: (2024)

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks
di: Ganguly, Debargha, et al.
Pubblicazione: (2025)

Incremental Neural Network Verification via Learned Conflicts
di: Elsaleh, Raya, et al.
Pubblicazione: (2026)

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
di: Cabalar, Pedro, et al.
Pubblicazione: (2026)

Substrate Stability Under Persistent Disagreement: Structural Constraints for Neutral Ontological Substrates
di: Case, Denise M.
Pubblicazione: (2026)

Inferring Causal Graph Temporal Logic Formulas to Expedite Reinforcement Learning in Temporally Extended Tasks
di: Aria, Hadi Partovi, et al.
Pubblicazione: (2026)

On the Trap Space Semantics of Normal Logic Programs
di: Trinh, Van-Giang, et al.
Pubblicazione: (2026)

Propositional Abduction via Only-Knowing: A Non-Monotonic Approach
di: Molick, Sanderson, et al.
Pubblicazione: (2026)