{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T00:45:10Z","timestamp":1763685910686},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677970"},{"type":"electronic","value":"9783540449577"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44957-4_19","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T01:24:41Z","timestamp":1180661081000},"page":"285-299","source":"Crossref","is-referenced-by-count":4,"title":["Model Generation Theorem Proving with Finite Interval Constraints"],"prefix":"10.1007","author":[{"given":"Reiner","family":"H\u00e4hnle","sequence":"first","affiliation":[]},{"given":"Ryuzo","family":"Hasegawa","sequence":"additional","affiliation":[]},{"given":"Yasuyuki","family":"Shirai","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,12,15]]},"reference":[{"key":"19_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0055987","volume-title":"Proc. Int. Conf. on Flexible Query Answering Systems FQAS, Roskilde, Denmark","author":"S. Abdennadher","year":"1998","unstructured":"S. Abdennadher and H. Sch\u00fctz. CHRV: A flexible query language. In T. Andreasen, H. Christansen, and H. L. Larsen, eds., Proc. Int. Conf. on Flexible Query Answering Systems FQAS, Roskilde, Denmark, vol. 1495 of LNCS, pp. 1\u201315. Springer-Verlag, 1998."},{"key":"19_CR2","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Proc. European Workshop: Logics in Artificial Intelligence","author":"P. Baumgartner","year":"1996","unstructured":"P. Baumgartner, U. Furbach, and I. Niemel\u00e4. Hyper tableaux. In J. J. Alferes, L. M. Pereira, and E. Orlowska, eds., Proc. European Workshop: Logics in Artificial Intelligence, vol. 1126 of LNCS, pp. 1\u201317. Springer-Verlag, 1996."},{"key":"19_CR3","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Constraint programming: basics and trends, Chatillon Spring School, Chatillonsur-Seine, France, 1994","author":"F. Benhamou","year":"1995","unstructured":"F. Benhamou. Interval constraint logic programming. In A. Podelski, editor, Constraint programming: basics and trends, Chatillon Spring School, Chatillonsur-Seine, France, 1994, vol. 910 of LNCS, pp. 1\u201321. Springer-Verlag, 1995."},{"key":"19_CR4","unstructured":"H. Fujita and R. Hasegawa. A model generation theorem prover in KL1 using a ramified-stack algorithm. In K. Furukawa, editor, Proc. 8th Int. Conf. on Logic Programming, Paris\/France, pp. 535\u2013548. MIT Press, 1991."},{"key":"19_CR5","unstructured":"R. H\u00e4hnle. Automated Deduction in Multiple-Valued Logics. OUP, 1994."},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"R. H\u00e4hnle. Tableaux and related methods. In A. Robinson and A. Voronkov, eds., Handbook of Automated Reasoning. Elsevier Science Publishers, to appear, 2000.","DOI":"10.1016\/B978-044450813-3\/50005-9"},{"key":"19_CR7","unstructured":"R. H\u00e4hnle, R. Hasegawa, and Y. Shirai. Model generation theorem proving with interval constraints. In F. Benhamou, W. J. Older, M. van Emden, and P. van Hentenryck, eds., Proc. of ILPS Post-Conf. Workshop on Interval Constraints, Portland\/OR, USA, Dec. 1995."},{"issue":"1","key":"19_CR8","first-page":"57","volume":"4","author":"R. Hasegawa","year":"1999","unstructured":"R. Hasegawa and H. Fujita. A new implementation technique for a Model-Generation Theorem Prover to solve constraint satisfaction problems. Research Reports on Inf. Sci. and El. Eng. Vol. 4, No. 1, pp. 57\u201362, Kyushu Univ., 1999.","journal-title":"Research Reports on Inf. Sci. and El. Eng."},{"key":"19_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0027401","volume-title":"Proc. Int. Conf. on Automated Reasoning with Analytic Tableaux and Related Methods, Ponta-Mousson, France","author":"R. Hasegawa","year":"1997","unstructured":"R. Hasegawa, H. Fujita, and M. Koshimura. MGTP: a model generation theorem prover\u2014its advanced features and applications. In D. Galmiche, editor, Proc. Int. Conf. on Automated Reasoning with Analytic Tableaux and Related Methods, Ponta-Mousson, France, vol. 1227 of LNCS, pp. 1\u201315. Springer-Verlag, 1997."},{"issue":"2","key":"19_CR10","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/BF00245460","volume":"9","author":"M. Kifer","year":"1992","unstructured":"M. Kifer and E. L. Lozinskii. A logic for reasoning with inconsistency. Journal of Automated Reasoning, 9(2):179\u2013215, Oct. 1992.","journal-title":"Journal of Automated Reasoning"},{"key":"19_CR11","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","volume":"12","author":"M. Kifer","year":"1992","unstructured":"M. Kifer and V. S. Subrahmanian. Theory of generalized annotated logic programming and its applications. Journal of Logic Programming, 12:335\u2013367, 1992.","journal-title":"Journal of Logic Programming"},{"issue":"6","key":"19_CR12","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1093\/logcom\/6.6.755","volume":"6","author":"J. J. Lu","year":"1996","unstructured":"J. J. Lu. Logic programming with signs and annotations. Journal of Logic and Computation, 6(6):755\u2013778, 1996.","journal-title":"Journal of Logic and Computation"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"U. Montanari and F. Rossi. Finite Domain Constraint Solving and Constraint Logic Programming. In F. Benhamou and A. Colmerauer, eds., Constraint Logic Programming: Selected Research, pp. 201\u2013221. The MIT press, 1993.","DOI":"10.1007\/978-3-662-02952-7_4"},{"key":"19_CR14","unstructured":"Y. Shirai and R. Hasegawa. Two approaches for finite-domain constraint satisfaction problem: CP and MGTP. In L. Stirling, editor, Proc. 12th Int. Conf. on Logic Programming, pp. 249\u2013263. MIT Press, 1995."}],"container-title":["Lecture Notes in Computer Science","Computational Logic \u2014 CL 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44957-4_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T11:24:41Z","timestamp":1556450681000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44957-4_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677970","9783540449577"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-44957-4_19","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}