{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:37:44Z","timestamp":1725550664095},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291077"},{"type":"electronic","value":"9783540320722"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11560647_10","type":"book-chapter","created":{"date-parts":[[2005,10,20]],"date-time":"2005-10-20T14:04:06Z","timestamp":1129817046000},"page":"151-165","source":"Crossref","is-referenced-by-count":1,"title":["An SLD-Resolution Calculus for Basic Serial Multimodal Logics"],"prefix":"10.1007","author":[{"given":"Linh Anh","family":"Nguyen","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Balbiani, P., Fari\u00f1as del Cerro, L., Herzig, A.: Declarative semantics for modal logic programs. In: Proceedings of the 1988 International Conference on Fifth Generation Computer Systems, pp. 507\u2013514. ICOT (1988)"},{"key":"10_CR2","first-page":"52","volume-title":"Joint International Conference and Symposium on Logic Programming","author":"M. Baldoni","year":"1996","unstructured":"Baldoni, M., Giordano, L., Martelli, A.: A framework for a modal logic programming. In: Joint International Conference and Symposium on Logic Programming, pp. 52\u201366. MIT Press, Cambridge (1996)"},{"key":"10_CR3","volume-title":"A New Introduction to Modal Logic","author":"M.J. Cresswell","year":"1996","unstructured":"Cresswell, M.J., Hughes, G.E.: A New Introduction to Modal Logic. Routledge, New York (1996)"},{"key":"10_CR4","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0304-3975(92)90290-V","volume":"105","author":"F. Debart","year":"1992","unstructured":"Debart, F., Enjalbert, P., Lescot, M.: Multimodal logic programming using equational and order-sorted logic. Theoretical Comp.\u00a0Science\u00a0105, 141\u2013166 (1992)","journal-title":"Theoretical Comp.\u00a0Science"},{"issue":"6","key":"10_CR5","doi-asserted-by":"publisher","first-page":"933","DOI":"10.1093\/logcom\/11.6.933","volume":"11","author":"S. Demri","year":"2001","unstructured":"Demri, S.: The complexity of regularity in grammar logics and related modal logics. Journal of Logic and Computation\u00a011(6), 933\u2013960 (2001)","journal-title":"Journal of Logic and Computation"},{"key":"10_CR6","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"},{"key":"10_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5292-1","volume-title":"First-Order Modal Logic","author":"M. Fitting","year":"1998","unstructured":"Fitting, M., Mendelsohn, R.L.: First-Order Modal Logic. Springer, Heidelberg (1998)"},{"key":"10_CR8","unstructured":"Kowalski, R.A.: Predicate logic as a programming language. In: Rosenfeld, J.L. (ed.) Information Processing of IFIP Congress 74, pp. 569\u2013574 (1974)"},{"key":"10_CR9","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, 2nd edn. Springer, Heidelberg (1987)","edition":"2"},{"issue":"1","key":"10_CR10","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":"10_CR11","unstructured":"Nguyen, L.A.: Multimodal logic programming and its applications to modal deductive databases. Manuscript (served as a technical report), available on Internet at (2003), http:\/\/www.mimuw.edu.pl\/~nguyen\/papers.html"},{"key":"10_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-540-30227-8_24","volume-title":"Logics in Artificial Intelligence","author":"L.A. Nguyen","year":"2004","unstructured":"Nguyen, L.A.: The modal logic programming system MProlog. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol.\u00a03229, pp. 266\u2013278. Springer, Heidelberg (2004)"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Nguyen, L.A.: The modal logic programming system MProlog: Theory, design, and implementation (2005), Available at http:\/\/www.mimuw.edu.pl\/~nguyen\/mprolog","DOI":"10.1007\/978-3-540-30227-8_24"},{"key":"10_CR14","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":"10_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"500","DOI":"10.1007\/BFb0012852","volume-title":"9th International Conference on Automated Deduction","author":"H.J. Ohlbach","year":"1988","unstructured":"Ohlbach, H.J.: A resolution calculus for modal logics. In: Lusk, E., Overbeek, R. (eds.) CADE 1988. LNCS, vol.\u00a0310, pp. 500\u2013516. Springer, Heidelberg (1988)"},{"issue":"4","key":"10_CR16","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. Emden van","year":"1976","unstructured":"van Emden, M.H., Kowalski, R.A.: The semantics of predicate logic as a programming language. Journal of the ACM\u00a023(4), 733\u2013742 (1976)","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11560647_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T11:08:39Z","timestamp":1586516919000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11560647_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291077","9783540320722"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11560647_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}