:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Cardellini, Matteo, Giunchiglia, Enrico, Maratea, Marco
Format:	Preprint
Published:	2023
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2312.09963
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Symbolic Pattern Temporal Numeric Planning with Intermediate Conditions and Effects
by: Cardellini, Matteo, et al.
Published: (2026)

Temporal Numeric Planning with Patterns
by: Cardellini, Matteo, et al.
Published: (2024)

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

Long-term Power Grid Planning via Answer Set Programming
by: Ielo, Antonio, et al.
Published: (2026)

Improving ASP-based ORS Schedules through Machine Learning Predictions
by: Bruno, Pierangela, et al.
Published: (2025)

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

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

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

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

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

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

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

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

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

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

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

WLPlan: Relational Features for Symbolic Planning
by: Chen, Dillon Z.
Published: (2024)

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

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

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

Lifted Successor Generation in Numeric Planning
by: Drexler, Dominik
Published: (2025)

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

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

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

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

Deep generative models as an adversarial attack strategy for tabular machine learning
by: Dyrmishi, Salijona, et al.
Published: (2024)

ULLER: A Unified Language for Learning and Reasoning
by: van Krieken, Emile, et al.
Published: (2024)

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

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

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

Shortcut Learning in In-Context Learning: A Survey
by: Song, Rui, et al.
Published: (2024)

Toward Robust In-Context Learning: Leveraging Out-of-distribution Proxies for Target Inaccessible Demonstration Retrieval
by: Xu, Hao, et al.
Published: (2026)

ABS: Enforcing Constraint Satisfaction On Generated Sequences Via Automata-Guided Beam Search
by: Collura, Vincenzo, et al.
Published: (2025)

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

Grounding Methods for Neural-Symbolic AI
by: Ontiveros, Rodrigo Castellano, et al.
Published: (2025)

Understanding Gen Alpha Digital Language: Evaluation of LLM Safety Systems for Content Moderation
by: Mehta, Manisha, et al.
Published: (2025)

Code-as-Symbolic-Planner: Foundation Model-Based Robot Planning via Symbolic Code Generation
by: Chen, Yongchao, et al.
Published: (2025)

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

Reasoners or Translators? Contamination-aware Evaluation and Neuro-Symbolic Robustness in Tax Law
by: Kordjamshidi, Parisa, et al.
Published: (2026)

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