{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:48:43Z","timestamp":1749221323210},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540653127"},{"type":"electronic","value":"9783540494263"}],"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-49426-x_16","type":"book-chapter","created":{"date-parts":[[2007,8,3]],"date-time":"2007-08-03T20:21:25Z","timestamp":1186172485000},"page":"354-378","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["The XRay system: An implementation platform for local query-answering in default logics"],"prefix":"10.1007","author":[{"given":"Pascal","family":"Nicolas","sequence":"first","affiliation":[]},{"given":"Torsten","family":"Schaub","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,28]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"K. Apt, H. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, chapter 2, pages 89\u2013148. Morgan Kaufmann Publishers, 1987.","key":"16_CR1","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"unstructured":"Alain Baudry, Emmanuel Bezagu, Raphael Pieroni, and Denis Pithon. Analyseur syntaxique xray. Student project report (licence informatique), Department of Computer Science, University of Angers, 1997.","key":"16_CR2"},{"unstructured":"Richard Beilleau and Styve Jaumotte. Environnement de tests. Student project report (licence informatique), Department of Computer Science, University of Angers, 1997.","key":"16_CR3"},{"issue":"2\u20134","key":"16_CR4","doi-asserted-by":"publisher","first-page":"175","DOI":"10.3233\/FI-1995-232342","volume":"23","author":"P. Besnard","year":"1995","unstructured":"P. Besnard and T. Schaub. An approach to context-based default reasoning. Fundamenta Informaticae, 23(2\u20134):175\u2013223, 1995.","journal-title":"Fundamenta Informaticae"},{"key":"16_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-322-90102-6","volume-title":"Automated Theorem Proving","author":"W. Bibel","year":"1987","unstructured":"W. Bibel. Automated Theorem Proving. Vieweg Verlag, Braunschweig, second edition, 1987.","edition":"second edition"},{"key":"16_CR6","volume-title":"Deduction: Automated Logic","author":"W. Bibel","year":"1993","unstructured":"W. Bibel. Deduction: Automated Logic. Academic Press, London, 1993."},{"issue":"1","key":"16_CR7","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/0890-5401(91)90073-B","volume":"91","author":"N. Bidoit","year":"1991","unstructured":"N. Bidoit and C. Froidevaux. General logical databases and programs: Default logic semantics and stratification. Information and Computation, 91(1):15\u201354, 1991.","journal-title":"Information and Computation"},{"issue":"2","key":"16_CR8","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0004-3702(91)90099-6","volume":"50","author":"G. Brewka","year":"1991","unstructured":"G. Brewka. Cumulative default logic: In defense of nonmonotonic inference rules. Artificial Intelligence, 50(2):183\u2013205, 1991.","journal-title":"Artificial Intelligence"},{"doi-asserted-by":"crossref","unstructured":"S. Br\u00fcning and T. Schaub. A model-based approach to consistency-checking. In Z. Ras and M. Michalewicz, editors, Proceedings of the Ninth International Symposium on Methodologies for Intelligent Systems, volume 1079 of Lecture Notes in Artificial Intelligence, pages 315\u2013324. Springer Verlag, 1996.","key":"16_CR9","DOI":"10.1007\/3-540-61286-6_156"},{"doi-asserted-by":"crossref","unstructured":"P. Cholewi\u0144ski, V. Marek, A. Mikitiuk, and M. Truszczy\u0144ski. Experimenting with nonmonotonic reasoning. In Proceedings of the International Conference on Logic Programming. MIT Press, 1995.","key":"16_CR10","DOI":"10.7551\/mitpress\/4298.003.0033"},{"unstructured":"P. Cholewi\u0144ski, V. Marek, and M. Truszczy\u0144ski. Default reasoning system DeReS. In Proceedings of the Fifth International Conference on the Principles of Knowledge Representation and Reasoning. Morgan Kaufmann Publishers, 1996.","key":"16_CR11"},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/321033.321034","volume":"7","author":"M. Davis","year":"1960","unstructured":"M. Davis and H. Putnam. A computing procedure for quantification theory. Journal of the ACM, 7:201\u2013215, 1960.","journal-title":"Journal of the ACM"},{"issue":"1\u20132","key":"16_CR13","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0004-3702(94)90106-6","volume":"70","author":"J. Delgrande","year":"1994","unstructured":"J. Delgrande, T. Schaub, and W. Jackson. Alternative approaches to default logic. Artificial Intelligence, 70(1\u20132):167\u2013237, 1994.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"16_CR14","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/0004-3702(94)90006-X","volume":"66","author":"L. Giordano","year":"1994","unstructured":"L. Giordano and A. Martinelli. On cumulative default logics. Artificial Intelligence, 66(1):161\u2013179, 1994.","journal-title":"Artificial Intelligence"},{"doi-asserted-by":"crossref","unstructured":"C. Goller, R. Letz, K. Mayr, and J. Schumann. SETHEO V3.2: Recent Developments. In A. Bundy, editor, Proceedings of the Conference on Automated Deduction, volume 814 of Lecture Notes in Artificial Intelligence, pages 778\u2013782. Springer Verlag, 1994. System abstract.","key":"16_CR15","DOI":"10.1007\/3-540-58156-1_59"},{"unstructured":"Michael Jolivet and Nicolas Jeanneau. Pretty printer. Student project report (licence informatique), Department of Computer Science, University of Angers, 1997.","key":"16_CR16"},{"doi-asserted-by":"crossref","unstructured":"T. Linke and T. Schaub. Lemma handling in default logic theorem provers. In C. Froidevaux and J. Kohlas, editors, Proceedings of European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty, volume 946 of Lecture Notes in Artificial Intelligence, pages 285\u2013292. Springer Verlag, 1995.","key":"16_CR17","DOI":"10.1007\/3-540-60112-0_33"},{"doi-asserted-by":"crossref","unstructured":"T. Linke and T. Schaub. Towards a classification of default logics. Journal of Applied Non-Classical Logics, 7(4), 1997. To appear.","key":"16_CR18","DOI":"10.1080\/11663081.1997.10510925"},{"key":"16_CR19","volume-title":"Automated Theorem Proving: A Logical Basis","author":"D. Loveland","year":"1978","unstructured":"D. Loveland. Automated Theorem Proving: A Logical Basis. North-Holland, New York, 1978."},{"key":"16_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1111\/j.1467-8640.1988.tb00086.x","volume":"4","author":"W. \u0141ukaszewicz","year":"1988","unstructured":"W. \u0141ukaszewicz. Considerations on default logic \u2014 an alternative approach. Computational Intelligence, 4:1\u201316, 1988.","journal-title":"Computational Intelligence"},{"doi-asserted-by":"crossref","unstructured":"A. Mikitiuk and M. Truszczy\u0144ski. Rational default logic and disjunctive logic programming. In A. Nerode and L. Pereira, editors, Proceedings of the Second International Workshop on logic Programming and Non-monotonic Reasoning., pages 283\u2013299. MIT Press, 1993.","key":"16_CR21","DOI":"10.7551\/mitpress\/4307.003.0024"},{"unstructured":"I. Niemel\u00e4. Towards efficient default reasoning. In C. Mellish, editor, Proceedings of the International Joint Conference on Artificial Intelligence, pages 312\u2013318. Morgan Kaufmann Publishers, 1995.","key":"16_CR22"},{"unstructured":"D. Poole. What the lottery paradox tells us about default reasoning. In R. Brachman, H. Levesque, and R. Reiter, editors, Proceedings of the First International Conference on the Principles of Knowledge Representation and Reasoning, pages 333\u2013340, Los Altos, CA, May 1989. Morgan Kaufmann Publishers.","key":"16_CR23"},{"issue":"1\u20132","key":"16_CR24","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_CR25","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. Journal of Automated Reasoning, 15(1):95\u2013165, 1995.","journal-title":"Journal of Automated Reasoning"},{"unstructured":"T. Schaub and S. Br\u00fcning. Prolog technology for default reasoning. In W. Wahlster, editor, Proceedings of the European Conference on Artificial Intelligence, pages 105\u2013109. John Wiley & sons, 1996.","key":"16_CR26"},{"doi-asserted-by":"crossref","unstructured":"T. Schaub, S. Br\u00fcning, and P. Nicolas. XRay: A prolog technology theorem prover for default reasoning: A system description. In M. McRobbie and J. Slaney, editors, Proceedings of the Conference on Automated Deduction, volume 1104 of Lecture Notes in Artificial Intelligence, pages 293\u2013297. Springer Verlag, 1996.","key":"16_CR27","DOI":"10.1007\/3-540-61511-3_93"},{"doi-asserted-by":"crossref","unstructured":"T. Schaub and P. Nicolas. An implementation platform for query-answering in default logics: The XRay system, its implementation and evaluation. In J. Dix, U. Furbach, and A. Nerode, editors, Proceedings of the Fourth International Conference on Logic Programming and Non-Monotonic Reasoning, volume 1265 of Lecture Notes in Artificial Intelligence, pages 442\u2013453. Springer Verlag, 1997.","key":"16_CR28","DOI":"10.1007\/3-540-63255-7_34"},{"doi-asserted-by":"crossref","unstructured":"T. Schaub and P. Nicolas. An implementation platform for query-answering in default logics: Theoretical underpinnings. In Z. Ras, editor, Proceedings of the Tenth International Symposium on Methodologies for Intelligent Systems, Lecture Notes in Artificial Intelligence. Springer Verlag, 1997. To appear.","key":"16_CR29","DOI":"10.1007\/3-540-63614-5_19"},{"doi-asserted-by":"crossref","unstructured":"C. Schwind. A tableaux-based theorem prover for a decidable subset of default logic. In M. Stickel, editor, Proceedings of the Conference on Automated Deduction. Springer Verlag, 1990.","key":"16_CR30","DOI":"10.1007\/3-540-52885-7_112"},{"doi-asserted-by":"crossref","unstructured":"M. Stickel. A Prolog technology theorem prover. In M. Stickel, editor, Proceedings of the Conference on Automated Deduction, volume 449 of Lecture Notes in Artificial Intelligence, pages 673\u2013674. Springer Verlag, 1990.","key":"16_CR31","DOI":"10.1007\/3-540-52885-7_136"},{"key":"16_CR32","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/3-540-52531-9_135","volume-title":"Proceedings of the International Symposium on Design and Implemetation of Symbolic Computation Systems","author":"M. Stickel","year":"1990","unstructured":"M. Stickel. A Prolog technology theorem prover: A new exposition and implementation in prolog. In A. Miola, editor, Proceedings of the International Symposium on Design and Implemetation of Symbolic Computation Systems, volume 429 of Lecture Notes in Computer Science, pages 154\u2013163. Springer Verlag, 1990."},{"unstructured":"J\u00e9rome Vieron and Nicolas Torzec. Arbre de preuve. Student project report (licence informatique), Department of Computer Science, University of Angers, 1997.","key":"16_CR33"}],"container-title":["Lecture Notes in Computer Science","Applications of Uncertainty Formalisms"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49426-X_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T07:31:19Z","timestamp":1708155079000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49426-X_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540653127","9783540494263"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/3-540-49426-x_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"28 September 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}