{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:54:33Z","timestamp":1725494073048},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540661313"},{"type":"electronic","value":"9783540487470"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48747-6_9","type":"book-chapter","created":{"date-parts":[[2007,10,30]],"date-time":"2007-10-30T00:14:36Z","timestamp":1193703276000},"page":"92-103","source":"Crossref","is-referenced-by-count":1,"title":["Avoiding Non-Ground Variables"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Br\u00fcning","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":[[2001,7,20]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"P. Baumgartner, P. Frohlich, U. Furbach, and W. Nejdl. Semantically guided theorem proving for diagnosis application. In Proceedings of the International Joint Conference on Artificial Intelligene. Morgan Kaufmann Publishers, 1997.","DOI":"10.1007\/BFb0027406"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"P. Besnard. An Introduction to Default Logic. Symbolic Computation-Artifical Intelligence. Springer Verlag, 1989.","DOI":"10.1007\/978-3-662-05689-9"},{"key":"9_CR3","first-page":"277","volume-title":"3rd Turkish Symposium on Artificial Intelligence and Neural Networks","author":"S. Br\u00fcning","year":"1994","unstructured":"S. Br\u00fcning. On Restricting the Generation of Clause Instances. In C. Boz\u015fahin, U. Halici, K. Oflazer, and N. Yalabik, editors,3rd Turkish Symposium on Artificial Intelligence and Neural Networks, pages 277\u2013286. Middle East Technical University, Ankara, T\u00fcrkiye, 1994."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"S. Ceri, G. Gottlob, and L. Tanca. Logic Programming and Databases. Springer, 1990.","DOI":"10.1007\/978-3-642-83952-8"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"C. Ferm\u00fcller, A. Leitsch, T. Tammet, and N. Zamov. Resolution Methods for the Decision Problem, volume 679 of LNAI. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56732-1"},{"issue":"2","key":"9_CR6","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/BF00244282","volume":"8","author":"R. Letz","year":"1992","unstructured":"R. Letz, S. Bayerl, J. Schumann, and W. Bibel. SETHEO: A high-performance theorem prover. Journal of Automated Reasoning, 8(2):183\u2013212, 1992.","journal-title":"Journal of Automated Reasoning"},{"issue":"3","key":"9_CR7","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/BF00881947","volume":"13","author":"R. Letz","year":"1994","unstructured":"R. Letz, K. Mayr, and Ch. Goller. Controlled integrations of the cut rule into connection tableau calculi. Journal of Automated Reasoning, 13(3):297\u2013338, 1994.","journal-title":"Journal of Automated Reasoning"},{"issue":"3","key":"9_CR8","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1145\/321526.321527","volume":"16","author":"D. Loveland","year":"1969","unstructured":"D. Loveland. A simplified format for the model elimination theorem-proving procedure. Journal of the ACM, 16(3):349\u2013363, 1969.","journal-title":"Journal of the ACM"},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/BF00297248","volume":"4","author":"K. M. Munch","year":"1988","unstructured":"K. M. Munch. A New Reduction Rule for the Connection Graph Proof Procedure. Journal of Automated Reasoning, 4:425\u2013444, 1988.","journal-title":"Journal of Automated Reasoning"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"P. Nicolas and T. Schaub. The XRay system: An implementation platform for local queryanswering in default logics. In A. Hunter and S. Parsons, editors, Applications of Uncertainty Formalisms in Information Systems, volume 1455 of Lecture Notes in Artificial Intelligence, pages 354\u2013378. Springer Verlag, 1998.","DOI":"10.1007\/3-540-49426-X_16"},{"key":"9_CR11","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/978-1-4612-4792-0_13","volume-title":"The Knowledge Frontier: Essays in the Representation of Knowledge","author":"D. Poole","year":"1987","unstructured":"D. Poole, R. Goebel, and R. Aleliunas. Theorist: A logical reasoning system for defaults and diagnosis. In N. Cercone and G. McCalla, editors, The Knowledge Frontier: Essays in the Representation of Knowledge, chapter 13, pages 331\u2013352. Springer Verlag, New York, 1987."},{"issue":"1-2","key":"9_CR12","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-2):81\u2013132, 1980.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"9_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(98)00092-7","volume":"109","author":"T. Schaub","year":"1998","unstructured":"T. Schaub and S. Br\u00fcning. Prolog technology for default reasoning: Proof theory and compilation techniques. Artificial Intelligence, 109(1):1\u201375, 1998.","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Reasoning and Uncertainty"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48747-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T23:16:00Z","timestamp":1556925360000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48747-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540661313","9783540487470"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-48747-6_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}