@INPROCEEDINGS{Hustadt+Dixon+Schmidt+Fisher+Meyer+van_der_Hoek@FAABS2000,
 AUTHOR        = {Hustadt, Ullrich and Dixon, C. and Schmidt, R. A. and Fisher, M.
 and Meyer, J.-J. C. and van der Hoek, W.},
 TITLE         = {Verification within the {KARO} Agent Theory},
 BOOKTITLE     = {Proceedings of the First International Workshop on
 Formal Approaches to Agent-Based Systems (FAABS 2000)
 [Goddard Space Flight Center, Greenbelt, MD, USA, 5-7 April 2000]},
 YEAR          = {2001},
 EDITOR        = {Rash, J. L. and Rouff, C. A. and Truszkowski, W. and 
 Gordon, D. and Hinchey, M. G.},
 PAGES         = {33-47},
 PUBLISHER     = {Springer},
 PYEAR         = {2001},
 CADDRESS      = {Goddard Space Flight Center, Greenbelt, MD, USA},
 CYEAR         = {2000},
 CMONTH        = apr # {~5--7},
 SERIES        = {LNAI},
 VOLUME        = {1871},
 ISBN          = {3-540-42716-3},
 URL           = {Hustadt+Dixon+Schmidt+Fisher+Meyer+van_der_Hoek@FAABS2000.pdf},
 ABSTRACT      = {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.}
}

{"_id":"EsMj38cb9SdfbqrHj","bibbaseid":"hustadt-dixon-schmidt-fisher-meyer-vanderhoek-verificationwithinthekaroagenttheory-2001","author_short":["Hustadt, U.","Dixon, C.","Schmidt, R. A.","Fisher, M.","Meyer, J. C.","van der Hoek, W."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Hustadt"],"firstnames":["Ullrich"],"suffixes":[]},{"propositions":[],"lastnames":["Dixon"],"firstnames":["C."],"suffixes":[]},{"propositions":[],"lastnames":["Schmidt"],"firstnames":["R.","A."],"suffixes":[]},{"propositions":[],"lastnames":["Fisher"],"firstnames":["M."],"suffixes":[]},{"propositions":[],"lastnames":["Meyer"],"firstnames":["J.-J.","C."],"suffixes":[]},{"propositions":["van","der"],"lastnames":["Hoek"],"firstnames":["W."],"suffixes":[]}],"title":"Verification within the KARO Agent Theory","booktitle":"Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems (FAABS 2000) [Goddard Space Flight Center, Greenbelt, MD, USA, 5-7 April 2000]","year":"2001","editor":[{"propositions":[],"lastnames":["Rash"],"firstnames":["J.","L."],"suffixes":[]},{"propositions":[],"lastnames":["Rouff"],"firstnames":["C.","A."],"suffixes":[]},{"propositions":[],"lastnames":["Truszkowski"],"firstnames":["W."],"suffixes":[]},{"propositions":[],"lastnames":["Gordon"],"firstnames":["D."],"suffixes":[]},{"propositions":[],"lastnames":["Hinchey"],"firstnames":["M.","G."],"suffixes":[]}],"pages":"33-47","publisher":"Springer","pyear":"2001","caddress":"Goddard Space Flight Center, Greenbelt, MD, USA","cyear":"2000","cmonth":"April 5–7","series":"LNAI","volume":"1871","isbn":"3-540-42716-3","url":"Hustadt+Dixon+Schmidt+Fisher+Meyer+van_der_Hoek@FAABS2000.pdf","abstract":"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.","bibtex":"@INPROCEEDINGS{Hustadt+Dixon+Schmidt+Fisher+Meyer+van_der_Hoek@FAABS2000,\n AUTHOR = {Hustadt, Ullrich and Dixon, C. and Schmidt, R. A. and Fisher, M.\n and Meyer, J.-J. C. and van der Hoek, W.},\n TITLE = {Verification within the {KARO} Agent Theory},\n BOOKTITLE = {Proceedings of the First International Workshop on\n Formal Approaches to Agent-Based Systems (FAABS 2000)\n [Goddard Space Flight Center, Greenbelt, MD, USA, 5-7 April 2000]},\n YEAR = {2001},\n EDITOR = {Rash, J. L. and Rouff, C. A. and Truszkowski, W. and \n Gordon, D. and Hinchey, M. G.},\n PAGES = {33-47},\n PUBLISHER = {Springer},\n PYEAR = {2001},\n CADDRESS = {Goddard Space Flight Center, Greenbelt, MD, USA},\n CYEAR = {2000},\n CMONTH = apr # {~5--7},\n SERIES = {LNAI},\n VOLUME = {1871},\n ISBN = {3-540-42716-3},\n URL = {Hustadt+Dixon+Schmidt+Fisher+Meyer+van_der_Hoek@FAABS2000.pdf},\n ABSTRACT = {This paper discusses automated reasoning in the KARO\n framework.The KARO framework accommodates a range of expressive modal \n logics for describing the behaviour of intelligent agents. We\n concentrate on a core logic within this framework, in particular, we\n describe two new methods for providing proof methods for this core\n logic, discuss some of the problems we have encountered in their\n design, and present an extended example of the use of the KARO framework\n and the two proof methods.}\n}\n","author_short":["Hustadt, U.","Dixon, C.","Schmidt, R. A.","Fisher, M.","Meyer, J. C.","van der Hoek, W."],"editor_short":["Rash, J. L.","Rouff, C. A.","Truszkowski, W.","Gordon, D.","Hinchey, M. G."],"key":"Hustadt+Dixon+Schmidt+Fisher+Meyer+van_der_Hoek@FAABS2000","id":"Hustadt+Dixon+Schmidt+Fisher+Meyer+van_der_Hoek@FAABS2000","bibbaseid":"hustadt-dixon-schmidt-fisher-meyer-vanderhoek-verificationwithinthekaroagenttheory-2001","role":"author","urls":{"Paper":"http://cgi.csc.liv.ac.uk/~ullrich/publications/Hustadt+Dixon+Schmidt+Fisher+Meyer+van_der_Hoek@FAABS2000.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj","FgmYE34DdKWThg2dR"],"keywords":[],"search_terms":["verification","within","karo","agent","theory","hustadt","dixon","schmidt","fisher","meyer","van der hoek"],"title":"Verification within the KARO Agent Theory","year":2001}