Cover Image

Intent-Driven UAM Rescheduling

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kim, Jeongseok, Kim, Kangjin
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Human-Computer Interaction Symbolic Computation
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Model Human Learners: Computational Models to Guide Instructional Design
by: MacLellan, Christopher J.
Published: (2025)

Primender Sequence: A Novel Mathematical Construct for Testing Symbolic Inference and AI Reasoning
by: Faiz, Mohd Anwar Jamal
Published: (2025)

ANSR-DT: An Adaptive Neuro-Symbolic Learning and Reasoning Framework for Digital Twins
by: Hakim, Safayat Bin, et al.
Published: (2025)

Towards a Research Community in Interpretable Reinforcement Learning: the InterpPol Workshop
by: Kohler, Hector, et al.
Published: (2024)

Study of Emotion Concept Formation by Integrating Vision, Physiology, and Word Information using Multilayered Multimodal Latent Dirichlet Allocation
by: Tsurumaki, Kazuki, et al.
Published: (2024)

Oyster-I: Beyond Refusal -- Constructive Safety Alignment for Responsible Language Models
by: Duan, Ranjie, et al.
Published: (2025)

ParSEL: Parameterized Shape Editing with Language
by: Ganeshan, Aditya, et al.
Published: (2024)

A Recommendation System-Based Framework for Enhancing Human-Machine Collaboration in Industrial Timetabling Rescheduling: Application in Preventive Maintenance
by: Ducharlet, Kévin, et al.
Published: (2025)

Harmonizing Program Induction with Rate-Distortion Theory
by: Zhou, Hanqi, et al.
Published: (2024)

IntentCUA: Learning Intent-level Representations for Skill Abstraction and Multi-Agent Planning in Computer-Use Agents
by: Lee, Seoyoung, et al.
Published: (2026)

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

DiscoverLLM: From Executing Intents to Discovering Them
by: Kim, Tae Soo, et al.
Published: (2026)

Dialogue Possibilities between a Human Supervisor and UAM Air Traffic Management: Route Alteration
by: Kim, Jeongseok, et al.
Published: (2023)

LLM-Driven Learning Analytics Dashboard for Teachers in EFL Writing Education
by: Kim, Minsun, et al.
Published: (2024)

SNAP: A Plan-Driven Framework for Controllable Interactive Narrative Generation
by: Bang, Geonwoo, et al.
Published: (2025)

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

Steering AI-Driven Personalization of Scientific Text for General Audiences
by: Kim, Taewook, et al.
Published: (2024)

PhenoFlow: A Human-LLM Driven Visual Analytics System for Exploring Large and Complex Stroke Datasets
by: Kim, Jaeyoung, et al.
Published: (2024)

Towards an AI-Driven Video-Based American Sign Language Dictionary: Exploring Design and Usage Experience with Learners
by: Hassan, Saad, et al.
Published: (2025)

Addressing and Visualizing Misalignments in Human Task-Solving Trajectories
by: Kim, Sejin, et al.
Published: (2024)

Tell me more: Intent Fulfilment Framework for Enhancing User Experiences in Conversational XAI
by: Wijekoon, Anjana, et al.
Published: (2024)

Human-Agent Coordination in Games under Incomplete Information via Multi-Step Intent
by: Chen, Shenghui, et al.
Published: (2024)

Conversational Assistants in Knowledge-Intensive Contexts: An Evaluation of LLM- versus Intent-based Systems
by: Freire, Samuel Kernan, et al.
Published: (2024)

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)

Two Constraint Compilation Methods for Lifted Planning
by: Mantenoglou, Periklis, 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)

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

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