{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:17:28Z","timestamp":1725664648984},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540594871"},{"type":"electronic","value":"9783540492825"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59487-6_2","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:19:00Z","timestamp":1330276740000},"page":"15-28","source":"Crossref","is-referenced-by-count":8,"title":["A terminological interpretation of (abductive) logic programming"],"prefix":"10.1007","author":[{"given":"Marc","family":"Denecker","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"2_CR1","unstructured":"R. J. Brachman and H.J. Levesque. Competence in Knowledge Representation. In Proc. of the National Conference on Artificial Intelligence, pages 189\u2013192, 1982."},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"K.L. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Databases, pages 293\u2013322. Plenum Press, 1978.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"issue":"5","key":"2_CR3","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1093\/logcom\/1.5.661","volume":"1","author":"L. Console","year":"1991","unstructured":"L. Console, D. Theseider Dupre, and P. Torasso. On the relationship between abduction and deduction. Journal of Logic and Computation, 1(5):661\u2013690, 1991.","journal-title":"Journal of Logic and Computation"},{"key":"2_CR4","unstructured":"M. Denecker. Knowledge Representation and Reasoning in Incomplete Logic Programming. PhD thesis, Department of Computer Science, K.U.Leuven, 1993."},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"M. Denecker and D. De Schreye. Justification semantics: a unifying framework for the semantics of logic programs. In Proc. of the Logic Programming and Nonmonotonic Reasoning Workshop, pages 365\u2013379, 1993.","DOI":"10.7551\/mitpress\/4307.003.0031"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"M. Denecker and D. De Schreye. A terminological interpretation of (Abductive) Logic Programming. Draft, K.U.Leuven, 1994.","DOI":"10.1007\/3-540-59487-6_2"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"M. Denecker and D. De Schreye. Representing Incomplete Knowledge in Abductive Logic Programming. Journal of Logic and Computation, to appear, 1995.","DOI":"10.1093\/logcom\/5.5.553"},{"key":"2_CR8","unstructured":"M. Denecker, L. Missiaen, and M. Bruynooghe. Temporal reasoning with abductive event calculus. In Proc. of the European Conference on Artificial Intelligence, 1992."},{"key":"2_CR9","unstructured":"K. Eshghi. Abductive planning with Event Calculus. In R.A. Kowalski and K.A. Bowen, editors, Proc. of the International Conference on Logic Programming, 1988."},{"key":"2_CR10","unstructured":"M. Gelfond and V. Lifschitz. Logic Programs with Classical Negation. In D.H.D. Warren and P. Szeredi, editors, Proc. of the 7th International Conference on Logic Programming 90, page 579. MIT press, 1990."},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"M. Gelfond and H. Przymusinska. Reasoning in Open Domains. In Proc. of Logic Programming and nonmonotonic reasoning workshop, page 397, 1993.","DOI":"10.7551\/mitpress\/4307.003.0033"},{"issue":"6","key":"2_CR12","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A. C. Kakas","year":"1993","unstructured":"A. C. Kakas, R.A. Kowalski, and F. Toni. Abductive Logic Programming. Journal of Logic and Computation, 2(6):719\u2013770, 1993.","journal-title":"Journal of Logic and Computation"},{"key":"2_CR13","unstructured":"A.C. Kakas and P. Mancarella. Generalised stable models: a semantics for abduction. In Proc. of the European Conference on Artificial Intelligence, 1990."},{"key":"2_CR14","unstructured":"R. Kowalski and F. Sadri. The Situation Calculus and Event Calculus Compared. In Proc. of International Logic Programming Symposium. MIT Press, 1994."},{"issue":"4","key":"2_CR15","first-page":"319","volume":"4","author":"R.A. Kowalski","year":"1986","unstructured":"R.A. Kowalski and M. Sergot. A logic-based calculus of events. New Generation Computing, 4(4):319\u2013340, 1986.","journal-title":"New Generation Computing"},{"key":"2_CR16","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0743-1066(89)90022-8","volume":"4","author":"K. Kunen","year":"1989","unstructured":"K. Kunen. Negation in Logic Programming. Journal of Logic Programming, 4:231\u2013245, 1989.","journal-title":"Journal of Logic Programming"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"V. Lifschitz and G. Schwarz. Extended Logic Programs as Autoepistemic Theories. In L. Pereira and A. Nerode, editors, Proc. of the Logic Programming and Nonmonotonic Reasoning Workshop, 1993.","DOI":"10.7551\/mitpress\/4307.003.0011"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"2_CR19","unstructured":"L.R. Missiaen. Localized abductive planning with the event calculus. PhD thesis, Department of Computer Science, K.U.Leuven, 1991."},{"key":"2_CR20","unstructured":"R.C. Moore. The role of logic in knowledge representation and commonsense reasoning. In Proc. of AAAI-82, pages 428\u2013433, 1982."},{"key":"2_CR21","unstructured":"L.M. Pereira, J.N. Aparicio, and J.J. Alferes. Hypothetical Reasoning with Well Founded Semantics. In B. Mayoh, editor, Proc. of the 3th Scandinavian Conference on AI. IOS Press, 1991."},{"key":"2_CR22","unstructured":"J. Pinto and R.Reiter. Temporal Reasoning in Logic Programming: A Case for the Situation Calculus. In Proc. of the International Conference on Logic Programming, pages 203\u2013221, 1993."},{"key":"2_CR23","unstructured":"R. Reiter. On integrity constraints. In M. Vardi, editor, Proc. of Conf. on Theoretical Aspects o Reasoning about Knowledge, pages 97\u2013111, 1988."},{"key":"2_CR24","unstructured":"B. Traylor and M. Gelfond. Representing Null Values in Logic Programming. In Proc. of the ILPS'93 workshop on Logic Programming with Incomplete Information, pages 35\u201347, 1993."}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59487-6_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T16:33:39Z","timestamp":1713630819000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59487-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540594871","9783540492825"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-59487-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}