Image de couverture de livre

Reasoning About Action and Change

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	de Saint-Cyr, Florence Dupin, Herzig, Andreas, Lang, Jérôme, Marquis, Pierre
Format:	Preprint
Publié:	2024
Sujets:	Artificial Intelligence Discrete Mathematics Logic in Computer Science Symbolic Computation
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Algebraic anti-unification
par: Antić, Christian
Publié: (2024)

Verified Certificates via SAT and Computer Algebra Systems for the Ramsey $R(3, 8)$ and $R(3, 9)$ Problems
par: Li, Zhengyu, et autres
Publié: (2025)

Symbolic Sets for Proving Bounds on Rado Numbers
par: Ahmed, Tanbir, et autres
Publié: (2025)

SHA-256 Collision Attack with Programmatic SAT
par: Alamgir, Nahiyan, et autres
Publié: (2024)

SAT and Lattice Reduction for Integer Factorization
par: Ajani, Yameen, et autres
Publié: (2024)

Analogical proportions II
par: Antić, Christian
Publié: (2024)

A Rank 23 Algorithm for Multiplying 3 x 3 Matrices with an Arithmetic Complexity of 59
par: Mårtensson, Erik, et autres
Publié: (2025)

The Birkhoff completion of finite lattices
par: Abdulla, Mohammad, et autres
Publié: (2024)

An Expansion-Based Approach for Quantified Integer Programming
par: Hartisch, Michael, et autres
Publié: (2025)

Conditionals Based on Selection Functions, Modal Operators and Probabilities
par: Flaminio, Tommaso, et autres
Publié: (2025)

Graphical Conditions for the Existence, Unicity and Number of Regular Models
par: Trinh, Van-Giang, et autres
Publié: (2025)

Boolean proportions
par: Antić, Christian
Publié: (2021)

Decidability of Querying First-Order Theories via Countermodels of Finite Width
par: Feller, Thomas, et autres
Publié: (2023)

The Scaling Properties of Implicit Deductive Reasoning in Transformers
par: Vompa, Enrico, et autres
Publié: (2026)

A Theoretical Review on Solving Algebra Problems
par: Yu, Xinguo, et autres
Publié: (2024)

Boolean Matrix Logic Programming on the GPU
par: Ai, Lun
Publié: (2024)

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
par: Kaminski, Roland, et autres
Publié: (2024)

Integrating Fuzzy Logic into Deep Symbolic Regression
par: Gerdes, Wout, et autres
Publié: (2024)

Automatic Generation of Polynomial Symmetry Breaking Constraints
par: Erascu, Madalina, et autres
Publié: (2026)

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
par: Defresne, Marianne, et autres
Publié: (2025)

Agent Hunt: Bounty Based Collaborative Autoformalization With LLM Agents
par: Brown, Chad E., et autres
Publié: (2026)

Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases
par: Qureshi, Haya Majid, et autres
Publié: (2025)

A general optimization solver based on OP-to-MaxSAT reduction
par: Zhao, Yuxin, et autres
Publié: (2026)

A Hybrid SMT-NRA Solver: Integrating 2D Cell-Jump-Based Local Search, MCSAT and OpenCAD
par: Ding, Tianyi, et autres
Publié: (2025)

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

Power Term Polynomial Algebra for Boolean Logic
par: Sansone, Emanuele, et autres
Publié: (2026)

Redundancy analysis using lcm-filtrations: networks, system signature and sensitivity evaluation
par: Mohammadi, Fatemeh, et autres
Publié: (2025)

Representing Piecewise-Linear Functions by Functions with Minimal Arity
par: Koutschan, Christoph, et autres
Publié: (2024)

On Linear Representation, Complexity and Inversion of maps over finite fields
par: Anantharaman, Ramachandran, et autres
Publié: (2020)

Sequential composition of answer set programs
par: Antić, Christian
Publié: (2021)

Solving Hard Mizar Problems with Instantiation and Strategy Invention
par: Jakubův, Jan, et autres
Publié: (2024)

VeriFlow: Modeling Distributions for Neural Network Verification
par: Zaid, Faried Abu, et autres
Publié: (2024)

Analogical proportions
par: Antić, Christian
Publié: (2020)

Logic Sketch Prompting (LSP): A Deterministic and Interpretable Prompting Method
par: Tripathi, Satvik
Publié: (2025)

Sea-cret Agents: Maritime Abduction for Region Generation to Expose Dark Vessel Trajectories
par: Bavikadi, Divyagna, et autres
Publié: (2025)

Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
par: Orvalho, Pedro, et autres
Publié: (2025)

Executable Archaeology: Reanimating the Logic Theorist from its IPL-V Source
par: Shrager, Jeff
Publié: (2026)

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning
par: Luo, Ziyan, et autres
Publié: (2023)

Learning Guided Automated Reasoning: A Brief Survey
par: Blaauwbroek, Lasse, et autres
Publié: (2024)

Logic-based analogical proportions
par: Antić, Christian
Publié: (2024)