Copertina

Superposition with Delayed Unification

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Bhayat, Ahmed, Schoisswohl, Johannes, Rawson, Michael
Natura:	Preprint
Pubblicazione:	2024
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

When Agda met Vampire
di: Šinkarovs, Artjoms, et al.
Pubblicazione: (2026)

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

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

Optimistic Higher-Order Superposition
di: Bentkamp, Alexander, et al.
Pubblicazione: (2025)

Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity
di: Meng, Qiaolan, et al.
Pubblicazione: (2025)

Answer-Set-Programming-based Abstractions for Reinforcement Learning
di: Bankosegger, Rafael, et al.
Pubblicazione: (2026)

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

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

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

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)

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

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

Complexity of Faceted Explanations in Propositional Abduction
di: Schmidt, Johannes, et al.
Pubblicazione: (2025)

Automatic Generation of Polynomial Symmetry Breaking Constraints
di: Erascu, Madalina, et al.
Pubblicazione: (2026)

A Higher-Order Vampire (Short Paper)
di: Bhayat, Ahmed, et al.
Pubblicazione: (2024)

Unification of Deterministic Higher-Order Patterns (Full Version)
di: Niederhauser, Johannes, et al.
Pubblicazione: (2026)

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

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)

Rejection in Abstract Argumentation: Harder Than Acceptance?
di: Fichte, Johannes K., et al.
Pubblicazione: (2024)

Epistemic Logic Programs: Non-Ground and Counting Complexity
di: Eiter, Thomas, et al.
Pubblicazione: (2025)

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

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

Spanning Matrices via Satisfiability Solving
di: Eisenhofer, Clemens, 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)

The Birkhoff completion of finite lattices
di: Abdulla, Mohammad, et al.
Pubblicazione: (2024)

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

Schematic Unification
di: Cerna, David M.
Pubblicazione: (2023)

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

Unification with Simple Variable Restrictions and Admissibility of $Π_{2}$-rules
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)

Canonical Decision Diagrams Modulo Theories
di: Michelutti, Massimo, et al.
Pubblicazione: (2024)

On Formally Undecidable Traits of Intelligent Machines
di: Fox, Matthew
Pubblicazione: (2024)

Model Counting in the Wild
di: Shaw, Arijit, et al.
Pubblicazione: (2024)

Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing -- Extended version
di: Li, Ying, et al.
Pubblicazione: (2024)