{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:43:41Z","timestamp":1725565421946},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540226710"},{"type":"electronic","value":"9783540277750"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27775-0_42","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T20:29:36Z","timestamp":1284582576000},"page":"469-470","source":"Crossref","is-referenced-by-count":1,"title":["MProlog: An Extension of Prolog for Modal Logic Programming"],"prefix":"10.1007","author":[{"given":"Linh Anh","family":"Nguyen","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"42_CR1","first-page":"52","volume-title":"Joint Int. Conf. and Symp. on Logic Prog.","author":"M. Baldoni","year":"1996","unstructured":"Baldoni, M., Giordano, L., Martelli, A.: A framework for a modal logic programming. In: Joint Int. Conf. and Symp. on Logic Prog., pp. 52\u201366. MIT Press, Cambridge (1996)"},{"key":"42_CR2","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/BF03037381","volume":"4","author":"L. Fari\u00f1as del Cerro","year":"1986","unstructured":"Fari\u00f1as del Cerro, L.: Molog: A system that extends Prolog with modal logic. New Generation Computing\u00a04, 35\u201350 (1986)","journal-title":"New Generation Computing"},{"issue":"1","key":"42_CR3","first-page":"63","volume":"55","author":"L.A. Nguyen","year":"2003","unstructured":"Nguyen, L.A.: A fixpoint semantics and an SLD-resolution calculus for modal logic programs. Fundamenta Informaticae\u00a055(1), 63\u2013100 (2003)","journal-title":"Fundamenta Informaticae"},{"key":"42_CR4","unstructured":"Nguyen, L.A.: Multimodal logic programming and its applications to modal deductive databases. manuscript (served as a technical report) (2003), available on Internet at \n                    \n                      http:\/\/www.mimuw.edu.pl\/~nguyen\/papers.html"},{"key":"42_CR5","unstructured":"Nguyen, L.A.: Source files, calculi, and examples of MProlog (2004), Available on Internet at \n                    \n                      http:\/\/www.mimuw.edu.pl\/~nguyen\/mprolog"},{"key":"42_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BFb0021985","volume-title":"Logics in Artificial Intelligence","author":"A. Nonnengart","year":"1994","unstructured":"Nonnengart, A.: How to use modalities and sorts in Prolog. In: MacNish, C., Moniz Pereira, L., Pearce, D.J. (eds.) JELIA 1994. LNCS, vol.\u00a0838, pp. 365\u2013378. Springer, Heidelberg (1994)"},{"key":"42_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/BFb0014004","volume-title":"Temporal Logic","author":"M.A. Orgun","year":"1994","unstructured":"Orgun, M.A., Ma, W.: An overview of temporal and modal logic programming. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNCS, vol.\u00a0827, pp. 445\u2013479. Springer, Heidelberg (1994)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27775-0_42.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:24:43Z","timestamp":1620012283000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27775-0_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540226710","9783540277750"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27775-0_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}