@INPROCEEDINGS{Hustadt+Dixon+Schmidt+Fisher+Meyer+van_der_Hoek@TIME2001,
 AUTHOR        = {Hustadt, Ullrich and Dixon, Clare and Schmidt, Renate A. and 
 Fisher, Michael and Meyer, John-Jules and van der Hoek, Wiebe},
 TITLE         = {Reasoning about agents in the {KARO} framework},
 BOOKTITLE     = {Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning 
 (TIME-01) [Cividale del Friuli, Italy, 14-16 June 2001]},
 YEAR          = {2001},
 EDITOR        = {Bettini, Claudio and Montanari, Angelo},
 PAGES         = {206-213},
 PUBLISHER     = {IEEE Press},
 PADDRESS      = {Los Alamitos, CA, USA},
 PYEAR         = {2001},
 CADDRESS      = {Cividale del Friuli, Italy},
 CYEAR         = {2001},
 CMONTH        = jun # {~14--16},
 URL           = {Hustadt+Dixon+Schmidt+Fisher+Meyer+van_der_Hoek@TIME2001.pdf},
 URL           = {http://doi.ieeecomputersociety.org/10.1109/TIME.2001.930719},
 ABSTRACT      = {This paper proposes two methods for realising
 automated reasoning about agent-based systems. The framework for
 modelling intelligent agent behaviour that we focus on is a core of
 KARO logic, an expressive combination of various modal logics
 including propositional dynamic logic, a modal logic of knowledge, a
 modal logic of wishes, and additional non-standard operators. The
 first method we present is based on a translation of core KARO logic
 to first-order logic combined with first-order resolution. The second
 method uses an embedding of core KARO logic into a combination of
 branching-time temporal logic CTL and multi-modal S5
 plus a clausal resolution calculus for these combined logics. We
 discuss the advantages and shortcomings of each approach and suggest
 ways to extend each variant to cover more of the KARO framework.}
}

{"_id":"iBaWPmm6s5W6YBmYy","bibbaseid":"hustadt-dixon-schmidt-fisher-meyer-vanderhoek-reasoningaboutagentsinthekaroframework-2001","author_short":["Hustadt, U.","Dixon, C.","Schmidt, R. A.","Fisher, M.","Meyer, J.","van der Hoek, W."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Hustadt"],"firstnames":["Ullrich"],"suffixes":[]},{"propositions":[],"lastnames":["Dixon"],"firstnames":["Clare"],"suffixes":[]},{"propositions":[],"lastnames":["Schmidt"],"firstnames":["Renate","A."],"suffixes":[]},{"propositions":[],"lastnames":["Fisher"],"firstnames":["Michael"],"suffixes":[]},{"propositions":[],"lastnames":["Meyer"],"firstnames":["John-Jules"],"suffixes":[]},{"propositions":["van","der"],"lastnames":["Hoek"],"firstnames":["Wiebe"],"suffixes":[]}],"title":"Reasoning about agents in the KARO framework","booktitle":"Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME-01) [Cividale del Friuli, Italy, 14-16 June 2001]","year":"2001","editor":[{"propositions":[],"lastnames":["Bettini"],"firstnames":["Claudio"],"suffixes":[]},{"propositions":[],"lastnames":["Montanari"],"firstnames":["Angelo"],"suffixes":[]}],"pages":"206-213","publisher":"IEEE Press","paddress":"Los Alamitos, CA, USA","pyear":"2001","caddress":"Cividale del Friuli, Italy","cyear":"2001","cmonth":"June 14–16","url":"http://doi.ieeecomputersociety.org/10.1109/TIME.2001.930719","abstract":"This paper proposes two methods for realising automated reasoning about agent-based systems. The framework for modelling intelligent agent behaviour that we focus on is a core of KARO logic, an expressive combination of various modal logics including propositional dynamic logic, a modal logic of knowledge, a modal logic of wishes, and additional non-standard operators. The first method we present is based on a translation of core KARO logic to first-order logic combined with first-order resolution. The second method uses an embedding of core KARO logic into a combination of branching-time temporal logic CTL and multi-modal S5 plus a clausal resolution calculus for these combined logics. We discuss the advantages and shortcomings of each approach and suggest ways to extend each variant to cover more of the KARO framework.","bibtex":"@INPROCEEDINGS{Hustadt+Dixon+Schmidt+Fisher+Meyer+van_der_Hoek@TIME2001,\n AUTHOR = {Hustadt, Ullrich and Dixon, Clare and Schmidt, Renate A. and \n Fisher, Michael and Meyer, John-Jules and van der Hoek, Wiebe},\n TITLE = {Reasoning about agents in the {KARO} framework},\n BOOKTITLE = {Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning \n (TIME-01) [Cividale del Friuli, Italy, 14-16 June 2001]},\n YEAR = {2001},\n EDITOR = {Bettini, Claudio and Montanari, Angelo},\n PAGES = {206-213},\n PUBLISHER = {IEEE Press},\n PADDRESS = {Los Alamitos, CA, USA},\n PYEAR = {2001},\n CADDRESS = {Cividale del Friuli, Italy},\n CYEAR = {2001},\n CMONTH = jun # {~14--16},\n URL = {Hustadt+Dixon+Schmidt+Fisher+Meyer+van_der_Hoek@TIME2001.pdf},\n URL = {http://doi.ieeecomputersociety.org/10.1109/TIME.2001.930719},\n ABSTRACT = {This paper proposes two methods for realising\n automated reasoning about agent-based systems. The framework for\n modelling intelligent agent behaviour that we focus on is a core of\n KARO logic, an expressive combination of various modal logics\n including propositional dynamic logic, a modal logic of knowledge, a\n modal logic of wishes, and additional non-standard operators. The\n first method we present is based on a translation of core KARO logic\n to first-order logic combined with first-order resolution. The second\n method uses an embedding of core KARO logic into a combination of\n branching-time temporal logic CTL and multi-modal S5\n plus a clausal resolution calculus for these combined logics. We\n discuss the advantages and shortcomings of each approach and suggest\n ways to extend each variant to cover more of the KARO framework.}\n}\n","author_short":["Hustadt, U.","Dixon, C.","Schmidt, R. A.","Fisher, M.","Meyer, J.","van der Hoek, W."],"editor_short":["Bettini, C.","Montanari, A."],"key":"Hustadt+Dixon+Schmidt+Fisher+Meyer+van_der_Hoek@TIME2001","id":"Hustadt+Dixon+Schmidt+Fisher+Meyer+van_der_Hoek@TIME2001","bibbaseid":"hustadt-dixon-schmidt-fisher-meyer-vanderhoek-reasoningaboutagentsinthekaroframework-2001","role":"author","urls":{"Paper":"http://doi.ieeecomputersociety.org/10.1109/TIME.2001.930719"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj","FgmYE34DdKWThg2dR"],"keywords":[],"search_terms":["reasoning","agents","karo","framework","hustadt","dixon","schmidt","fisher","meyer","van der hoek"],"title":"Reasoning about agents in the KARO framework","year":2001}