{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:14Z","timestamp":1725663374358},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540562825"},{"type":"electronic","value":"9783540475057"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-56282-6_9","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:00:20Z","timestamp":1330236020000},"page":"135-147","source":"Crossref","is-referenced-by-count":6,"title":["Reflective agents in metalogic programming"],"prefix":"10.1007","author":[{"given":"Stefania","family":"Costantini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierangelo","family":"Dell'Acqua","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gaetano A.","family":"Lanzarone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"9_CR1","unstructured":"Aiello L., Nardi D. and Schaerf M., Reasoning about Knowledge and Ignorance, in: Proceedings of FGCS, 1988."},{"key":"9_CR2","unstructured":"Bowen K. and Kowalski R., Amalgamating Language and Metalanguage in Logic Programming, in: Clark K.L. and Tarnlund S.-A. (eds.), Logic Programming, Academic Press, 1982."},{"key":"9_CR3","unstructured":"Bruynooghe M. (ed.), Proceedings of the Second Workshop on Metaprogramming in Logic (Meta90), Leuven, April 4\u20136, 1990."},{"key":"9_CR4","unstructured":"Costantini S. and Lanzarone G.A., A Metalogic Programming Language, in: Levi G. and Martelli M. (eds.), Logic Programming, Proceedings of the Sixth International Conference, MIT Press, 1989."},{"key":"9_CR5","unstructured":"Costantini S. and Lanzarone G.A., Metalevel Negation and Non-Monotonic Reasoning, to appear on the Journal on Methods of Logic in Computer Science, abstract in: Proceedings of the Workshop on Non-Monotonic Reasoning and Logic Programming, Austin, TX, November 1\u20132, 1990."},{"key":"9_CR6","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"On Procedural Semantics of Metalevel Negation","author":"S. Costantini","year":"1992","unstructured":"Costantini S. and Lanzarone G.A., On Procedural Semantics of Metalevel Negation, in: Proceedings of the 2nd Russian Conference on Logic Programming (San Petersburg, September 1991), Lecture Notes in Artificial Intelligence, Springer-Verlag, 1992."},{"key":"9_CR7","unstructured":"Costantini S., Semantics of a Metalogic Programming Language, International Journal of Foundations of Computer Science, Vol. 1, N. 3, Sept. 1990 (draft version in [Br90])."},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Feferman S., Transfinite Recursive Progressions of Axiomatic Theories, Journal of Symbolic Logic 27, 1962.","DOI":"10.2307\/2964649"},{"key":"9_CR9","unstructured":"Kim J.S. and Kowalski R., An Application of Amalgamated Logic to Multi-Agent Belief, in [Br90]."},{"key":"9_CR10","unstructured":"Konolige K., A First-Order Formalization of Knowledge and Action for a Multiagent Planning System, Machine Intelligence 10,Hayes J.E., Michie D., and Pao J.H. (eds.), Ellis Horwood, 1982."},{"key":"9_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1987","unstructured":"Lloyd J.W., Foundations of Logic Programming, (Second, Extended Edition), Springer-Verlag, Berlin, 1987.","edition":"Second, Extende"}],"container-title":["Lecture Notes in Computer Science","Meta-Programming in Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56282-6_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:48:59Z","timestamp":1619556539000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56282-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540562825","9783540475057"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-56282-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}