{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:17:40Z","timestamp":1725664660435},"publisher-location":"Berlin, Heidelberg","reference-count":23,"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_27","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:19:06Z","timestamp":1330276746000},"page":"372-387","source":"Crossref","is-referenced-by-count":3,"title":["Nonmonotonicity and answer set inference"],"prefix":"10.1007","author":[{"given":"David","family":"Pearce","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"27_CR1","unstructured":"Aiello, L, Amati, G, & Pirri, F, Intuitionistic Autoepistemic Logic, forthcoming in Studia Logica."},{"key":"27_CR2","unstructured":"Dix, J, Nichtmonotones Schlie\u03b2en und dessen Anwendung auf Semantiken logischer Programme, Doctoral Disseration, Karlsruhe, 1992."},{"key":"27_CR3","unstructured":"Dietrich, J, Deductive Bases of Nonmonotonic Inference Operations, NTZ Report, Universit\u00e4t Leipzig, 1994."},{"key":"27_CR4","unstructured":"Dietrich, J & Herre, H, Outline of Nonmonotonic Model Theory, NTZ Report, Universit\u00e4t Leipzig, 1994."},{"key":"27_CR5","unstructured":"Fischer Servi, G, Non-Monotonic Consequence Based on Intuionistic Logic, AILA Preprint, Padova, 1991."},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"Gabbay, D, Intuitionistic Basis for Non-Monotonic Logic, in Proc 6th Conf on Automated Deduction, LNCS 138, Springer-Verlag, 1982, 260\u2013273.","DOI":"10.1007\/BFb0000064"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"Gabbay, D, Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems, in K Apt (ed), Logics and Models of Concurrent Systems, Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-82453-1_15"},{"key":"27_CR8","first-page":"89","volume":"12","author":"M Gelfond","year":"1994","unstructured":"Gelfond, M, Logic Programming and Reasoning with Incomplete Information, Ann Math and AI 12 (1994), 89\u2013116.","journal-title":"Ann Math and AI"},{"key":"27_CR9","unstructured":"Gelfond, M, & Lifschitz, V, The Stable Model Semantics for Logic Programs, in K Bowen & R Kowalski (eds), Proc 5th Int Conf on Logic Programming 2, MIT Press, 1070\u20131080."},{"key":"27_CR10","doi-asserted-by":"crossref","unstructured":"Gelfond, M, & Lifschtz, V, Classical Negation in Logic Programs and Disjunctive Databases, New Generation Computing (1991), 365\u2013387.","DOI":"10.1007\/BF03037169"},{"key":"27_CR11","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/BF02121114","volume":"36","author":"Y Gurevich","year":"1977","unstructured":"Gurevich, Y, Intuitionistic Logic with Strong Negation, Studia Logica 36 (1977), 49\u201359.","journal-title":"Studia Logica"},{"key":"27_CR12","unstructured":"Herre, H, Compactness Properties of Nonmonotonic Inference Operations, in C MacNish, D Pearce & L M Pereira (eds), Logics in Artificial Intelligence. Proceedings JELIA '94, LNAI 838, Springer-Verlag, 1994."},{"key":"27_CR13","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S Kraus","year":"1990","unstructured":"Kraus, S, Lehmann, D, & Magidor, M, Nonmonotonic Reasoning, Preferential Models and Cumulative Logics, Artificial Intelligence 44 (1990), 167\u2013207.","journal-title":"Artificial Intelligence"},{"key":"27_CR14","doi-asserted-by":"crossref","unstructured":"Makinson, D, General Theory of Cumulative Inference, in M Reinfrank et al (eds), Non-Monotonic Reasoning, LNAI 346, Springer-Verlag, 1989.","DOI":"10.1007\/3-540-50701-9_16"},{"key":"27_CR15","volume-title":"Handbook of Logic in Artificial Intelligence","author":"D Makinson","year":"1994","unstructured":"Makinson, D, General Patterns in Nonmonotonic Reasoning, in D Gabbay, C J Hogger & J A Robinson (eds), Handbook of Logic in Artificial Intelligence, Clarendon Press, Oxford, 1994."},{"key":"27_CR16","doi-asserted-by":"crossref","unstructured":"McCarty, L T, & van der Meyden, R, An Intuitionistic Interpretation of Finite and Infinite Failure, in Pereira, L M, & Nerode, A, (eds), Logic Programming and Non-Monotonic Reasoning, MIT Press, 1993. 417\u2013436.","DOI":"10.7551\/mitpress\/4307.003.0035"},{"key":"27_CR17","unstructured":"Pearce, D, Default Logic and Constructive Logic, in B Neumann (ed), Proc ECAI 92, John Wiley, 1992."},{"key":"27_CR18","volume-title":"Logic, Action and Change","author":"D Pearce","year":"1994","unstructured":"Pearce, D, Answer Sets and Constructive Logic, I: Monotonic Databases, in A Fuhrmann & H Rott (eds), Logic, Action and Change, De Gruyter, Berlin, 1994."},{"key":"27_CR19","doi-asserted-by":"crossref","unstructured":"Pearce, D, Answer Sets and Nonmonotonic S4, in R. Dyckhoff (ed), Extensions of Logic Programming, LNAI 798, Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58025-5_60"},{"key":"27_CR20","doi-asserted-by":"crossref","unstructured":"Pereira, L M, Alferes, J J, & Aparicio, J N, Default Theory for Well Founded Semantics with Explicit Negation, in D Pearce & G Wagner (eds), Logics in AI. Proc JELIA 92, LNAI 475, Springer-Verlag, 1992, 339\u2013356.","DOI":"10.1007\/BFb0023437"},{"key":"27_CR21","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, Artificial Intelligence 13 (1980), 81\u2013132.","journal-title":"Artificial Intelligence"},{"key":"27_CR22","unstructured":"Turner, R, Logics for Artificial Intelligence, Ellis Horwood, 1984."},{"key":"27_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-6942-2","volume-title":"Theory of Logical Calculi","author":"R W\u00f2jcicki","year":"1988","unstructured":"W\u00f2jcicki, R, Theory of Logical Calculi, Kluwer, Dordrecht, 1988."}],"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_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T16:33:29Z","timestamp":1713630809000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59487-6_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540594871","9783540492825"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-59487-6_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}