Cover Image

Two Constraint Compilation Methods for Lifted Planning

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Mantenoglou, Periklis, Bonassi, Luigi, Scala, Enrico, Martires, Pedro Zuidberg Dos
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Symbolic Computation
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language
by: Mantenoglou, Periklis, et al.
Published: (2025)

Handling Infinite Domain Parameters in Planning Through Best-First Search with Delayed Partial Expansions
by: Aso-Mollar, Ángel, et al.
Published: (2025)

Probabilistic Neural Circuits
by: Martires, Pedro Zuidberg Dos
Published: (2024)

A Quantum Information Theoretic Approach to Tractable Probabilistic Models
by: Martires, Pedro Zuidberg Dos
Published: (2025)

LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints
by: Xu, Weidi, et al.
Published: (2023)

The Neural Compiler: Program-to-Network Translation for Hybrid Scientific Machine Learning
by: Sheneman, Lucas
Published: (2026)

Incorporating Structure and Chord Constraints in Symbolic Transformer-based Melodic Harmonization
by: Kaliakatsos-Papakostas, Maximos, et al.
Published: (2025)

Efficient Temporal Datalog Materialisation for Composite Event Recognition
by: Mantenoglou, Periklis
Published: (2026)

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

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

Choices and their Provenance: Explaining Stable Solutions of Abstract Argumentation Frameworks
by: Ludäscher, Bertram, et al.
Published: (2025)

NL2CA: Auto-formalizing Cognitive Decision-Making from Natural Language Using an Unsupervised CriticNL2LTL Framework
by: Deng, Zihao, et al.
Published: (2025)

VITA: Versatile Time Representation Learning for Temporal Hyper-Relational Knowledge Graphs
by: Un, ChongIn, et al.
Published: (2025)

Formal Verification of Neural Certificates Done Dynamically
by: Henzinger, Thomas A., et al.
Published: (2025)

On Explaining Proxy Discrimination and Unfairness in Individual Decisions Made by AI Systems
by: Sonna, Belona, et al.
Published: (2025)

NOMTO: Neural Operator-based symbolic Model approximaTion and discOvery
by: Garmaev, Sergei, et al.
Published: (2025)

To Be or Not To Be: Vector ontologies as a truly formal ontological framework
by: Rothenfusser, Kaspar
Published: (2025)

Probabilistic Active Goal Recognition
by: Zhang, Chenyuan, et al.
Published: (2025)

A Probabilistic Framework for Hierarchical Goal Recognition
by: Zhang, Chenyuan, et al.
Published: (2026)

ABD: Default Exception Abduction in Finite First Order Worlds
by: Batzoglou, Serafim
Published: (2026)

Simulating Petri nets with Boolean Matrix Logic Programming
by: Ai, Lun, et al.
Published: (2024)

Synthesizing Evolving Symbolic Representations for Autonomous Systems
by: Sartor, Gabriele, et al.
Published: (2024)

A Qualitative Model to Reason about Object Rotations (QOR) applied to solve the Cube Comparison Test (CCT)
by: Falomir, Zoe
Published: (2026)

The Neurosymbolic Frontier of Nonuniform Ellipticity: Formalizing Sharp Schauder Theory via Topos-Theoretic Reasoning Models
by: Mishra, Suyash
Published: (2026)

Learning to Solve Abstract Reasoning Problems with Neurosymbolic Program Synthesis and Task Generation
by: Bednarek, Jakub, et al.
Published: (2024)

Simulation to Rules: A Dual-VLM Framework for Formal Visual Planning
by: Hao, Yilun, et al.
Published: (2025)

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

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

Independence Is Not an Issue in Neurosymbolic AI
by: Faronius, Håkan Karlsson, et al.
Published: (2025)

From Understanding the World to Intervening in It: A Unified Multi-Scale Framework for Embodied Cognition
by: Wang, Maijunxian
Published: (2025)

Yin-Yang: Developing Motifs With Long-Term Structure And Controllability
by: Bhandari, Keshav, et al.
Published: (2025)

Physics-constrained symbolic regression for discovering closed-form equations of multimodal water retention curves from experimental data
by: Kim, Yejin, et al.
Published: (2026)

Scene-Driven Multimodal Knowledge Graph Construction for Embodied AI
by: Yaoxian, Song, et al.
Published: (2023)

CASPER: Cognitive Architecture for Social Perception and Engagement in Robots
by: Vinanzi, Samuele, et al.
Published: (2022)

SayCanPay: Heuristic Planning with Large Language Models using Learnable Domain Knowledge
by: Hazra, Rishi, et al.
Published: (2023)

AbstRaL: Augmenting LLMs' Reasoning by Reinforcing Abstract Thinking
by: Gao, Silin, et al.
Published: (2025)

ConceptGuard: Neuro-Symbolic Safety Guardrails via Sparse Interpretable Jailbreak Concepts
by: Aswal, Darpan, et al.
Published: (2025)

GOFAI meets Generative AI: Development of Expert Systems by means of Large Language Models
by: Garrido-Merchán, Eduardo C., et al.
Published: (2025)

Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis
by: Sinha, Sania, et al.
Published: (2025)

ELIZA Reanimated: The world's first chatbot restored on the world's first time sharing system
by: Lane, Rupert, et al.
Published: (2025)