{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:21:11Z","timestamp":1725484871109},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677970"},{"type":"electronic","value":"9783540449577"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44957-4_52","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T01:24:41Z","timestamp":1180661081000},"page":"777-791","source":"Crossref","is-referenced-by-count":1,"title":["A Meta-logical Semantics for Features and Fluents Based on Compositional Operators over Normal Logic Programs"],"prefix":"10.1007","author":[{"given":"Vincenzo","family":"Pallotta","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,12,15]]},"reference":[{"key":"52_CR1","unstructured":"Krzysztof R. Apt. Logic Programming. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B. Elsevier, 1990."},{"key":"52_CR2","doi-asserted-by":"crossref","unstructured":"Krzysztof R. Apt and Roland N. Bol. Logic programming and negation: A survey. The Journal of Logic Programming, 19 & 20:9\u201372, May 1994.","DOI":"10.1016\/0743-1066(94)90024-8"},{"key":"52_CR3","volume-title":"Artificial Believers","author":"A. Ballim","year":"1991","unstructured":"A. Ballim and Y. Wilks. Artificial Believers. Lawrence Erlbaum Associates, Hillsdale, New Jersey, 1991."},{"key":"52_CR4","unstructured":"Alexandra Baltag. A logic of epistemic actions. In W. Van der Hoek, J.J. Meyer, and C. Witteveen, editors, Workshop on Foundations and applications of collective agent based systems (CABS), Utrecht, August 1999. ESSLLI99."},{"key":"52_CR5","unstructured":"J.J. Blanc, Rachid Echahed, and Wendelin Serwe. Towards reactive functional logic programming languages. In Herbert Kuchen, editor, Proc. of 8th Workshop on Functional and Logic Programming, 1998."},{"key":"52_CR6","unstructured":"Sergio Brandano. A logic-based calculus of fluents. Technical Report TR-98-01, Dipartimento di Informatica, January 12 1998. Sun, 25 Jan 1998 18:08:16 GMT."},{"key":"52_CR7","doi-asserted-by":"crossref","unstructured":"A. Brogi, S. Contiero, and F. Turini. Programming by Combining General Logic Programs. Technical Report 97-02, Department of Computer Science, University of Pisa, 1997.","DOI":"10.1007\/3-540-63255-7_21"},{"key":"52_CR8","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"K. L. Clark","year":"1978","unstructured":"K. L. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 293\u2013322. Plenum Press, New York, 1978."},{"key":"52_CR9","unstructured":"M. Denecker, L. Missiaen, and M. Bruynooghe. Temporal reasoning with abductive event calculus. In Bernd Neumann, editor, Proceedings of the 10th European Conference on Artificial Intelligence, pages 384\u2013388, Vienna, Austria, August 1992. John Wiley & Sons, Ltd."},{"key":"52_CR10","unstructured":"K.J. Dryllerakis. Residual SLDNF in CLP languages. Technical report, Logic Programming Group Imperial College, 1995."},{"key":"52_CR11","unstructured":"K. Eshghi and R. Kowalski. Abduction compared with negation by failure. In G. Levi and M. Martelli, editors, Proceedings of the 6th International Conference and 5th Symposium on Logic Programming, pages 234\u2013254. MIT Press, 1989."},{"key":"52_CR12","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of third symposium on Intelligent Data Analysis IDA\u201999","author":"N. Fatemi","year":"1999","unstructured":"Nastaran Fatemi and Philippe Mulhem. A conceptual graph approach for video data representation and retrieval. In M. Berthold, editor, Proceedings of third symposium on Intelligent Data Analysis IDA\u201999. Lecture Notes in Computer Science, 1999."},{"key":"52_CR13","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"4","author":"M. C. Fitting","year":"1985","unstructured":"Melvin C. Fitting. A Kripke-Kleene semantics for logic programming. Journal of Logic Programming, 4:295\u2013312, 1985.","journal-title":"Journal of Logic Programming"},{"key":"52_CR14","doi-asserted-by":"crossref","unstructured":"P. M. Hill and J. Gallagher. Meta-programming in logic progamming. In D. M. Gabbay, C. J. Hogger, and J. A. Robinson, editors, Handbook of Logic in Artificial Intelligence and Logic Programming, volume 5, pages 421\u2013498. Oxford University Press, 1998.","DOI":"10.1093\/oso\/9780198537922.003.0010"},{"key":"52_CR15","doi-asserted-by":"crossref","unstructured":"A. Kakas and R. Miller. A simple declarative language for describing narratives with actions. The Journal of Logic Programming, 1997.","DOI":"10.1016\/S0743-1066(96)00138-0"},{"key":"52_CR16","doi-asserted-by":"crossref","unstructured":"A. Kakas and C. Mourlas. Aclp: Flexible solutions to complex problems. In Proceedings of Logic Programming and Non-monotonic Reasoning conference LPNMR97, 1997.","DOI":"10.1007\/3-540-63255-7_29"},{"key":"52_CR17","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"R. Kowalski and M. Sergot. A logic based calculus of events. New Generation Computing, 4:67\u201395, 1986.","journal-title":"New Generation Computing"},{"key":"52_CR18","unstructured":"Vincenzo Pallotta. Integrazione della programmazione logica e della logica dei fluenti. Master\u2019s thesis, Universit\u00e1 di Pisa, december 1997. http:\/\/lithwww.epf1.ch\/~pallotta\/tesi.ps.gz."},{"key":"52_CR19","unstructured":"Vincenzo Pallotta. An abductive semantics for fluent logic programming. http:\/\/Iithwww.epf1.ch\/~pallotta\/abductive_flp.ps.gz , September 1999."},{"key":"52_CR20","unstructured":"Vincenzo Pallotta. Reasoning about fluents in logic programming. In Rachid Echahed, editor, Proocedings of 8th International Workshop on Functional and Logic Programming, volume RR 1021-I-of Raport de Recherche, pages 75\u201391, Grenoble, June 1999. CNRS-INPG, Laboratoire LEIBNIZ-Institute IMAG."},{"key":"52_CR21","unstructured":"Vincenzo Pallotta and Franco Turini. Towards a fluent logic programming. Technical Report TR-98-03, Dipartimento di Informatica, March 9 1998. Wed, 11 Mar 1998 09:26:54 GMT."},{"key":"52_CR22","unstructured":"Fariba Sadri and Robert A. Kowalski. Variants of the event calculus. In Leon Sterling, editor, Proceedings of the 12th International Conference on Logic Programming, pages 67\u201382, Cambridge, June 13\u201318 1995. MIT Press."},{"key":"52_CR23","unstructured":"E. Sandewall. Features and Fluents. Oxford Press, 1994."},{"key":"52_CR24","unstructured":"M. Shanahan. Representing continuous change in the Event Calculus. In Proceedings of the 9th European Conference on Artificial Intelligence, page 598, 1990."},{"key":"52_CR25","unstructured":"M.P. Shanahan. Solving the Frame Problem. MIT Press, 1997."},{"key":"52_CR26","unstructured":"Murray Shanahan. Prediction is deduction but explanation is abduction. In N. S. Sridharan, editor, Proceedings of the 11th International Joint Conference on Artificial Intelligence, pages 1055\u20131060, Detroit, MI, USA, August 1989. Morgan Kaufmann."}],"container-title":["Lecture Notes in Computer Science","Computational Logic \u2014 CL 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44957-4_52","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T23:49:46Z","timestamp":1683848986000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44957-4_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677970","9783540449577"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-44957-4_52","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}