Buchumschlag

When both Grounding and not Grounding are Bad -- A Partially Grounded Encoding of Planning into SAT (Extended Version)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Filipe, João, Behnke, Gregor
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Artificial Intelligence Logic in Computer Science Symbolic Computation I.2.8
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Exploiting Partial-Assignment Enumeration in Optimization Modulo Theories
von: Masina, Gabriele, et al.
Veröffentlicht: (2025)

Implementing Metric Temporal Answer Set Programming
von: Becker, Arvid, et al.
Veröffentlicht: (2026)

Strong Equivalence in Answer Set Programming with Constraints
von: Cabalar, Pedro, et al.
Veröffentlicht: (2025)

Compiling Metric Temporal Answer Set Programming
von: Becker, Arvid, et al.
Veröffentlicht: (2025)

A general optimization solver based on OP-to-MaxSAT reduction
von: Zhao, Yuxin, et al.
Veröffentlicht: (2026)

Automated Strategy Invention for Confluence of Term Rewrite Systems
von: Zhang, Liao, et al.
Veröffentlicht: (2024)

Ensuring trustworthy and ethical behaviour in intelligent logical agents
von: Costantini, Stefania
Veröffentlicht: (2024)

AsgardBench -- Evaluating Visually Grounded Interactive Planning Under Minimal Feedback
von: Tupini, Andrea, et al.
Veröffentlicht: (2026)

Computational methods for Dynamic Answer Set Programming
von: Hahn, Susana
Veröffentlicht: (2025)

Automatic Generation of Polynomial Symmetry Breaking Constraints
von: Erascu, Madalina, et al.
Veröffentlicht: (2026)

Agent Hunt: Bounty Based Collaborative Autoformalization With LLM Agents
von: Brown, Chad E., et al.
Veröffentlicht: (2026)

130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?
von: Urban, Josef
Veröffentlicht: (2026)

Power Term Polynomial Algebra for Boolean Logic
von: Sansone, Emanuele, et al.
Veröffentlicht: (2026)

Scaling Neuro-symbolic Problem Solving: Solver-Free Learning of Constraints and Objectives
von: Defresne, Marianne, et al.
Veröffentlicht: (2025)

Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases
von: Qureshi, Haya Majid, et al.
Veröffentlicht: (2025)

A Theoretical Review on Solving Algebra Problems
von: Yu, Xinguo, et al.
Veröffentlicht: (2024)

Boolean Matrix Logic Programming on the GPU
von: Ai, Lun
Veröffentlicht: (2024)

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

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

Integrating Fuzzy Logic into Deep Symbolic Regression
von: Gerdes, Wout, et al.
Veröffentlicht: (2024)

Union of Finitely Generated Congruences on Ground Term Algebra
von: Vágvölgyi, Sándor
Veröffentlicht: (2024)

Learning How to Cube
von: Erata, Ferhat, et al.
Veröffentlicht: (2026)

Logic.py: Bridging the Gap between LLMs and Constraint Solvers
von: Kesseli, Pascal, et al.
Veröffentlicht: (2025)

Beyond Prompt Engineering: Neuro-Symbolic-Causal Architecture for Robust Multi-Objective AI Agents
von: Akarlar, Gokturk Aytug
Veröffentlicht: (2025)

AGWM: Affordance-Grounded World Models for Environments with Compositional Prerequisites
von: Zhang, Qinshi, et al.
Veröffentlicht: (2026)

The Scaling Properties of Implicit Deductive Reasoning in Transformers
von: Vompa, Enrico, et al.
Veröffentlicht: (2026)

Executable Archaeology: Reanimating the Logic Theorist from its IPL-V Source
von: Shrager, Jeff
Veröffentlicht: (2026)

Analogical proportions
von: Antić, Christian
Veröffentlicht: (2020)

Logic Sketch Prompting (LSP): A Deterministic and Interpretable Prompting Method
von: Tripathi, Satvik
Veröffentlicht: (2025)

Reasoning About Action and Change
von: de Saint-Cyr, Florence Dupin, et al.
Veröffentlicht: (2024)

Solving Hard Mizar Problems with Instantiation and Strategy Invention
von: Jakubův, Jan, et al.
Veröffentlicht: (2024)

VeriFlow: Modeling Distributions for Neural Network Verification
von: Zaid, Faried Abu, et al.
Veröffentlicht: (2024)

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

Algebraic anti-unification
von: Antić, Christian
Veröffentlicht: (2024)

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

Error Detection and Constraint Recovery in Hierarchical Multi-Label Classification without Prior Knowledge
von: Kricheli, Joshua Shay, et al.
Veröffentlicht: (2024)

Bridging the Reasoning Gap: Small LLMs Can Plan with Generalised Strategies
von: Borro, Andrey, et al.
Veröffentlicht: (2025)

Dynamic Boolean Synthesis with Zero-suppressed Decision Diagrams
von: Lin, Yi, et al.
Veröffentlicht: (2025)

Overcoming Over-Fitting in Constraint Acquisition via Query-Driven Interactive Refinement
von: Balafas, Vasileios, et al.
Veröffentlicht: (2025)

SAT and Lattice Reduction for Integer Factorization
von: Ajani, Yameen, et al.
Veröffentlicht: (2024)