Logical tools for handling change in agent-based systems
Logic
2009-03-21 v3
Abstract
We give a unified approach to various results and problems of nonclassical logics
Keywords
Cite
@article{arxiv.0811.0074,
title = {Logical tools for handling change in agent-based systems},
author = {Dov Gabbay and Karl Schlechta},
journal= {arXiv preprint arXiv:0811.0074},
year = {2009}
}
Related papers
View all related →
Multiagent Systems · Computer Science
Using Methods of Declarative Logic Programming for Intelligent Information Agents
T. Eiter, M. Fink, G. Sabbatini, H. Tompits
2007-05-23
Artificial Intelligence · Computer Science
Guided Reasoning: A Non-Technical Introduction
Gregor Betz
2024-08-30
Logic in Computer Science · Computer Science
A Logic for Policy Based Resource Exchanges in Multiagent Systems
Lorenzo Ceragioli, Pierpaolo Degano, Letterio Galletta, Luca Viganò
2024-08-20
Multiagent Systems · Computer Science
Navigating Complexity: Orchestrated Problem Solving with Multi-Agent LLMs
Sumedh Rasal, E. J. Hauer
2024-07-11
Artificial Intelligence · Computer Science
A process algebraic framework for multi-agent dynamic epistemic systems
Alessandro Aldini
2025-12-03
Artificial Intelligence · Computer Science
A Systematic Approach to Artificial Agents
Mark Burgin, Gordana Dodig-Crnkovic
2009-02-23
Artificial Intelligence · Computer Science
An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning
Alexander Steen
2022-03-24
Multiagent Systems · Computer Science
A Novel Multi-Agent System for Complex Scheduling Problems
Peter Hillmann, Tobias Uhlig, Gabi Dreo Rodosek, Oliver Rose
2020-04-21
Artificial Intelligence · Computer Science
Design of a Solver for Multi-Agent Epistemic Planning
Francesco Fabiano
2019-09-19
Artificial Intelligence · Computer Science
LLM-based Agentic Reasoning Frameworks: A Survey from Methods to Scenarios
Bingxi Zhao, Lin Geng Foo, Ping Hu, Christian Theobalt +2
2025-08-26
Artificial Intelligence · Computer Science
Reasoning about Agent Programs using ATL-like Logics
Nitin Yadav, Sebastian Sardina
2016-07-05
Artificial Intelligence · Computer Science
Exploring the bidimensional space: A dynamic logic point of view
Philippe Balbiani, David Fernández-Duque, Emiliano Lorini
2017-02-07
Logic in Computer Science · Computer Science
An Epistemic Strategy Logic
Xiaowei Huang, Ron van der Meyden
2018-07-13
Artificial Intelligence · Computer Science
LLM Reasoner and Automated Planner: A new NPC approach
Israel Puerta-Merino, Jordi Sabater-Mir
2025-01-20
Artificial Intelligence · Computer Science
Towards Active Logic Programming
Stefania Costantini
2014-03-24
Software Engineering · Computer Science
Architecting AgentOps Needs CHANGE
Shaunak Biswas, Hiya Bhatt, Karthik Vaidhyanathan
2026-01-13
Artificial Intelligence · Computer Science
Multi-agent Application System in Office Collaboration Scenarios
Songtao Sun, Jingyi Li, Yuanfei Dong, Haoguang Liu +3
2025-04-08
Machine Learning · Statistics
On the dynamics of multi agent nonlinear filtering and learning
Sayed Pouria Talebi, Danilo Mandic
2023-09-20
Artificial Intelligence · Computer Science
Towards an Intelligent System for Risk Prevention and Management
Fahem Kebair, Frederic Serin
2009-04-21
Artificial Intelligence · Computer Science
Agentic AI for autonomous anomaly management in complex systems
Reza Vatankhah Barenji, Sina Khoshgoftar
2025-07-22
Systems and Control · Electrical Eng. & Systems
A Control-Theoretic Foundation for Agentic Systems
Ali Eslami, Jiangbo Yu
2026-03-26
Artificial Intelligence · Computer Science
Adaptive Reasoning Executor: A Collaborative Agent System for Efficient Reasoning
Zehui Ling, Deshu Chen, Yichi Zhang, Yuchen Liu +3
2025-10-16
Artificial Intelligence · Computer Science
Computational Logic Foundations of KGP Agents
Antonis Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis +1
2014-01-16
Computation and Language · Computer Science
Agentic CLEAR: Automating Multi-Level Evaluation of LLM Agents
Asaf Yehudai, Lilach Eden, Michal Shmueli-Scheuer
2026-05-22
Artificial Intelligence · Computer Science
Modelling Control Arguments via Cooperation Logic in Unforeseen Scenarios
Minal Suresh Patil
2022-10-24