@INCOLLECTION{Hustadt+Dixon+Schmidt+Fisher+Meyer+van_der_Hoek@ATFP2005,
 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     = {Agent Technology from a Formal Perspective},
 YEAR          = {2001},
 EDITOR        = {Rouff, C. A. and Hinchey, M. G. and 
 Rash, J. L. and Truszkowski, W. and Gordon-Spears, D.},
 PUBLISHER     = {Springer},
 PAGES         = {193-226},
 PYEAR         = {2005},
 SERIES        = {NASA Monographs in Systems and Software Engineering},
 ISBN          = {1-85233-947-0},
 URL           = {Hustadt+Dixon+Schmidt+Fisher+Meyer+van_der_Hoek@ATFP2005.pdf},
 ABSTRACT      = {This chapter proposes two new methods for realising 
 automated reasoning within agent-based systems. We concentrate on a
 core of the KARO framework, which is a speci cation framework for
 modelling intelligent agent behaviour. We discuss the advantages of
 each approach and suggest ways of extending each variant to cover
 more of the KARO framework.},
}

{"_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":"incollection","type":"incollection","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":"Agent Technology from a Formal Perspective","year":"2001","editor":[{"propositions":[],"lastnames":["Rouff"],"firstnames":["C.","A."],"suffixes":[]},{"propositions":[],"lastnames":["Hinchey"],"firstnames":["M.","G."],"suffixes":[]},{"propositions":[],"lastnames":["Rash"],"firstnames":["J.","L."],"suffixes":[]},{"propositions":[],"lastnames":["Truszkowski"],"firstnames":["W."],"suffixes":[]},{"propositions":[],"lastnames":["Gordon-Spears"],"firstnames":["D."],"suffixes":[]}],"publisher":"Springer","pages":"193-226","pyear":"2005","series":"NASA Monographs in Systems and Software Engineering","isbn":"1-85233-947-0","url":"Hustadt+Dixon+Schmidt+Fisher+Meyer+van_der_Hoek@ATFP2005.pdf","abstract":"This chapter proposes two new methods for realising automated reasoning within agent-based systems. We concentrate on a core of the KARO framework, which is a speci cation framework for modelling intelligent agent behaviour. We discuss the advantages of each approach and suggest ways of extending each variant to cover more of the KARO framework.","bibtex":"@INCOLLECTION{Hustadt+Dixon+Schmidt+Fisher+Meyer+van_der_Hoek@ATFP2005,\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 = {Agent Technology from a Formal Perspective},\n YEAR = {2001},\n EDITOR = {Rouff, C. A. and Hinchey, M. G. and \n Rash, J. L. and Truszkowski, W. and Gordon-Spears, D.},\n PUBLISHER = {Springer},\n PAGES = {193-226},\n PYEAR = {2005},\n SERIES = {NASA Monographs in Systems and Software Engineering},\n ISBN = {1-85233-947-0},\n URL = {Hustadt+Dixon+Schmidt+Fisher+Meyer+van_der_Hoek@ATFP2005.pdf},\n ABSTRACT = {This chapter proposes two new methods for realising \n automated reasoning within agent-based systems. We concentrate on a\n core of the KARO framework, which is a speci cation framework for\n modelling intelligent agent behaviour. We discuss the advantages of\n each approach and suggest ways of extending each variant to cover\n more of the KARO framework.},\n}\n","author_short":["Hustadt, U.","Dixon, C.","Schmidt, R. A.","Fisher, M.","Meyer, J. C.","van der Hoek, W."],"editor_short":["Rouff, C. A.","Hinchey, M. G.","Rash, J. L.","Truszkowski, W.","Gordon-Spears, D."],"key":"Hustadt+Dixon+Schmidt+Fisher+Meyer+van_der_Hoek@ATFP2005","id":"Hustadt+Dixon+Schmidt+Fisher+Meyer+van_der_Hoek@ATFP2005","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@ATFP2005.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"incollection","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}