e CIG: Journal Articles


Journal Articles

TypePersonsYear

 Filter:                 

Articles (113)

Dix, J. and Furbach, U.: Logisches Programmieren mit Negation und Disjunktion, KI, Volume 3, 1996

Dix, J. and Furbach, U.: The DFG-Project DisLoP on Disjunctive Logic Programming, Computational Logic, Volume 2, 1996

Dix, Jürgen and Gottlob, Georg and Marek, Viktor: Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations, Fundamenta Informaticae, Volume XXVIII, 1996

Dix, Jürgen: A Classification-Theory of Semantics of Normal Logic Programs: I. Strong Properties, Fundamenta Informaticae, Volume XXII(3), 1995

Dix, Jürgen: A Classification-Theory of Semantics of Normal Logic Programs: II. Weak Properties, Fundamenta Informaticae, Volume XXII(3), 1995

Dix, Jürgen: Detailed Report on the First LP & NMR Retreat, AI Communications, Volume 8, 1995

Dix, Jürgen: Detailed Report on the First LP & NMR Retreat, Computational Logic, Volume 2, 1995

Dix, Jürgen: Review on Marek/Truszscynski's Book ''Nonmonotonic Logic``, Bulletin of the IGPL, Volume 6, 1994

Dix, Jürgen and Kummer, Martin: Herbrand's Theorem for Nonstandard Inference Operations, Journal of Logic and Computation, Volume 4, 1994

Dix, Jürgen: LP&NMR '93: Report on the Second International Workshop on Logic Programming and Non-Monotonic Reasoning, AI Communications, Volume 6, 1993

Results 101 - 110 of 113

<<

<

3

4

5

6

7

8

9

10

11

12

>

>>

Show results as BibTeX-Code
 

Kontakt  Suche  Sitemap  Data Privacy  Imprint
© TU Clausthal 2019