System description: Kimba, a model generator for many-valued first-order logics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1632, Issue , 1999, Pages 282-286

  Konrad, Karsten ^a   Wolfram, D A ^b  

^a SAARLAND UNIVERSITY   (Germany)

^b AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957680709     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48660-7_24     Document Type: Conference Paper

References (8)

1. AP version 4.0. In M. McRobbie and J. Slaney, editors, Proc., 13th International Conference on Automated Deduction (CADE), New Brunswick, NJ, USA, LNCS 1104. Springer, 1996.
2. R. Hähnle. Many-valued logic and mixed integer programming. Annals of Mathematics and Artificial Intelligence, 12(3,4):231-264, Dec. 1994.
3. R. Hasegawa. Model generation theorem provers and their applications. In L. Sterling, editor, Proceedings of the 12th International Conference on Logic Programming, pages 7-8, Cambridge, MA, USA, June13-18 1995. MIT Press.
4. M. Kerber and M. Kohlhase. A mechanization of strong Kleene logic for partial functions. SEKI-Report SR-93-20 (SFB), Universitat des Saarlandes, Saarbrucken, 1993.
5. K. Konrad and D. A. Wolfram. Finite model generation for many-valued higher- order logics. Forthcoming, 1999.
6. Programming Systems Lab Saarbrücken, 1998. Oz Webpage: http://www.ps.uni-sb.de/oz/.
7. J. Slaney. FINDER (Finite Domain Enumerator): Notes and guide. Technical Report TR-ARP-1/92, Australian National University Automated Reasoning Project, Canberra, 1992.
8. C. Suttner and G. Sutcliffe. The TPTP problem library (TPTP v2.2.0). Technical Report 97-04, Department of Computer Science, James Cook University, Townsville, Australia, 1998