Cover Image

Ontological foundations for contrastive explanatory narration of robot plans

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Olivares-Alarcos, Alberto, Foix, Sergi, Borràs, Júlia, Canal, Gerard, Alenyà, Guillem
Format:	Preprint
Published:	2025
Subjects:	Robotics Artificial Intelligence Information Retrieval Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Increasing the LLM Accuracy for Question Answering: Ontologies to the Rescue!
by: Allemang, Dean, et al.
Published: (2024)

Graph-Native Cognitive Memory for AI Agents: Formal Belief Revision Semantics for Versioned Memory Architectures
by: Park, Young Bin
Published: (2026)

Ontological grounding for sound and natural robot explanations via large language models
by: Olivares-Alarcos, Alberto, et al.
Published: (2026)

Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
by: Orvalho, Pedro, et al.
Published: (2026)

da Costa and Tarski meet Goguen and Carnap: a novel approach for ontological heterogeneity based on consequence systems
by: Rocha, Gabriel
Published: (2026)

LOCALINTEL: Generating Organizational Threat Intelligence from Global and Local Cyber Knowledge
by: Mitra, Shaswata, et al.
Published: (2024)

VeriFact: Verifying Facts in LLM-Generated Clinical Text with Electronic Health Records
by: Chung, Philip, et al.
Published: (2025)

Large language models as oracles for instantiating ontologies with domain-specific knowledge
by: Ciatto, Giovanni, et al.
Published: (2024)

AlignBot: Aligning VLM-powered Customized Task Planning with User Reminders Through Fine-Tuning for Household Robots
by: Zhaxizhuoma, Zhaxizhuoma, et al.
Published: (2024)

Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems
by: Luckcuck, Matt, et al.
Published: (2025)

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
by: Balakrishnan, Anand, et al.
Published: (2022)

Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
by: Luckcuck, Matt, et al.
Published: (2024)

Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedback
by: Meli, Daniele, et al.
Published: (2025)

Nl2Hltl2Plan: Scaling Up Natural Language Understanding for Multi-Robots Through Hierarchical Temporal Logic Task Representation
by: Xu, Shaojun, et al.
Published: (2024)

Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach
by: Rizwan, Momina, et al.
Published: (2020)

ReAct! An Interactive Tool for Hybrid Planning in Robotics
by: Dogmus, Zeynep, et al.
Published: (2013)

A Formal Framework for Robot Construction Problems: A Hybrid Planning Approach
by: Ahmad, Faseeh, et al.
Published: (2019)

ScenicRules: An Autonomous Driving Benchmark with Multi-Objective Specifications and Abstract Scenarios
by: Chang, Kevin Kai-Chun, et al.
Published: (2026)

Capabilities: An Ontology
by: Beverley, John, et al.
Published: (2024)

Credentials in the Occupation Ontology
by: Beverley, John, et al.
Published: (2024)

Vector Ontologies as an LLM world view extraction method
by: Rothenfusser, Kaspar, et al.
Published: (2025)

Commonsense Ontology Micropatterns
by: Eells, Andrew, et al.
Published: (2024)

A Semantic Search Engine for Mathlib4
by: Gao, Guoxiong, et al.
Published: (2024)

Development of Ontological Knowledge Bases by Leveraging Large Language Models
by: Luyen, Le Ngoc, et al.
Published: (2026)

Logical foundations of Smart Contracts
by: Kalala, Kalonji
Published: (2025)

Ontology-to-tools compilation for executable semantic constraint enforcement in LLM agents
by: Zhou, Xiaochi, et al.
Published: (2026)

Ontology-grounded Automatic Knowledge Graph Construction by LLM under Wikidata schema
by: Feng, Xiaohan, et al.
Published: (2024)

OM4OV: Leveraging Ontology Matching for Ontology Versioning
by: Qiang, Zhangcheng, et al.
Published: (2024)

Ontology Learning and Knowledge Graph Construction: A Comparison of Approaches and Their Impact on RAG Performance
by: da Cruz, Tiago, et al.
Published: (2025)

Chatbot-Based Ontology Interaction Using Large Language Models and Domain-Specific Standards
by: Reif, Jonathan, et al.
Published: (2024)

A semantic approach to mapping the Provenance Ontology to Basic Formal Ontology
by: Prudhomme, Tim, et al.
Published: (2024)

Complex Logical Reasoning over Knowledge Graphs using Large Language Models
by: Choudhary, Nurendra, et al.
Published: (2023)

Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery
by: Cornelio, Cristina, et al.
Published: (2024)

Learning Optimal Strategies for Temporal Tasks in Stochastic Games
by: Bozkurt, Alper Kamil, et al.
Published: (2021)

Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
by: Ho, Qi Heng, et al.
Published: (2024)

Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems
by: Zhang, Changjian, et al.
Published: (2024)

Integrating LTL Constraints into PPO for Safe Reinforcement Learning
by: Zhang, Maifang, et al.
Published: (2026)

Diverse Controllable Diffusion Policy with Signal Temporal Logic
by: Meng, Yue, et al.
Published: (2025)

Shield Synthesis for LTL Modulo Theories
by: Rodriguez, Andoni, et al.
Published: (2024)

TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
by: Meng, Yue, et al.
Published: (2025)