Copertina

Symbolic Pattern Temporal Numeric Planning with Intermediate Conditions and Effects

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Cardellini, Matteo, Giunchiglia, Enrico
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Temporal Numeric Planning with Patterns
di: Cardellini, Matteo, et al.
Pubblicazione: (2024)

Symbolic Numeric Planning with Patterns
di: Cardellini, Matteo, et al.
Pubblicazione: (2023)

Compiling Temporal Numeric Planning into Discrete PDDL+: Extended Version
di: Micheli, Andrea, et al.
Pubblicazione: (2026)

Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming
di: Cardellini, Matteo, et al.
Pubblicazione: (2024)

Subgoaling Relaxation-based Heuristics for Numeric Planning with Infinite Actions
di: Aso-Mollar, Ángel, et al.
Pubblicazione: (2025)

ViPlan: A Benchmark for Visual Planning with Symbolic Predicates and Vision-Language Models
di: Merler, Matteo, et al.
Pubblicazione: (2025)

Neuro-Symbolic Skill Discovery for Conditional Multi-Level Planning
di: Aktas, Hakan, et al.
Pubblicazione: (2024)

Help the machine to help you: an evaluation in the wild of egocentric data cleaning via skeptical learning
di: Bontempelli, Andrea, et al.
Pubblicazione: (2025)

From Knowledge Representation to Knowledge Organization and Back
di: Giunchiglia, Fausto, et al.
Pubblicazione: (2023)

Exploiting Symbolic Heuristics for the Synthesis of Domain-Specific Temporal Planning Guidance using Reinforcement Learning
di: Brugnara, Irene, et al.
Pubblicazione: (2025)

KAE: A Property-based Method for Knowledge Graph Alignment and Extension
di: Shi, Daqian, et al.
Pubblicazione: (2024)

Conditional Diffusion as Latent Constraints for Controllable Symbolic Music Generation
di: Pettenó, Matteo, et al.
Pubblicazione: (2025)

Safe Learning of PDDL Domains with Conditional Effects -- Extended Version
di: Mordoch, Argaman, et al.
Pubblicazione: (2024)

WLPlan: Relational Features for Symbolic Planning
di: Chen, Dillon Z.
Pubblicazione: (2024)

Crowdsourcing of Real-world Image Annotation via Visual Properties
di: Diao, Xiaolei, et al.
Pubblicazione: (2026)

What can Computer Vision learn from Ranganathan?
di: Bagchi, Mayukh, et al.
Pubblicazione: (2026)

Planning in the Dark: LLM-Symbolic Planning Pipeline without Experts
di: Huang, Sukai, et al.
Pubblicazione: (2024)

Graph Learning for Numeric Planning
di: Chen, Dillon Z., et al.
Pubblicazione: (2024)

From Knowledge Organization to Knowledge Representation and Back
di: Giunchiglia, Fausto, et al.
Pubblicazione: (2024)

Artificial Intelligence in Everyday Life 2.0: Educating University Students from Different Majors
di: Kasinidou, Maria, et al.
Pubblicazione: (2024)

Lifted Successor Generation in Numeric Planning
di: Drexler, Dominik
Pubblicazione: (2025)

Learning Type-Generalized Actions for Symbolic Planning
di: Tanneberg, Daniel, et al.
Pubblicazione: (2023)

Hybrid Diffusion for Simultaneous Symbolic and Continuous Planning
di: Høeg, Sigmund Hennum, et al.
Pubblicazione: (2025)

Neuro-Symbolic Scene Graph Conditioning for Synthetic Image Dataset Generation
di: Savazzi, Giacomo, et al.
Pubblicazione: (2025)

A Neuro-Symbolic Framework for Reasoning under Perceptual Uncertainty: Bridging Continuous Perception and Discrete Symbolic Planning
di: Wu, Jiahao, et al.
Pubblicazione: (2025)

LLM-Evolved Domain-Independent Heuristics for Symbolic AI Planning
di: Gestrin, Elliot, et al.
Pubblicazione: (2026)

ChatHTN: Interleaving Approximate (LLM) and Symbolic HTN Planning
di: Munoz-Avila, Hector, et al.
Pubblicazione: (2025)

A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge
di: Lorello, Luca Salvatore, et al.
Pubblicazione: (2025)

SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-training
di: Meidani, Kazem, et al.
Pubblicazione: (2023)

Efficiently Sampling Interval Patterns from Numerical Databases
di: Bekkoucha, Djawad, et al.
Pubblicazione: (2025)

Temporal Reasoning Is Not the Bottleneck: A Probabilistic Inconsistency Framework for Neuro-Symbolic QA
di: Liem, Tran Quang
Pubblicazione: (2026)

LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning
di: Lorello, Luca Salvatore, et al.
Pubblicazione: (2025)

Teaching LLMs to Plan: Logical Chain-of-Thought Instruction Tuning for Symbolic Planning
di: Verma, Pulkit, et al.
Pubblicazione: (2025)

Refusal Before Decoding: Detecting and Exploiting Refusal Signals in Intermediate LLM Activations
di: Collu, Matteo Gioele, et al.
Pubblicazione: (2026)

Learning from Less: Guiding Deep Reinforcement Learning with Differentiable Symbolic Planning
di: Ye, Zihan, et al.
Pubblicazione: (2025)

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning
di: Gandarela, João Pedro, et al.
Pubblicazione: (2025)

Novelty Heuristics, Multi-Queue Search, and Portfolios for Numeric Planning
di: Chen, Dillon Z., et al.
Pubblicazione: (2024)

Planning under Distribution Shifts with Causal POMDPs
di: Ceriscioli, Matteo, et al.
Pubblicazione: (2026)

NEXUS: Continual Learning of Symbolic Constraints for Safe and Robust Embodied Planning
di: Cui, Tiehan, et al.
Pubblicazione: (2026)

The KANDY Benchmark: Incremental Neuro-Symbolic Learning and Reasoning with Kandinsky Patterns
di: Lorello, Luca Salvatore, et al.
Pubblicazione: (2024)