{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T23:38:02Z","timestamp":1706139482748},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2005,5,1]],"date-time":"2005-05-01T00:00:00Z","timestamp":1114905600000},"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":[[2005,5]]},"DOI":"10.1007\/s10472-005-1808-3","type":"journal-article","created":{"date-parts":[[2005,4,15]],"date-time":"2005-04-15T10:22:01Z","timestamp":1113560521000},"page":"1-34","source":"Crossref","is-referenced-by-count":3,"title":["Sequent calculi for skeptical reasoning in predicate default logic and other nonmonotonic logics"],"prefix":"10.1007","volume":"44","author":[{"given":"Robert Saxon","family":"Milnikel","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"K.R. Apt, Introduction to logic programming, Technical Report TR-97-35, University of Texas (1987)."},{"key":"CR2","first-page":"493","volume-title":"Handbook of Theoretical Computer Science","author":"K.R. Apt","year":"1990","unstructured":"K.R. Apt, Logic programming, in: Handbook of Theoretical Computer Science, ed. J. van Leeuwen (MIT Press, Cambridge, MA, 1990) pp. 493?574."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2687821","volume":"7","author":"S.N. Artemov","year":"2001","unstructured":"S.N. Artemov, Explicit provability and constructive semantics, Bull. Symbolic Logic 7 (2001) 1?36.","journal-title":"Bull. Symbolic Logic"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/S0049-237X(08)71097-8","volume-title":"Handbook of Mathematical Logic","author":"J. Barwise","year":"1977","unstructured":"J. Barwise, An introduction to first-order logic, in: Handbook of Mathematical Logic, ed. J. Barwise (North-Holland, Amsterdam, 1977) pp. 5?46."},{"key":"CR5","unstructured":"P. Bonatti, A Gentzen system for non-theorems, Technical Report CD-TR 93\/52, Christian Doppler Labor f\u00fcr Expertensysteme (1993)."},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"P. Bonatti, Reasoning with infinite stable models, Artificial Intelligence (2004) 75?111.","DOI":"10.1016\/j.artint.2004.02.001"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1145\/505372.505374","volume":"3","author":"P. Bonatti","year":"2002","unstructured":"P. Bonatti and N. Olivetti, Sequent calculi for propositional nonmonotonic logics, ACM Trans. Comput. Logic 3 (2002) 226?278.","journal-title":"ACM Trans. Comput. Logic"},{"key":"CR8","first-page":"623","volume-title":"Handbook of Recursive Mathematics, Vol. 2","author":"D. Cenzer","year":"1998","unstructured":"D. Cenzer and J.B. Remmel, ?10 classes in mathematics, in: Handbook of Recursive Mathematics, Vol. 2, eds. Y.L. Ershov, S.S. Goncharov, V.W. Marek, A. Nerode and J.B. Remmel (North-Holland, Amsterdam, 1998) pp. 623?821."},{"key":"CR9","unstructured":"M. Gelfond and V. Lifschitz, The stable semantics for logic programs, in: Proceedings of the 5th Annual Symposium on Logic Programming, eds. R.A. Kowalski and K.A. Bowen (1988) pp. 1070?1080."},{"key":"CR10","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1093\/oso\/9780198537472.003.0005","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3","author":"K. Konolige","year":"1994","unstructured":"K. Konolige, Autoepistemic logic, in: Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 3, eds. D.M. Gabbay, C.J. Hogger and J.A. Robinson (Clarendon Press, Oxford, 1994) pp. 217?296."},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"V. Lifschitz, On open defaults, in: Computational Logic. Symposium Proceedings, ed. J.W. Lloyd (1990) pp. 80?95.","DOI":"10.1007\/978-3-642-76274-1_3"},{"key":"CR12","unstructured":"V. Lifschitz, Foundations of logic programming, in: Principles of Knowledge Representation, ed. G. Brewka (CSLI Publications, 1996) pp. 69?127."},{"key":"CR13","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":"J.W. Lloyd, Foundations of Logic Programming, 2nd edition (Springer, Berlin, 1987).","edition":"2"},{"key":"CR14","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/BF01531080","volume":"1","author":"V.W. Marek","year":"1990","unstructured":"V.W. Marek, A. Nerode and J.B. Remmel, Nonmonotonic rule systems I, Ann. Math. Artificial Intelligence 1 (1990) 241?273.","journal-title":"Ann. Math. Artificial Intelligence"},{"key":"CR15","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/S0743-1066(14)80008-3","volume":"21","author":"V.W. Marek","year":"1994","unstructured":"V.W. Marek, A. Nerode and J.B. Remmel, The stable models of a predicate logic program, J. Logic Progr. 21 (1994) 129?154.","journal-title":"J. Logic Progr."},{"key":"CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02906-0","volume-title":"Nonmonotonic Logic: Context-Dependent Reasoning","author":"V.W. Marek","year":"1993","unstructured":"V.W. Marek and M. Truszczy?ski, Nonmonotonic Logic: Context-Dependent Reasoning (Springer, Berlin, 1993)."},{"key":"CR17","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"J. McCarthy, Circumscription ? A form of nonmonotonic reasoning, Artificial Intelligence 13 (1980) 27?39.","journal-title":"Artificial Intelligence"},{"key":"CR18","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","volume":"13","author":"D. McDermott","year":"1980","unstructured":"D. McDermott and J. Doyle, Nonmonotonic logic I, Artificial Intelligence 13 (1980) 41?72.","journal-title":"Artificial Intelligence"},{"key":"CR19","unstructured":"R.S. Milnikel, Nonmonotonic logic: A monotonic approach, Ph.D. thesis, Cornell University (1999)."},{"key":"CR20","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/S0168-0072(02)00064-7","volume":"120","author":"R.S. Milnikel","year":"2003","unstructured":"R.S. Milnikel, The complexity of predicate default logic over a countable domain, Ann. Pure Appl. Logic 120 (2003) 151?163.","journal-title":"Ann. Pure Appl. Logic"},{"key":"CR21","doi-asserted-by":"crossref","unstructured":"R.S. Milnikel, A sequent calculus for skeptical reasoning in predicate default logic, in: Proceedings of the 7th European Conference for Symbolic and Quantitative Approaches to Reasoning with Uncertainty, eds. T.D. Nielsen and N.L. Zhang (2003) pp. 564?575.","DOI":"10.1007\/978-3-540-45062-7_46"},{"key":"CR22","unstructured":"R.S. Milnikel, A sequent caclulus for skeptical reasoning in autoepistemic logic, in: Proceedings of the 10th International Conference on Nonmonotonic Reasoning, eds. J. Delgrande and T. Schaub (2004)."},{"key":"CR23","first-page":"19","volume":"9","author":"G. Mints","year":"1990","unstructured":"G. Mints, Several formal systems of logic programming, Comput. Artif. Intell. 9 (1990) 19?41.","journal-title":"Comput. Artif. Intell."},{"key":"CR24","first-page":"367","volume":"35","author":"G. Mints","year":"1996","unstructured":"G. Mints, A complete calculus for pure prolog, Proc. Acad. Sci. Estonian SSR 35 (1996) 367?380. (In Russian.)","journal-title":"Proc. Acad. Sci. Estonian SSR"},{"key":"CR25","unstructured":"R.C. Moore, Possible-world semantics for the autoepistemic logic, in: Proceedings of the Workshop on Non-Monotonic Reasoning, ed. R. Reiter (1984) pp. 344?354."},{"key":"CR26","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R.C. Moore","year":"1985","unstructured":"R.C. Moore, Semantical considerations on non-monotonic logic, Artificial Intelligence 25 (1985) 75?94.","journal-title":"Artificial Intelligence"},{"key":"CR27","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0649-1","volume-title":"Logic for Applications","author":"A. Nerode","year":"1997","unstructured":"A. Nerode and R.A. Shore, Logic for Applications, 2nd edition (Springer, Berlin, 1997).","edition":"2"},{"key":"CR28","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980) 81?132.","journal-title":"Artificial Intelligence"},{"key":"CR29","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0168-0072(87)90062-5","volume":"35","author":"J.S. Schlipf","year":"1987","unstructured":"J.S. Schlipf, Decidability and definability with circumscription, Ann. Pure Appl. Logic 35 (1987) 173?191.","journal-title":"Ann. Pure Appl. Logic"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-005-1808-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-005-1808-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-005-1808-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T22:46:24Z","timestamp":1706136384000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-005-1808-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,5]]},"references-count":29,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2005,5]]}},"alternative-id":["11808"],"URL":"https:\/\/doi.org\/10.1007\/s10472-005-1808-3","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,5]]}}}