@INPROCEEDINGS{Hustadt+Nonnengart@AI1993,
 AUTHOR        = {Hustadt, Ullrich and Nonnengart, Andreas},
 TITLE         = {Modalities in Knowledge Representation},
 BOOKTITLE     = {Proceedings of the 6th Australian Joint Conference 
 on Artificial Intelligence (AI'93) 
 [Melbourne, Australia, 16-19 November 1993]},
 PAGES         = {249-254},
 EDITOR        = {Rowles, Chris and Liu, Huan and Foo, Norman},
 CMONTH         = {16-19~} # nov ,
 CADDRESS       = {Melbourne, Australia},
 YEAR          = {1993},
 PUBLISHER     = {World Scientific},
 URL           = {Hustadt+Nonnengart@AI1993.pdf},
 ABSTRACT      = {Standard knowledge representation systems are supposed 
 to be able to represent either common or individual knowledge 
 about the world. In this paper we propose an extension to 
 such knowledge representation systems which, in a uniform 
 manner, allows to express beliefs of multiple agents as 
 well as knowledge, desire, time and in fact any modality 
 which has a first-order predicate logic possible world semantics.},
}

{"_id":"6KQmrHd7YX7j5hdrB","bibbaseid":"hustadt-nonnengart-modalitiesinknowledgerepresentation-1993","author_short":["Hustadt, U.","Nonnengart, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Hustadt"],"firstnames":["Ullrich"],"suffixes":[]},{"propositions":[],"lastnames":["Nonnengart"],"firstnames":["Andreas"],"suffixes":[]}],"title":"Modalities in Knowledge Representation","booktitle":"Proceedings of the 6th Australian Joint Conference on Artificial Intelligence (AI'93) [Melbourne, Australia, 16-19 November 1993]","pages":"249-254","editor":[{"propositions":[],"lastnames":["Rowles"],"firstnames":["Chris"],"suffixes":[]},{"propositions":[],"lastnames":["Liu"],"firstnames":["Huan"],"suffixes":[]},{"propositions":[],"lastnames":["Foo"],"firstnames":["Norman"],"suffixes":[]}],"cmonth":"16-19 November","caddress":"Melbourne, Australia","year":"1993","publisher":"World Scientific","url":"Hustadt+Nonnengart@AI1993.pdf","abstract":"Standard knowledge representation systems are supposed to be able to represent either common or individual knowledge about the world. In this paper we propose an extension to such knowledge representation systems which, in a uniform manner, allows to express beliefs of multiple agents as well as knowledge, desire, time and in fact any modality which has a first-order predicate logic possible world semantics.","bibtex":"@INPROCEEDINGS{Hustadt+Nonnengart@AI1993,\n AUTHOR = {Hustadt, Ullrich and Nonnengart, Andreas},\n TITLE = {Modalities in Knowledge Representation},\n BOOKTITLE = {Proceedings of the 6th Australian Joint Conference \n on Artificial Intelligence (AI'93) \n [Melbourne, Australia, 16-19 November 1993]},\n PAGES = {249-254},\n EDITOR = {Rowles, Chris and Liu, Huan and Foo, Norman},\n CMONTH = {16-19~} # nov ,\n CADDRESS = {Melbourne, Australia},\n YEAR = {1993},\n PUBLISHER = {World Scientific},\n URL = {Hustadt+Nonnengart@AI1993.pdf},\n ABSTRACT = {Standard knowledge representation systems are supposed \n to be able to represent either common or individual knowledge \n about the world. In this paper we propose an extension to \n such knowledge representation systems which, in a uniform \n manner, allows to express beliefs of multiple agents as \n well as knowledge, desire, time and in fact any modality \n which has a first-order predicate logic possible world semantics.},\n}\n","author_short":["Hustadt, U.","Nonnengart, A."],"editor_short":["Rowles, C.","Liu, H.","Foo, N."],"key":"Hustadt+Nonnengart@AI1993","id":"Hustadt+Nonnengart@AI1993","bibbaseid":"hustadt-nonnengart-modalitiesinknowledgerepresentation-1993","role":"author","urls":{"Paper":"http://cgi.csc.liv.ac.uk/~ullrich/publications/Hustadt+Nonnengart@AI1993.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://cgi.csc.liv.ac.uk/~ullrich/publications/all.bib?authorFirst=1","dataSources":["WhiGijHmCtTSdLaAj"],"keywords":[],"search_terms":["modalities","knowledge","representation","hustadt","nonnengart"],"title":"Modalities in Knowledge Representation","year":1993}