e CIG: Technical Reports


Technical Reports

TypePersonsYear

 Filter:                 

Technical Reports (121)

Dix, Jürgen: On Cumulativity in Default Logic and its Relation to Poole's Approach, 1991

Dix, Jürgen and Makinson, David: A Note on the Relationship between KLM and MAK models for Nonmonotonic Inference Operations, 1991

Dix, Jürgen and Merkle, Stefan and Troppens, Ulf and Waelde, Stefan: KLM's Abschlüsse $K^cum$ und $K^pref$ versus LM's Abschluss $K^rat$: Theorie und Implementierung, 1991

Ludäscher, Bertram: CNF-Prolog: A Meta-Interpreter for Chan's Constructive Negation, Implementation, 1991

Vorbeck, Martin: CNF-Prolog: A Meta-Interpreter for Chan's Constructive Negation, Theory, 1991

Dix, Jürgen: Some Tendencies in Non Monotonic Reasoning: I. The Main Approaches, 1990

Dix, Jürgen and Dold, Axel and Fuchss, Thomas and Müller, Martin: Theorist und MVL: Erfahrungen und Hinweise im Umgang mit nichtmonotonen Beweissystemen, 1990

Dix, Jürgen and Schmitt, Peter and Hähnle, Reiner: über die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken: Teil 1, 1990

Dix, Jürgen and Schmitt, Peter and Hähnle, Reiner: über die Negation im logischen Programmieren und ihre Beziehung zu nichtmonotonen Logiken: Teil 2, 1990

Dix, Jürgen: Logik und Spezifikation, 1988

Results 111 - 120 of 121

<<

<

4

5

6

7

8

9

10

11

12

13

>

>>

Show results as BibTeX-Code
 

Kontakt  Suche  Sitemap  Data Privacy  Imprint
© TU Clausthal 2019