Sciweavers

FAABS
2000
Springer

Verification within the KARO Agent Theory

13 years 7 months ago
Verification within the KARO Agent Theory
This paper discusses automated reasoning in the KARO framework. The KARO framework accommodates a range of expressive modal logics for describing the behaviour of intelligent agents. We concentrate on a core logic within this framework, in particular, we describe two new methods for providing proof methods for this core logic, discuss some of the problems we have encountered in their design, and present an extended example of the use of the KARO framework and the two proof methods.
Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, M
Added 24 Aug 2010
Updated 24 Aug 2010
Type Conference
Year 2000
Where FAABS
Authors Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher, John-Jules Ch. Meyer, Wiebe van der Hoek
Comments (0)