Buchumschlag

Ensuring trustworthy and ethical behaviour in intelligent logical agents

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Costantini, Stefania
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Multiagent Systems Artificial Intelligence Logic in Computer Science Symbolic Computation I.2.4
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Virtual Group Knowledge and Group Belief in Topological Evidence Models (Extended Version)
von: Baltag, Alexandru, et al.
Veröffentlicht: (2025)

I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems
von: Galimullin, Rustam, et al.
Veröffentlicht: (2026)

Common $p$-Belief with Plausibility Measures: Extended Abstract
von: Pacuit, Eric, et al.
Veröffentlicht: (2025)

AGEL-Comp: A Neuro-Symbolic Framework for Compositional Generalization in Interactive Agents
von: Shahid, Mahnoor, et al.
Veröffentlicht: (2026)

Comparing State-Representations for DEL Model Checking
von: Behnke, Gregor, et al.
Veröffentlicht: (2025)

Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems
von: Galimullin, Rustam, et al.
Veröffentlicht: (2025)

Error Detection and Constraint Recovery in Hierarchical Multi-Label Classification without Prior Knowledge
von: Kricheli, Joshua Shay, et al.
Veröffentlicht: (2024)

Nidus: Externalized Reasoning for AI-Assisted Engineering
von: Gorinevski, Danil
Veröffentlicht: (2026)

When both Grounding and not Grounding are Bad -- A Partially Grounded Encoding of Planning into SAT (Extended Version)
von: Filipe, João, et al.
Veröffentlicht: (2026)

Reasoning and Planning with Dynamically Changing Norms
von: Olson, Taylor, et al.
Veröffentlicht: (2026)

Non-monotonic Extensions to Formal Concept Analysis via Object Preferences
von: Carr, Lucas, et al.
Veröffentlicht: (2024)

Abstracting Situation Calculus Action Theories
von: Banihashemi, Bita, et al.
Veröffentlicht: (2024)

Human Conditional Reasoning in Answer Set Programming
von: Sakama, Chiaki
Veröffentlicht: (2023)

Relative Expressiveness of Defeasible Logics II
von: Maher, Michael J.
Veröffentlicht: (2021)

How Artificial Intelligence Leads to Knowledge Why: An Inquiry Inspired by Aristotle's Posterior Analytics
von: Eelink, Guus, et al.
Veröffentlicht: (2025)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
von: Coniglio, M. E., et al.
Veröffentlicht: (2026)

A Category Theoretic Approach to Approximate Game Theory
von: Ghani, Neil
Veröffentlicht: (2025)

Strong Equivalence in Answer Set Programming with Constraints
von: Cabalar, Pedro, et al.
Veröffentlicht: (2025)

Compiling Metric Temporal Answer Set Programming
von: Becker, Arvid, et al.
Veröffentlicht: (2025)

Implementing Metric Temporal Answer Set Programming
von: Becker, Arvid, et al.
Veröffentlicht: (2026)

LTL Verification of Memoryful Neural Agents
von: Hosseini, Mehran, et al.
Veröffentlicht: (2025)

Efficient Temporal Datalog Materialisation for Composite Event Recognition
von: Mantenoglou, Periklis
Veröffentlicht: (2026)

A Fuzzy Supervisor Agent Design for Clinical Reasoning Assistance in a Multi-Agent Educational Clinical Scenario Simulation
von: Zheng, Weibing, et al.
Veröffentlicht: (2025)

ChargingBoul: A Competitive Negotiating Agent with Novel Opponent Modeling
von: Shymanski, Joe
Veröffentlicht: (2025)

Context Engineering: From Prompts to Corporate Multi-Agent Architecture
von: Vishnyakova, Vera V.
Veröffentlicht: (2026)

ArgMed-Agents: Explainable Clinical Decision Reasoning with LLM Disscusion via Argumentation Schemes
von: Hong, Shengxin, et al.
Veröffentlicht: (2024)

Adaptive Collaboration of Arena-Based Argumentative LLMs for Explainable and Contestable Legal Reasoning
von: Cao, Hoang-Loc, et al.
Veröffentlicht: (2026)

Learning Reward Machines in Cooperative Multi-Agent Tasks
von: Ardon, Leo, et al.
Veröffentlicht: (2023)

Normative Conditional Reasoning as a Fragment of HOL
von: Parent, Xavier, et al.
Veröffentlicht: (2023)

Temporal Many-valued Conditional Logics: a Preliminary Report
von: Alviano, Mario, et al.
Veröffentlicht: (2024)

Lifted Algorithms for Symmetric Weighted First-Order Model Sampling
von: Wang, Yuanhong, et al.
Veröffentlicht: (2023)

Mechanizing Operads with Event-B
von: Attiogbé, Christian
Veröffentlicht: (2025)

Large Language Models, Knowledge Graphs and Search Engines: A Crossroads for Answering Users' Questions
von: Hogan, Aidan, et al.
Veröffentlicht: (2025)

Logic interpretations of ANN partition cells
von: Schmitt, Ingo
Veröffentlicht: (2024)

Logic-based Explanations for Linear Support Vector Classifiers with Reject Option
von: Filho, Francisco Mateus Rocha, et al.
Veröffentlicht: (2024)

An Incremental MaxSAT-based Model to Learn Interpretable and Balanced Classification Rules
von: Júnior, Antônio Carlos Souza Ferreira, et al.
Veröffentlicht: (2024)

CSSDH: An Ontology for Social Determinants of Health to Operational Continuity of Care Data Interoperability
von: Das, Subhashis, et al.
Veröffentlicht: (2024)

Probabilities of the Third Type: Statistical Relational Learning and Reasoning with Relative Frequencies
von: Weitkämper, Felix
Veröffentlicht: (2022)

Definite Descriptions and Hybrid Tense Logic
von: Indrzejczak, Andrzej, et al.
Veröffentlicht: (2024)

Modelling Human Values for AI Reasoning
von: Osman, Nardine, et al.
Veröffentlicht: (2024)