Reasoning about Agents in the KARO Framework

Authors:
U. Hustadt;C. Dixon;M. Fisher;R. A. Schmidt;J.-J. Meyer;W. Van der Hoek
Affiliations:
-;-;-;-;-;-
Venue:
TIME '01 Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME'01)
Year:
2001

Clausal resolution in a logic of rational agency

Artificial Intelligence
Logic-based specification languages for intelligent software agents

Theory and Practice of Logic Programming
Temporal Development Methods for Agent-Based

Autonomous Agents and Multi-Agent Systems
Our Quest for the Holy Grail of Agent Verification

TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Toward a programming theory for rational agents

Autonomous Agents and Multi-Agent Systems
Agent logics as program logics: grounding KARO

KI'06 Proceedings of the 29th annual German conference on Artificial intelligence

Hi-index	0.00