{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:38:36Z","timestamp":1725557916548},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540250517"},{"type":"electronic","value":"9783540322542"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-32254-2_15","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T15:16:54Z","timestamp":1277219814000},"page":"249-267","source":"Crossref","is-referenced-by-count":1,"title":["Living Books, Automated Deduction and Other Strange Things"],"prefix":"10.1007","author":[{"given":"Peter","family":"Baumgartner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulrich","family":"Furbach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/3-540-69778-0_14","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"P. Baumgartner","year":"1998","unstructured":"Baumgartner, P.: Hyper Tableaux \u2013 The Next Generation. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS (LNAI), vol.\u00a01397, pp. 60\u201376. Springer, Heidelberg (1998)"},{"key":"15_CR2","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/10721959_16","volume-title":"Automated Deduction - CADE-17","author":"P. Baumgartner","year":"2000","unstructured":"Baumgartner, P.: FDPLL \u2013 A First-Order Davis-Putnam-Logeman-Loveland Procedure. In: McAllester, D. (ed.) CADE 2000. LNCS (LNAI), vol.\u00a01831, pp. 200\u2013219. Springer, Heidelberg (2000)"},{"key":"15_CR3","volume-title":"Annals of Mathematics and Artificial Intelligence \u2013 Special Issue on Mathematical Knowledge Management","author":"P. Baumgartner","year":"2002","unstructured":"Baumgartner, P., Furbach, U.: Automated Deduction Techniques for the Management of Personalized Documents. In: Annals of Mathematics and Artificial Intelligence \u2013 Special Issue on Mathematical Knowledge Management. Kluwer Academic Publishers, Dordrecht (2002) (accepted for Publication)"},{"key":"15_CR4","series-title":"LNAI","volume-title":"Logics in Artificial Intelligence","author":"P. Baumgartner","year":"1996","unstructured":"Baumgartner, P., Furbach, U., Niemel\u00e4, I.: Hyper Tableaux. In: Or\u0142owska, E., Alferes, J.J., Moniz Pereira, L. (eds.) JELIA 1996. LNCS (LNAI), vol.\u00a01126. Springer, Heidelberg (1996)"},{"key":"15_CR5","series-title":"LNAI","first-page":"1","volume-title":"KI-96: Advances in Artificial Intelligence","author":"S.-E. Bornscheuer","year":"1996","unstructured":"Bornscheuer, S.-E.: Rational models of normal logic programs. In: G\u00f6rz, G., H\u00f6lldobler, S. (eds.) KI 1996. LNCS (LNAI), vol.\u00a01137, pp. 1\u20134. Springer, Heidelberg (1996)"},{"key":"15_CR6","first-page":"1121","volume-title":"Handbook of Automated Reasoning","author":"J. Dix","year":"2001","unstructured":"Dix, J., Furbach, U., Niemel\u00e4, I.: Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations. In: Voronkov, A., Robinson, A. (eds.) Handbook of Automated Reasoning, pp. 1121\u20131234. Elsevier-Science- Press, Amsterdam (2001)"},{"issue":"1- 3","key":"15_CR7","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/S0743-1066(98)10003-1","volume":"37","author":"J. Dix","year":"1998","unstructured":"Dix, J., Stolzenburg, F.: A framework to incorporate non-monotonic reasoning into constraint logic programming. Journal of Logic Programming\u00a037(1- 3), 47\u201376 (1998); Special Issue on Constraint Logic Programming. Guest editors: Marriott, K., Stuckey, P.J.","journal-title":"Journal of Logic Programming"},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1007\/3-540-63255-7_14","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Lu, J., Subrahmanian, V.S.: Computing Non-Ground Representations of Stable Models. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol.\u00a01265, pp. 198\u2013217. Springer, Heidelberg (1997)"},{"issue":"2","key":"15_CR9","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1093\/logcom\/6.2.173","volume":"6","author":"C. Ferm\u00fcller","year":"1996","unstructured":"Ferm\u00fcller, C., Leitsch, A.: Hyperresolution and automated model building. Journal of Logic and Computation\u00a06(2), 173\u2013230 (1996)","journal-title":"Journal of Logic and Computation"},{"key":"15_CR10","unstructured":"Furbach, U.: Logic for computer scientists. To appear as Living Book"},{"key":"15_CR11","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.) Proceedings of the 5th International Conference on Logic Programming, Seattle, pp. 1070\u20131080 (1988)"},{"issue":"1-2","key":"15_CR12","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/0304-3975(95)00207-3","volume":"166","author":"G. Gottlob","year":"1996","unstructured":"Gottlob, G., Marcus, S., Nerode, A., Salzer, G., Subrahmanian, V.S.: A non-ground realization of the stable and well-founded semantics. Theoretical Computer Science\u00a0166(1-2), 221\u2013262 (1996)","journal-title":"Theoretical Computer Science"},{"key":"15_CR13","unstructured":"Graf, P.: ACID User Manual \u2013 version 1.0. Technical Report MPI-I-94-DRAFT, Max-Planck- Institut, Saarbr\u00fccken, Germany (June 1994)"},{"issue":"3","key":"15_CR14","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1093\/jigpal\/8.3.239","volume":"8","author":"I. Horrocks","year":"2000","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Practical reasoning for very expressive description logics. Logic Journal of the IGPL\u00a08(3), 239\u2013263 (2000)","journal-title":"Logic Journal of the IGPL"},{"key":"15_CR15","volume-title":"Automated Deduction. A Basis for Applications","author":"R. Letz","year":"1998","unstructured":"Letz, R.: Clausal Tableaux. In: Bibel, W., Schmitt, P.H. (eds.) Automated Deduction. A Basis for Applications. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"15_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/BFb0012847","volume-title":"9th International Conference on Automated Deduction","author":"R. Manthey","year":"1988","unstructured":"Manthey, R., Bry, F.: SATCHMO: a theorem prover implemented in Prolog. In: Lusk, E., Overbeek, R. (eds.) CADE 1988. LNCS, vol.\u00a0310, pp. 415\u2013434. Springer, Heidelberg (1988)"},{"key":"15_CR17","volume-title":"Proceedings of the Joint International Conference and Symposium on Logic Programming","author":"I. Niemel\u00e4","year":"1996","unstructured":"Niemel\u00e4, I., Simons, P.: Efficient implementation of the well-founded and stable model semantics. In: Proceedings of the Joint International Conference and Symposium on Logic Programming, Bonn, Germany. The MITPress, Cambridge (1996)"},{"issue":"2","key":"15_CR18","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1093\/jigpal\/7.2.217","volume":"7","author":"N. Peltier","year":"1999","unstructured":"Peltier, N.: Pruning the search space and extracting more models in tableaux. Logic Journal of the IGPL\u00a07(2), 217\u2013251 (1999)","journal-title":"Logic Journal of the IGPL"},{"key":"15_CR19","first-page":"227","volume":"1","author":"J.A. Robinson","year":"1965","unstructured":"Robinson, J.A.: Automated deduction with hyperresolution. Internat. J. Comput. Math.\u00a01, 227\u2013234 (1965)","journal-title":"Internat. J. Comput. Math."},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Sakama, C.: Possible Model Semantics for Disjunctive Databases. In: Kim, W., Nicholas, J.M., Nishio, S. (eds.) Proceedings First International Conference on Deductive and Object-Oriented Databases (DOOD 1989), pp. 337\u2013351. Elsevier Science Publishers B.V. (North\u2013Holland), Amsterdam (1990)","DOI":"10.1016\/B978-0-444-88433-6.50028-9"},{"issue":"1","key":"15_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M. Schmidt-Schau\u00df","year":"1991","unstructured":"Schmidt-Schau\u00df, M., Smolka, G.: Attributive concept descriptions with complements. Artificial Intelligence\u00a048(1), 1\u201326 (1991)","journal-title":"Artificial Intelligence"},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"Sagonas, K., Swift, T., Warren, D.S.: An abstract machine for computing the well-founded semantics. Journal of Logic Programming (2000) (to appear)","DOI":"10.1016\/S0743-1066(00)00005-4"},{"issue":"3","key":"15_CR23","first-page":"135","volume":"5","author":"F. Stolzenburg","year":"1999","unstructured":"Stolzenburg, F.: Loop-detection in hyper-tableaux by powerful model generation. Journal of Universal Computer Science\u00a05(3), 135\u2013155 (1999); Special Issue on Integration of Deduction Systems. Guest editors: H\u00e4hnle, R., Menzel, W., Schmitt, P.H., Reif, W. Springer, Heidelberg","journal-title":"Journal of Universal Computer Science"},{"key":"15_CR24","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of the ACM\u00a038, 620\u2013650 (1991)","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Mechanizing Mathematical Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-32254-2_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,14]],"date-time":"2019-03-14T20:07:44Z","timestamp":1552594064000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-32254-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540250517","9783540322542"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-32254-2_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}