{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,2]],"date-time":"2024-05-02T10:28:05Z","timestamp":1714645685824},"reference-count":22,"publisher":"Elsevier","isbn-type":[{"value":"9780124500105","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1016\/b978-0-12-450010-5.50019-0","type":"book-chapter","created":{"date-parts":[[2012,12,3]],"date-time":"2012-12-03T01:20:44Z","timestamp":1354497644000},"page":"231-246","source":"Crossref","is-referenced-by-count":10,"title":["A Metalogic Programming Approach to Multi-Agent Knowledge and Belief"],"prefix":"10.1016","author":[{"given":"Robert","family":"Kowalski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jin-Sang","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/B978-0-12-450010-5.50019-0_bib1","unstructured":"Luigia Aiello, Daniele Nardi and Marco Schaerf. Reasoning about knowledge and ignorance. In Proc. of the Int'l Conference on FGCS, pages 618\u2013627, 1988."},{"key":"10.1016\/B978-0-12-450010-5.50019-0_bib2","unstructured":"Luigia Aiello, Daniele Nardi and Marco Schaerf. Reasoning about knowledge and reasoning in a meta-level architecture. Technical report, Dipartimento di Informatica e Sistemistica, Universit\u00e0 di Roma \u201cLa Sapienza\u201d, 1989."},{"key":"10.1016\/B978-0-12-450010-5.50019-0_bib3","series-title":"Logic Programming","first-page":"153","article-title":"Amalgamating language and metalanguage in logic programming","author":"Bowen","year":"1982"},{"key":"10.1016\/B978-0-12-450010-5.50019-0_bib4","series-title":"The Unprovability of Consistency","author":"Boolos","year":"1979"},{"key":"10.1016\/B978-0-12-450010-5.50019-0_bib5","series-title":"Meta-Level Architectures and Reflection","first-page":"313","article-title":"Object level reflection of inference rules by partial evaluation","author":"Coscia","year":"1988"},{"key":"10.1016\/B978-0-12-450010-5.50019-0_bib6","unstructured":"Stefania Costantini and Gaetano Lanzarone. A metalogic programming language. In Logic Programming: Proc. of the Sixth Intl. Conference, Giorgio Levi and Maurizio Martelli (eds.), pages 218\u2013233. MIT Press 1989."},{"key":"10.1016\/B978-0-12-450010-5.50019-0_bib7","unstructured":"Jin Sang Kim and Robert Kowalski. An application of amalgamated logic to multi-agent belief. In Proc. of the 2nd Workshop on Meta-programming in Logic, Maurice Bruynooghe (ed.), pages 272\u2013283, 1990."},{"key":"10.1016\/B978-0-12-450010-5.50019-0_bib8","article-title":"A first-order formalization of knowledge and action for a multi-agent planning system","volume":"10","author":"Konolige","year":"1982"},{"key":"10.1016\/B978-0-12-450010-5.50019-0_bib9","series-title":"Formal Theories of the Commonsense World","first-page":"359","article-title":"Belief and incompleteness","author":"Konolige","year":"1985"},{"key":"10.1016\/B978-0-12-450010-5.50019-0_bib10","series-title":"A Deduction Model of Belief","author":"Konolige","year":"1986"},{"key":"10.1016\/B978-0-12-450010-5.50019-0_bib11","series-title":"Logic for Problem Solving","author":"Kowalski","year":"1979"},{"key":"10.1016\/B978-0-12-450010-5.50019-0_bib12","unstructured":"John McCarthy. Towards a mathematical science of computation. Proc. IFIP Congress 1962. North Holland 1963."},{"key":"10.1016\/B978-0-12-450010-5.50019-0_bib13","doi-asserted-by":"crossref","unstructured":"John McCarthy, Masahiko Sato, Takeshi Hayashi and Shigeru Igrashi. On the model theory of knowledge. Technical report AIM-312, Stanford University, 1978.","DOI":"10.21236\/ADA065502"},{"key":"10.1016\/B978-0-12-450010-5.50019-0_bib14","first-page":"153","article-title":"Syntactical treatments of modality, with corollaries on reflection principles and finite axiomatizability","volume":"16","author":"Montague","year":"1963","journal-title":"Acta Philosophica Fennica"},{"key":"10.1016\/B978-0-12-450010-5.50019-0_bib15","series-title":"Formal Philosophy","first-page":"286","year":"1974"},{"key":"10.1016\/B978-0-12-450010-5.50019-0_bib16","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0004-3702(88)90038-0","article-title":"Languages with self-reference II: knowledge, belief, and modality","volume":"34","author":"Perlis","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1016\/B978-0-12-450010-5.50019-0_bib17","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1007\/BF00877581","article-title":"A point of reference","volume":"28","author":"Richards","year":"1974","journal-title":"Synthese"},{"key":"10.1016\/B978-0-12-450010-5.50019-0_bib18","doi-asserted-by":"crossref","unstructured":"des Rivieres Jim and Hector Levesque. The consistency of syntactical treatments of knowledge. In Proc. of the 1986 Conference, Theoretical Aspects of Reasoning about Knowledge, Joseph Halpern (ed.), pages 115\u2013130, 1986.","DOI":"10.1016\/B978-0-934613-04-0.50011-9"},{"key":"10.1016\/B978-0-12-450010-5.50019-0_bib19","series-title":"Self-Reference and Modal Logic","author":"Smorynski","year":"1985"},{"key":"10.1016\/B978-0-12-450010-5.50019-0_bib20","series-title":"Forever Undecided","author":"Smullyan","year":"1988"},{"key":"10.1016\/B978-0-12-450010-5.50019-0_bib21","doi-asserted-by":"crossref","unstructured":"Richmond H. Thomason. A note on syntactic treatments of modality. Synthese, Vol. 44, pages 391\u2013395.","DOI":"10.1007\/BF00413468"},{"key":"10.1016\/B978-0-12-450010-5.50019-0_bib22","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0004-3702(80)90015-6","article-title":"Prolegomena to a theory of mechanized formal reasoning","volume":"13","author":"Weyhrauch","year":"1980","journal-title":"Artificial Intelligence"}],"container-title":["Artificial and Mathematical Theory of Computation"],"original-title":[],"language":"en","deposited":{"date-parts":[[2019,7,6]],"date-time":"2019-07-06T06:51:03Z","timestamp":1562395863000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9780124500105500190"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9780124500105"],"references-count":22,"URL":"https:\/\/doi.org\/10.1016\/b978-0-12-450010-5.50019-0","relation":{},"subject":[],"published":{"date-parts":[[1991]]}}}