Copertina

Algebraic anti-unification

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Antić, Christian
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Artificial Intelligence Discrete Mathematics Logic in Computer Science Symbolic Computation
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Reasoning About Action and Change
di: de Saint-Cyr, Florence Dupin, et al.
Pubblicazione: (2024)

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

Boolean proportions
di: Antić, Christian
Pubblicazione: (2021)

Verified Certificates via SAT and Computer Algebra Systems for the Ramsey $R(3, 8)$ and $R(3, 9)$ Problems
di: Li, Zhengyu, et al.
Pubblicazione: (2025)

Symbolic Sets for Proving Bounds on Rado Numbers
di: Ahmed, Tanbir, et al.
Pubblicazione: (2025)

SHA-256 Collision Attack with Programmatic SAT
di: Alamgir, Nahiyan, et al.
Pubblicazione: (2024)

SAT and Lattice Reduction for Integer Factorization
di: Ajani, Yameen, et al.
Pubblicazione: (2024)

Sequential composition of answer set programs
di: Antić, Christian
Pubblicazione: (2021)

Analogical proportions
di: Antić, Christian
Pubblicazione: (2020)

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

Solving unification in the description logic $\mathcal{FL}_\bot$
di: Morawska, Barbara, et al.
Pubblicazione: (2024)

A Rank 23 Algorithm for Multiplying 3 x 3 Matrices with an Arithmetic Complexity of 59
di: Mårtensson, Erik, et al.
Pubblicazione: (2025)

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

An Expansion-Based Approach for Quantified Integer Programming
di: Hartisch, Michael, et al.
Pubblicazione: (2025)

Conditionals Based on Selection Functions, Modal Operators and Probabilities
di: Flaminio, Tommaso, et al.
Pubblicazione: (2025)

Graphical Conditions for the Existence, Unicity and Number of Regular Models
di: Trinh, Van-Giang, et al.
Pubblicazione: (2025)

Decidability of Querying First-Order Theories via Countermodels of Finite Width
di: Feller, Thomas, et al.
Pubblicazione: (2023)

A Theoretical Review on Solving Algebra Problems
di: Yu, Xinguo, et al.
Pubblicazione: (2024)

Boolean Matrix Logic Programming on the GPU
di: Ai, Lun
Pubblicazione: (2024)

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
di: Kaminski, Roland, et al.
Pubblicazione: (2024)

Integrating Fuzzy Logic into Deep Symbolic Regression
di: Gerdes, Wout, et al.
Pubblicazione: (2024)

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

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
di: Defresne, Marianne, et al.
Pubblicazione: (2025)

Agent Hunt: Bounty Based Collaborative Autoformalization With LLM Agents
di: Brown, Chad E., et al.
Pubblicazione: (2026)

Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases
di: Qureshi, Haya Majid, et al.
Pubblicazione: (2025)

A general optimization solver based on OP-to-MaxSAT reduction
di: Zhao, Yuxin, et al.
Pubblicazione: (2026)

A Hybrid SMT-NRA Solver: Integrating 2D Cell-Jump-Based Local Search, MCSAT and OpenCAD
di: Ding, Tianyi, et al.
Pubblicazione: (2025)

130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?
di: Urban, Josef
Pubblicazione: (2026)

Power Term Polynomial Algebra for Boolean Logic
di: Sansone, Emanuele, et al.
Pubblicazione: (2026)

The Rise of Plurimorphisms: Algebraic Approach to Approximation
di: Barto, Libor, et al.
Pubblicazione: (2024)

The Scaling Properties of Implicit Deductive Reasoning in Transformers
di: Vompa, Enrico, et al.
Pubblicazione: (2026)

Representing Piecewise-Linear Functions by Functions with Minimal Arity
di: Koutschan, Christoph, et al.
Pubblicazione: (2024)

On Linear Representation, Complexity and Inversion of maps over finite fields
di: Anantharaman, Ramachandran, et al.
Pubblicazione: (2020)

Redundancy analysis using lcm-filtrations: networks, system signature and sensitivity evaluation
di: Mohammadi, Fatemeh, et al.
Pubblicazione: (2025)

Solving Hard Mizar Problems with Instantiation and Strategy Invention
di: Jakubův, Jan, et al.
Pubblicazione: (2024)

VeriFlow: Modeling Distributions for Neural Network Verification
di: Zaid, Faried Abu, et al.
Pubblicazione: (2024)

Logic Sketch Prompting (LSP): A Deterministic and Interpretable Prompting Method
di: Tripathi, Satvik
Pubblicazione: (2025)

Sea-cret Agents: Maritime Abduction for Region Generation to Expose Dark Vessel Trajectories
di: Bavikadi, Divyagna, et al.
Pubblicazione: (2025)

Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
di: Orvalho, Pedro, et al.
Pubblicazione: (2025)

Executable Archaeology: Reanimating the Logic Theorist from its IPL-V Source
di: Shrager, Jeff
Pubblicazione: (2026)