{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:19:34Z","timestamp":1725664774211},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616306"},{"type":"electronic","value":"9783540706434"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61630-6_14","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:08:50Z","timestamp":1330294130000},"page":"208-223","source":"Crossref","is-referenced-by-count":2,"title":["A query answering algorithm for Lukaszewicz' general open default theory"],"prefix":"10.1007","author":[{"given":"Viorica","family":"Ciorba","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"14_CR1","first-page":"306","volume":"92","author":"F. Baader","year":"1992","unstructured":"Baader F. & Hollunder B., Embedding defaults into terminological knowledge representation formalism, Proceedings of KR 92, p. 306\u2013317, 1992.","journal-title":"Proceedings of KR"},{"key":"14_CR2","unstructured":"Besnard Ph., Quiniou R., Quinton P., A theorem prover for a decidable subset of default logic, Proceedings of AAAI, 1983, p. 27\u201330."},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Bibel W., Automated Theorem Proving, Vieweg, 1987.","DOI":"10.1007\/978-3-322-90102-6"},{"issue":"3","key":"14_CR4","first-page":"235","volume":"6","author":"J.M. Bo\u00ef","year":"1992","unstructured":"Bo\u00ef J.M., Innocente E., Rauzy A., Siegel P., Production Fields: a new approach to deduction problems and two algorithms for propositional calculus, Revue d'Intelligence Artificielle, vol. 6, nr. 3, 1992, p. 235\u2013253.","journal-title":"Revue d'Intelligence Artificielle"},{"issue":"1\u20132","key":"14_CR5","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0004-3702(91)90099-6","volume":"50","author":"G. Brewka","year":"1991","unstructured":"Brewka G., Cumulative default logics: in defense of non-monotonic inference rules, Artificial Intelligence, vol. 50 (1\u20132), 1991, p. 183\u2013205.","journal-title":"Artificial Intelligence"},{"key":"14_CR6","unstructured":"Chang C. & Lee R., Symbolic logic and mechanical theorem proving, Academic Press, 1973."},{"key":"14_CR7","unstructured":"Ciorba V., Une m\u00e9thode de preuve pour la logique des d\u00e9fauts de Lukaszewicz, Technical report LRI, 1996, to appear."},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0004-3702(92)90030-2","volume":"56","author":"K. Inoue","year":"1992","unstructured":"K. Inoue, Linear resolution for consequence finding, Artificial Intelligence, nr. 56, p. 301\u2013353, 1992.","journal-title":"Artificial Intelligence"},{"key":"14_CR9","unstructured":"Junker U. et Konolige K., Computing the extensions of autoepistemic and default logics with a Truth Maintenance System, Proceedings of AAAI, 1990, p. 278\u2013283."},{"key":"14_CR10","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/BFb0028205","volume":"747","author":"F. L\u00e9vy","year":"1993","unstructured":"L\u00e9vy F., Weak extensions for default theories, Proceedings of ECSQARU, 1993, Lecture Notes in Computer Science, nr. 747, p. 233\u2013240.","journal-title":"Lecture Notes in Computer Science"},{"key":"14_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.1467-8640.1988.tb00086.x","volume":"4","author":"W. Lukaszewicz","year":"1988","unstructured":"Lukaszewicz W., Considerations on default logic \u2014 an alternative approach, Computational Intelligence, vol 4, 1988, p. 1\u201316.","journal-title":"Computational Intelligence"},{"key":"14_CR12","unstructured":"Mengin J., Prioritized conflict resolution for default reasoning, Proceedings of ECAI, 1994, p.376\u2013380."},{"key":"14_CR13","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/3-540-60112-0_36","volume":"946","author":"P. Nicolas","year":"1995","unstructured":"Nicolas P. & Duval B., A theorem prover for Lukaszewicz' Open Default Theory, Proceedings of ECSQARU, 1995, Lecture Notes in Computer Science, nr. 946, p. 311\u2013319.","journal-title":"Lecture Notes in Computer Science"},{"key":"14_CR14","unstructured":"Poole D., Variables in hypotheses, Proceedings of IJCAI, 1987, p. 905\u2013908."},{"key":"14_CR15","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. Poole","year":"1988","unstructured":"Poole D., A logical framework for default reasoning, Artificial Intelligence, vol. 36, 1988, p. 27\u201346.","journal-title":"Artificial Intelligence"},{"key":"14_CR16","doi-asserted-by":"publisher","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. Artificial Intelligence, vol 13, 1980, p. 81\u2013132.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"14_CR17","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1080\/11663081.1996.10510867","volume":"6","author":"V. Risch","year":"1996","unstructured":"Risch V., Analytic tableaux for default logics, Journal of Applied Non-Classical Logics, vol. 6, nr. 1., 1996, p. 71\u201388.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"14_CR18","unstructured":"Rychlik P., Some variations on default logic, Proceedings of AAAI, 1991, p. 373\u2013378."},{"key":"14_CR19","unstructured":"Schaub T., On constrained default theories, Proceedings of ECAI, 1992, p. 304\u2013308."},{"issue":"1","key":"14_CR20","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/BF00881832","volume":"15","author":"T. Schaub","year":"1995","unstructured":"Schaub T. A new methodology for query-answering in default logics via structure oriented theorem prover, Journal of Automated Reasoning, vol. 15, nr.1, 1995, p. 95\u2013165.","journal-title":"Journal of Automated Reasoning"},{"key":"14_CR21","unstructured":"Siegel P., Repr\u00e9sentation et utilisation de la connaissance en calcul propositionnel, Th\u00e8se de doctorat d'\u00e9tat en informatique, Universit\u00e9 d'Aix-Marseille II, juillet 1987."},{"key":"14_CR22","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/0004-3702(93)90004-U","volume":"60","author":"M Thielscher","year":"1993","unstructured":"Thielscher M, On prediction in Theorist, Artificial Intelligence, vol. 60, 1993, p. 283\u2013292.","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61630-6_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:35:16Z","timestamp":1619573716000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61630-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616306","9783540706434"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-61630-6_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}