Reasoning about agents in the KARO framework. Hustadt, U., Dixon, C., Schmidt, R. A., Fisher, M., Meyer, J. C., & van der Hoek, W. In Eigth International Symposium on Temporal Representation and Reasoning, TIME-01, Civdale del Friuli, Italy, June 14-16, 2001, pages 206–213, 2001. IEEE Computer Society. Paper doi bibtex @inproceedings{DBLP:conf/time/HustadtDSFMH01,
author = {Ullrich Hustadt and
Clare Dixon and
Renate A. Schmidt and
Michael Fisher and
John{-}Jules Ch. Meyer and
Wiebe van der Hoek},
title = {Reasoning about agents in the {KARO} framework},
booktitle = {Eigth International Symposium on Temporal Representation and Reasoning,
TIME-01, Civdale del Friuli, Italy, June 14-16, 2001},
pages = {206--213},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/TIME.2001.930719},
doi = {10.1109/TIME.2001.930719},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/HustadtDSFMH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"iBaWPmm6s5W6YBmYy","bibbaseid":"hustadt-dixon-schmidt-fisher-meyer-vanderhoek-reasoningaboutagentsinthekaroframework-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":[{"firstnames":["Ullrich"],"propositions":[],"lastnames":["Hustadt"],"suffixes":[]},{"firstnames":["Clare"],"propositions":[],"lastnames":["Dixon"],"suffixes":[]},{"firstnames":["Renate","A."],"propositions":[],"lastnames":["Schmidt"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Fisher"],"suffixes":[]},{"firstnames":["John-Jules","Ch."],"propositions":[],"lastnames":["Meyer"],"suffixes":[]},{"firstnames":["Wiebe"],"propositions":["van","der"],"lastnames":["Hoek"],"suffixes":[]}],"title":"Reasoning about agents in the KARO framework","booktitle":"Eigth International Symposium on Temporal Representation and Reasoning, TIME-01, Civdale del Friuli, Italy, June 14-16, 2001","pages":"206–213","publisher":"IEEE Computer Society","year":"2001","url":"https://doi.org/10.1109/TIME.2001.930719","doi":"10.1109/TIME.2001.930719","timestamp":"Fri, 24 Mar 2023 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/time/HustadtDSFMH01.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/time/HustadtDSFMH01,\n author = {Ullrich Hustadt and\n Clare Dixon and\n Renate A. Schmidt and\n Michael Fisher and\n John{-}Jules Ch. Meyer and\n Wiebe van der Hoek},\n title = {Reasoning about agents in the {KARO} framework},\n booktitle = {Eigth International Symposium on Temporal Representation and Reasoning,\n TIME-01, Civdale del Friuli, Italy, June 14-16, 2001},\n pages = {206--213},\n publisher = {{IEEE} Computer Society},\n year = {2001},\n url = {https://doi.org/10.1109/TIME.2001.930719},\n doi = {10.1109/TIME.2001.930719},\n timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/time/HustadtDSFMH01.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Hustadt, U.","Dixon, C.","Schmidt, R. A.","Fisher, M.","Meyer, J. C.","van der Hoek, W."],"key":"DBLP:conf/time/HustadtDSFMH01","id":"DBLP:conf/time/HustadtDSFMH01","bibbaseid":"hustadt-dixon-schmidt-fisher-meyer-vanderhoek-reasoningaboutagentsinthekaroframework-2001","role":"author","urls":{"Paper":"https://doi.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"],"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}