{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:36Z","timestamp":1725664296872},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540581079"},{"type":"electronic","value":"9783540484530"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58107-3_10","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:13:16Z","timestamp":1330269196000},"page":"160-178","source":"Crossref","is-referenced-by-count":6,"title":["Default reasoning via negation as failure"],"prefix":"10.1007","author":[{"given":"A. C.","family":"Kakas","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"10_CR1","unstructured":"Apt, K.R., Blair, H.A., Walker, A.,: Towards a theory of Declarative Knowledge, in Foundations of Deductive Databases and Logic Programming, (J. Minker ed.), Morgan-Kaufmann, (1988) 89\u2013148."},{"key":"10_CR2","unstructured":"Brewka G.,: Preferred Subtheories: An Extended Logical Framework for Default Reasoning, in Proc. 11th International Conference on Artificial Intelligence, Detroit, Mi (1989) 1043\u20131048."},{"key":"10_CR3","unstructured":"Dung P. M.,: Negation as Hypothesis; An Abductive Foundation for Logic Programming, in Proc. 8th International Conference on Logic Programming, Paris (1991) 3\u201317."},{"key":"10_CR4","volume-title":"Technical report","author":"P. M. Dung","year":"1992","unstructured":"Dung P. M., Kakas A.C., Mancarella P.,: Negation as Failure Revisited. Technical report, University of Pisa, Pisa (1992)."},{"key":"10_CR5","unstructured":"Eshghi K., Kowalski R.A.,: Abduction Compared with Negation by Failure, in Proc. 6th International Conference on Logic Programming, Lisbon, (1989) 234\u2013255."},{"key":"10_CR6","volume-title":"Ph.D. Thesis","author":"H. Geffner","year":"1989","unstructured":"Geffner, H.,: Default Reasoning: Causal and Conditional Theories. Ph.D. Thesis, UCLA, Los Angeles, CA (1989)."},{"key":"10_CR7","unstructured":"Gelfond, M., Lifschitz, V.,: The Stable Model Semantics for Logic Programming, in Proc. 5th International Conference on Logic Programming, Washington, Seattle (1988) 1070\u20131080."},{"key":"10_CR8","volume-title":"Technical report","author":"A. Hunter","year":"1993","unstructured":"Hunter, A.,: Using priorities in non-monotonic proof theory. Technical report, Imperial College, London (1993)."},{"issue":"no6","key":"10_CR9","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A.C. Kakas","year":"1993","unstructured":"Kakas A.C., Kowalski R.A., Toni F.,: Abductive Logic Programming. Journal of Logic and Computation 2 no 6 (1993) 719\u2013770.","journal-title":"Journal of Logic and Computation"},{"key":"10_CR10","unstructured":"Kakas A.C., Mancarella P.,: Generalized Stable Models: a Semantics for Abduction, in Proc 9th European Conference on Artificial Intelligence, Stockholm, (1990) 385\u2013391."},{"key":"10_CR11","unstructured":"Kakas A.C., Mancarella P.,: Negation as Stable Hypotheses, in Proc. of 1st International Workshop on Logic Programming and Non-Monotonic Reasoning, Washington DC, (1991)."},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Kakas A.C., Mancarella P.,: Preferred Extensions are Partial Stable Models. Journal of Logic Programming (1992).","DOI":"10.1016\/0743-1066(92)90015-U"},{"key":"10_CR13","unstructured":"Kakas A.C., Mancarella P.,: Stable theories for Logic Programs, in Proc. of 1st International Symposium of Logic Programming, San Diego, (1991)."},{"issue":"1","key":"10_CR14","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R.C. Moore","year":"1985","unstructured":"Moore, R.C.,: Semantical Considerations on Nonmonotonic Logic.Journal of Artificial Intelligence, 25 1 (1985) 75\u201394.","journal-title":"Journal of Artificial Intelligence"},{"key":"10_CR15","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D.L. Poole","year":"1988","unstructured":"Poole D.L.,: A Logical Framework for Default Reasoning. Journal of Artificial Intelligence 36 (1988) 27\u201347.","journal-title":"Journal of Artificial Intelligence"},{"key":"10_CR16","unstructured":"Poole D.L.,: What the Lottery paradox tells us about Default Reasoning, in Proc. 1st International Conference on Principles of Knowledge Representation and Reasoning, Toronto (1989) 301\u2013311."},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Poole D.L., Goebel R.G., Aleliunas R.,: Theorist: A logical reasoning system for defaults and diagnosis, in The knowledge Frontier: Essays in the Representation of Knowledge (eds. N. Cercone and G. McCalla), Springer-Verlag, (1987).","DOI":"10.1007\/978-1-4612-4792-0_13"},{"key":"10_CR18","unstructured":"Przymusinski, T.C.,: On the Declarative Semantics of Deductive Databases and Logic Programs, in Foundations of Deductive Databases and Logic Programming, (J. Minker ed.), Morgan-Kaufmann, (1988) 193\u2013216."},{"key":"10_CR19","unstructured":"Przymusinski, T.C.,: Stationary Semantics for Disjunctive Logic Programs and Deductive Databases, in Proc. 1990 North American Conference on Logic Programming (S. Deabray and M. Hermenegildo eds.) MIT Press (1990) 40\u201360."},{"key":"10_CR20","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.,: A Logic for Default Reasoning. Journal of Artificial Intelligence 13 (1980) 81\u2013132.","journal-title":"Journal of Artificial Intelligence"},{"key":"10_CR21","volume-title":"Ph.D. Thesis","author":"M. Ryan","year":"1992","unstructured":"Ryan, M.,: Ordered Presentations of Theories-Default Reasoning and Belief Revision. Ph.D. Thesis, Imperial College, London, UK (1992)."},{"key":"10_CR22","unstructured":"Sacc\u00e0, D., Zaniolo, C.,: Stable Models and Non-Determinism for Logic Programs with Negation, in Proc. ACM SIGMOD-SIGACT Symp. on Principles of Database Systems, (1990) 205\u2013217."},{"key":"10_CR23","unstructured":"Toni, F., Kakas A. C.,: Computing the Acceptability Semantics. Technical report, Imperial College, (1992)."},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"Van Gelder, A., Ross, K.A., Schlipf, J.S.,: Unfounded sets and the well-founded Semantics for General Logic Programs, in Proc. ACM SIGMOD-SIGACT Symp. on Principles of Database Systems, (1988) 221\u2013230.","DOI":"10.1145\/308386.308444"}],"container-title":["Lecture Notes in Computer Science","Foundations of Knowledge Representation and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58107-3_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:11:05Z","timestamp":1619572265000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58107-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540581079","9783540484530"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-58107-3_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}