:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Belardinelli, Gaia, Bolander, Thomas, Watzl, Sebastian
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence
Accesso online:	https://arxiv.org/abs/2505.14539
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Depth-Bounded Epistemic Planning
di: Bolander, Thomas, et al.
Pubblicazione: (2024)

Synchronizing Process Model and Event Abstraction for Grounded Process Intelligence (Extended Version)
di: Benzin, Janik-Vasily, et al.
Pubblicazione: (2025)

PDDL Axioms Are Equivalent to Least Fixed Point Logic (Extended Version)
di: Grundke, Claudia, et al.
Pubblicazione: (2025)

Non-Monotonic S4F Standpoint Logic (Extended Version with Proofs)
di: Gorczyca, Piotr, et al.
Pubblicazione: (2025)

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

Planning as Goal Recognition: Deriving Heuristics from Intention Models -- Extended Version
di: Rosa, Giacomo, et al.
Pubblicazione: (2026)

The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
di: Wernhard, Christoph
Pubblicazione: (2017)

Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers
di: Candussio, Sara, et al.
Pubblicazione: (2025)

Gaze-based intention estimation: principles, methodologies, and applications in HRI
di: Belardinelli, Anna
Pubblicazione: (2023)

Using Large Language Models for Abstraction of Planning Domains - Extended Version
di: Banihashemi, Bita, et al.
Pubblicazione: (2025)

stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic
di: Saveri, Gaia, et al.
Pubblicazione: (2024)

Leveraging Approximate Model-based Shielding for Probabilistic Safety Guarantees in Continuous Environments
di: Goodall, Alexander W., et al.
Pubblicazione: (2024)

Safe Reinforcement Learning via Recovery-based Shielding with Gaussian Process Dynamics Models
di: Goodall, Alexander W., et al.
Pubblicazione: (2026)

Extending Defeasibility for Propositional Standpoint Logics
di: Leisegang, Nicholas, et al.
Pubblicazione: (2025)

Approximate Model-Based Shielding for Safe Reinforcement Learning
di: Goodall, Alexander W., et al.
Pubblicazione: (2023)

The Explanation Game -- Rekindled (Extended Version)
di: Marques-Silva, Joao, et al.
Pubblicazione: (2025)

Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version)
di: Parent, Xavier
Pubblicazione: (2026)

Effective ML Model Versioning in Edge Networks
di: Gentzen, Fin, et al.
Pubblicazione: (2024)

Tenability and Weak Semantics: Modeling Non-uniform Defense -- Extended Version
di: Andrews, Uri, et al.
Pubblicazione: (2026)

Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
di: Olivieri, Pierriccardo, et al.
Pubblicazione: (2026)

A Formalism for Optimal Search with Dynamic Heuristics (Extended Version)
di: Christen, Remo, et al.
Pubblicazione: (2025)

Adaptive GR(1) Specification Repair for Liveness-Preserving Shielding in Reinforcement Learning
di: Georgescu, Tiberiu-Andrei, et al.
Pubblicazione: (2025)

Improving Large Language Models in Event Relation Logical Prediction
di: Chen, Meiqi, et al.
Pubblicazione: (2023)

Most General Explanations of Tree Ensembles (Extended Version)
di: Izza, Yacine, et al.
Pubblicazione: (2025)

Argumentative Characterizations of (Extended) Disjunctive Logic Programs
di: Heyninck, Jesse, et al.
Pubblicazione: (2023)

Expressive Temporal Specifications for Reward Monitoring
di: Adalat, Omar, et al.
Pubblicazione: (2025)

Monitoring Data-aware Temporal Properties (Extended Version)
di: Gianola, Alessandro, et al.
Pubblicazione: (2026)

Towards Propositional KLM-Style Defeasible Standpoint Logics
di: Leisegang, Nicholas, et al.
Pubblicazione: (2024)

Automatic Unsupervised Ensemble Outlier Model Selection--Extended Version
di: Phan, Hong-Phuc, et al.
Pubblicazione: (2026)

SafeAdapt: Provably Safe Policy Updates in Deep Reinforcement Learning
di: Anisimov, Maksim, et al.
Pubblicazione: (2026)

Extending Complex Logical Queries on Uncertain Knowledge Graphs
di: Fei, Weizhi, et al.
Pubblicazione: (2024)

ProSh: Probabilistic Shielding for Model-free Reinforcement Learning
di: Court, Edwin Hamel-De le, et al.
Pubblicazione: (2025)

Reasoning about Actual Causes in Nondeterministic Domains -- Extended Version
di: Khan, Shakil M., et al.
Pubblicazione: (2024)

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

Revisiting Vacuous Reduct Semantics for Abstract Argumentation (Extended Version)
di: Blümel, Lydia, et al.
Pubblicazione: (2024)

A Study of Belief Revision Postulates in Multi-Agent Systems (Extended Version)
di: Thielscher, Michael, et al.
Pubblicazione: (2026)

Planning with OWL-DL Ontologies (Extended Version)
di: John, Tobias, et al.
Pubblicazione: (2024)

ACES: Generating Diverse Programming Puzzles with with Autotelic Generative Models
di: Pourcel, Julien, et al.
Pubblicazione: (2023)

Satisficing and Optimal Generalised Planning via Goal Regression (Extended Version)
di: Chen, Dillon Z., et al.
Pubblicazione: (2025)

FACET: Fast and Accurate Event-Based Eye Tracking Using Ellipse Modeling for Extended Reality
di: Ding, Junyuan, et al.
Pubblicazione: (2024)