{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T22:59:39Z","timestamp":1648940379653},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[2008,8,1]],"date-time":"2008-08-01T00:00:00Z","timestamp":1217548800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2008,8]]},"DOI":"10.1007\/s10472-009-9117-x","type":"journal-article","created":{"date-parts":[[2009,3,5]],"date-time":"2009-03-05T06:53:22Z","timestamp":1236236002000},"page":"289-311","source":"Crossref","is-referenced-by-count":0,"title":["Consistency properties and set based logic programming"],"prefix":"10.1007","volume":"53","author":[{"given":"Anil","family":"Nerode","sequence":"first","affiliation":[]},{"given":"Jeffrey B.","family":"Remmel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,3,6]]},"reference":[{"key":"9117_CR1","unstructured":"Provetti, A., Son, T.C.: Answer set programming, towards efficient and scalable knowledge representation and reasoning. In: Proceedings of the AAAI Spring 2001 Symposium on Answer Set Programming, Stanford, CA, USA (2001)"},{"key":"9117_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)"},{"key":"9117_CR3","unstructured":"Blair, H.A., Marek, V.W., Remmel, J.B.: Spatial logic programming. In: Proceedings SCI 2001, Orlando, FL, July (2001)"},{"key":"9117_CR4","unstructured":"Blair, H.A., Marek, V.W., Remmel, J.B., Rivera, A.: Set based logic programming. In: Proceedings of the of the 4-th International Workshop on Computational Logic in Multi-Agent Systems (2004)"},{"key":"9117_CR5","doi-asserted-by":"crossref","unstructured":"Blair, H.A., Marek, V.W., Remmel, J.B.: Set based logic programming. Ann. Math. Artif. Intell. 52, 81\u2013105 (2008)","DOI":"10.1007\/s10472-008-9098-1"},{"key":"9117_CR6","first-page":"1070","volume-title":"Proceedings of the International Joint Conference and Symposium on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the International Joint Conference and Symposium on Logic Programming, pp. 1070\u20131080. MIT, Massachusetts (1988)"},{"key":"9117_CR7","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/0004-3702(94)90103-1","volume":"70","author":"V. Lifschitz","year":"1994","unstructured":"Lifschitz, V.: Minimal belief and negation as failure. Artif. Intell. 70, 53\u201372 (1994)","journal-title":"Artif. Intell."},{"key":"9117_CR8","unstructured":"Marek, W., Nerode, A., Remmel, J.B.: A context for belief revision: normal nonmonotonic programs. In: Proceedings of the Workshop on Defeasible Resoning and Constraint Solving at International Logic Programming Symposium, San Diego, CA (1992)"},{"key":"9117_CR9","doi-asserted-by":"crossref","unstructured":"Marek, W., Nerode, A., Remmel, J.B.: Basic foward chaining construction for logic programs. In: Logical Foundations of Computer Science, 4-th Internation Symposium, LFCS\u201997, Yaroslavl, Russia, 6\u201312 July 1997. Lecture Notes in Computer Science 1234, pp. 214\u2013225. Springer, Berlin (1997)","DOI":"10.1007\/3-540-63045-7_22"},{"key":"9117_CR10","doi-asserted-by":"crossref","first-page":"139","DOI":"10.3233\/FI-1997-32203","volume":"XXXII","author":"W. Marek","year":"1997","unstructured":"Marek, W., Nerode, A., Remmel, J.B.: Complexity of recursive normal default logic. Fundam. Inform. XXXII, 139\u2013148 (1997)","journal-title":"Fundam. Inform."},{"key":"9117_CR11","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/S0168-0072(98)00041-4","volume":"96","author":"W. Marek","year":"1999","unstructured":"Marek, W., Nerode, A., Remmel, J.B.: Logic programs, well-orderings, and forward chaining. Ann. Pure Appl. Logic 96, 231\u2013276 (1999)","journal-title":"Ann. Pure Appl. Logic"},{"key":"9117_CR12","series-title":"Series Artificial Intelligence","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1007\/978-3-642-60085-2_17","volume-title":"The Logic Programming Paradigm","author":"V.W. Marek","year":"1999","unstructured":"Marek, V.W., Truszczy\u0144ski, M.: Stable models and an alternative logic programming paradigm. In: The Logic Programming Paradigm, pp. 375\u2013398. Series Artificial Intelligence. Springer, Berlin (1999)"},{"issue":"3,4","key":"9117_CR13","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1023\/A:1018930122475","volume":"25","author":"I. Niemel\u00e4","year":"1999","unstructured":"Niemel\u00e4, I.: Logic programs with stable model semantics as a constraint programming paradigm. Ann. Math. Artif. Intell. 25(3,4), 241\u2013273 (1999)","journal-title":"Ann. Math. Artif. Intell."},{"key":"9117_CR14","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. Artif. Intell. 13, 81\u2013132 (1980)","journal-title":"Artif. Intell."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-009-9117-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-009-9117-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-009-9117-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,16]],"date-time":"2020-05-16T09:45:52Z","timestamp":1589622352000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-009-9117-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8]]},"references-count":14,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[2008,8]]}},"alternative-id":["9117"],"URL":"https:\/\/doi.org\/10.1007\/s10472-009-9117-x","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,8]]}}}