{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:14:44Z","timestamp":1725488084987},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540651413"},{"type":"electronic","value":"9783540495451"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49545-2_16","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T18:41:28Z","timestamp":1186425688000},"page":"233-247","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["An Approach to Query-Answering in Reiter\u2019s Default Logic and the Underlying Existence of Extensions Problem"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Linke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Torsten","family":"Schaub","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,2,26]]},"reference":[{"key":"16_CR1","volume-title":"Nonmonotonic Reasoning: Logical Foundations of Commonsense","author":"G. Brewka","year":"1991","unstructured":"G. Brewka. Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press, Cambridge, 1991."},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"P. Cholewi\u0144ski. Reasoning with stratified default theories. In Proc. Third International Conf. on Logic Programming and Nonmonotonic Reasoning, 1995.","DOI":"10.1007\/3-540-59487-6_20"},{"key":"16_CR3","unstructured":"P. Cholewi\u0144ski, V. Marek, and M. Truszczy\u0144ski. Default reasoning system DeReS. In Proc. Fifth International Conf. on the Principles of Knowledge Representation and Reasoning. Morgan Kaufmann, 1996."},{"key":"16_CR4","unstructured":"D. Etherington. Reasoning with Incomplete Information. Research Notes in AI, Pitman."},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0004-3702(87)90081-6","volume":"31","author":"D. Etherington","year":"1987","unstructured":"D. Etherington. Formalizing nonmonotonic reasoning. Artificial Intelligence, 31:41\u201385, 1987.","journal-title":"Artificial Intelligence"},{"issue":"3","key":"16_CR6","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1093\/logcom\/2.3.397","volume":"2","author":"G. Gottlob","year":"1992","unstructured":"G. Gottlob. Complexity results for nonmonotonic logics. J. Logic and Computation, 2(3):397\u2013425, June 1992.","journal-title":"J. Logic and Computation"},{"key":"16_CR7","unstructured":"U. Junker and K. Konolige. Computing the extensions of autoepistemic and default logic with a TMS. In Proc. AAAI National Conf. on Artificial Intelligence, 1990."},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"W. Marek and M. Truszczy\u0144ski. Nonmonotonic logic: context-dependent reasoning. Artifical Intelligence. Springer, 1993.","DOI":"10.1007\/978-3-662-02906-0"},{"key":"16_CR9","unstructured":"I. Niemel\u00e4. Towards efficient default reasoning. In Proc. International Joint Conf. on Artificial Intelligence, 312\u2013318. Morgan Kaufmann, 1995."},{"key":"16_CR10","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/0004-3702(94)90087-6","volume":"69","author":"C. Papadimitriou","year":"1994","unstructured":"C. Papadimitriou and M. Sideri. Default theories that always have extensions. Artificial Intelligence, 69:347\u2013357, 1994.","journal-title":"Artificial Intelligence"},{"issue":"1\u20132","key":"16_CR11","doi-asserted-by":"publisher","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(1\u20132):81\u2013132, 1980.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"16_CR12","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/BF00881832","volume":"15","author":"T. Schaub","year":"1995","unstructured":"T. Schaub. A new methodology for query-answering in default logics via structure-oriented theorem proving. J. Automated Reasoning, 15(1):95\u2013165, 1995.","journal-title":"J. Automated Reasoning"},{"key":"16_CR13","unstructured":"G. Schwarz and M. Truszczy\u0144ski. Subnormal modal logics for knowledge representation. In Proc. AAAI National Conf. on Artificial Intelligence, 438\u2013443. Morgan Kaufmann, 1993."},{"key":"16_CR14","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/BF00881957","volume":"13","author":"C. Schwind","year":"1994","unstructured":"C. Schwind and V. Risch. Tableau-based characterization and theorem proving for default logic. J. Automated Reasoning, 13:223\u2013242, 1994.","journal-title":"J. Automated Reasoning"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49545-2_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T14:00:50Z","timestamp":1558274450000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49545-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540651413","9783540495451"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-49545-2_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"26 February 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}