Search the dblp DataBase

Publications of Author

1. Hans Kleine Büning, Ulrich Löwen, Stefan Schmitgen
   Inconsistency of Production Systems. [Citation Graph (1, 0)][DBLP]
   Data Knowl. Eng., 1989, v:3, n:4, pp:245-260 [Journal]
   
2. Hans Kleine Büning, Ulrich Löwen, Stefan Schmitgen
   Loop Detection in Propositional Prolog Programs. [Citation Graph (0, 0)][DBLP]
   CSL, 1988, pp:148-165 [Conf]
   
3. Ulrich Löwen
   Optimization Aspects of Logical Formulas. [Citation Graph (0, 0)][DBLP]
   CSL, 1987, pp:173-187 [Conf]
   
4. Hans Kleine Büning, Ulrich Löwen
   Optimization Aspects for Propositional Binary Prolog Programs. [Citation Graph (0, 0)][DBLP]
   Elektronische Informationsverarbeitung und Kybernetik, 1988, v:24, n:11/12, pp:585-599 [Journal]
   
5. Hans Kleine Büning, Ulrich Löwen
   Optimizing Propositional Calculus Formulas with Regard to Questions of Deducibility [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 1989, v:80, n:1, pp:18-43 [Journal]
   
6. Hans Kleine Büning, Ulrich Löwen, Stefan Schmitgen
   Equivalence of Propositional Prolog Programs. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 1990, v:6, n:3, pp:319-335 [Journal]
   
7. Hand-Gerd Bleckmann, Ulrich Löwen
   Vergleich von Prolog und Nexpert Object am Beispiel einer Störungsanalyse. [Citation Graph (0, 0)][DBLP]
   KI, 1990, v:4, n:3, pp:42-48 [Journal]
   
8. 
   Towards model induced support for engineering industrial systems. [Citation Graph (, )][DBLP]