Image de couverture de livre

Mind the Gaps: Logical English, Prolog, and Multi-agent Systems for Autonomous Vehicles

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Sartor, Galileo, Wyner, Adam, Contissa, Giuseppe
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence Computation and Language Logic in Computer Science Multiagent Systems
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Agentic System with Modal Logic for Autonomous Diagnostics
par: Sulc, Antonin, et autres
Publié: (2025)

Can Proof Assistants Verify Multi-Agent Systems?
par: Mendez, Julian Alfredo, et autres
Publié: (2025)

Hyper Strategy Logic
par: Beutner, Raven, et autres
Publié: (2024)

Strategy Logic, Imperfect Information, and Hyperproperties
par: Beutner, Raven, et autres
Publié: (2025)

On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing
par: Beutner, Raven, et autres
Publié: (2023)

Logic-Driven Semantic Communication for Resilient Multi-Agent Systems
par: Alshammari, Tamara, et autres
Publié: (2026)

Preregistered Belief Revision Contracts
par: Alqithami, Saad
Publié: (2026)

Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI
par: Shapiro, Ehud
Publié: (2026)

Generating Plans for Belief-Desire-Intention (BDI) Agents Using Alternating-Time Temporal Logic (ATL)
par: Léveillé, Dylan
Publié: (2025)

Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge
par: Bjorndahl, Adam
Publié: (2025)

Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games
par: Grobelna, Marta, et autres
Publié: (2025)

Change in Quantitative Bipolar Argumentation: Sufficient, Necessary, and Counterfactual Explanations
par: Kampik, Timotheus, et autres
Publié: (2025)

Generic-to-Specific Reasoning and Learning for Scalable Ad Hoc Teamwork
par: Dodampegama, Hasra, et autres
Publié: (2025)

An Epistemic Perspective on Agent Awareness
par: Naumov, Pavel, et autres
Publié: (2025)

Monitoring Second-Order Hyperproperties
par: Beutner, Raven, et autres
Publié: (2024)

Providing personalized Explanations: a Conversational Approach
par: Luo, Jieting, et autres
Publié: (2023)

Disagree and Commit: Degrees of Argumentation-based Agreements
par: Kampik, Timotheus, et autres
Publié: (2024)

Strength Change Explanations in Quantitative Argumentation
par: Kampik, Timotheus, et autres
Publié: (2026)

Methods for Formal Verification of Agent Skills: Three Layers Toward a Mechanically Checkable Capability-Containment Proof
par: Metere, Alfredo
Publié: (2026)

Formal Verification of Probabilistic Multi-Agent Systems for Ballistic Rocket Flight Using Probabilistic Alternating-Time Temporal Logic
par: Kurpiewski, Damian, et autres
Publié: (2025)

Causality and Decision-making: A Logical Framework for Systems and Security Modelling
par: Chakraborty, Pinaki, et autres
Publié: (2025)

Towards Regulated Deep Learning
par: García-Camino, Andrés
Publié: (2019)

Semantic Channel Theory: Deductive Compression and Structural Fidelity for Multi-Agent Communication
par: Xu, Jianfeng
Publié: (2026)

Logic of Awareness for Nested Knowledge
par: Kubono, Yudai
Publié: (2024)

Modal Logic for Distributed Trust
par: Voorneveld, Niels, et autres
Publié: (2026)

Safety Verification of Wait-Only Non-Blocking Broadcast Protocols
par: Guillou, Lucie, et autres
Publié: (2024)

STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies
par: Zhao, Yiqi, et autres
Publié: (2025)

A Simple Logic of Cohesive Group Agency
par: Troquard, Nicolas
Publié: (2025)

Ensuring trustworthy and ethical behaviour in intelligent logical agents
par: Costantini, Stefania
Publié: (2024)

A Timed Obstruction Logic for Dynamic Game Models
par: Cortes, David, et autres
Publié: (2025)

Verification of Robust Multi-Agent Systems
par: Berthon, Raphaël, et autres
Publié: (2026)

On Qualitative Preference in Alternating-time Temporal Logic with Strategy Contexts
par: Guelev, Dimitar P.
Publié: (2025)

Impure Simplicial Complex and Term-Modal Logic with Assignment Operators
par: Yang, Yuanzhe
Publié: (2025)

Opinion Update in a Subjective Logic Model for Social Networks
par: Alvim, Mário S., et autres
Publié: (2024)

Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints
par: Gutierrez, Julian, et autres
Publié: (2023)

Module checking of pushdown multi-agent systems
par: Bozzelli, Laura, et autres
Publié: (2020)

Towards Assume-Guarantee Verification of Abilities in Stochastic Multi-Agent Systems
par: Jamroga, Wojciech, et autres
Publié: (2025)

ATL*AS: An Automata-Theoretic Approach and Tool for the Verification of Strategic Abilities in Multi-Agent Systems
par: Garcia-Alcalde, Sofia Garcia de Blas, et autres
Publié: (2025)

To bind or not to bind? Discovering Stable Relationships in Object-centric Processes (Extended Version)
par: Seidel, Anjo, et autres
Publié: (2025)

Hierarchical Multi-agent Large Language Model Reasoning for Autonomous Functional Materials Discovery
par: Rothfarb, Samuel, et autres
Publié: (2025)