e CIG: Journal Articles


Journal Articles

TypePersonsYear

 Filter:                 

Articles (113)

Brass, Stefan and Dix, Jürgen and Przymusinski, Teodor: Computation of the Semantics of Autoepistemic Belief Theories, Artificial Intelligence, Volume 112, 1999

Dix, Jürgen and Osorio, Mauricio: Confluent Rewriting Systems in Non-monotonic Reasoning, Computacion y Sistemas, Volume II, 1999

Hammer, B.: On the learnability of recursive data, Mathematics of Control, Signals and Systems, Volume 12, 1999

Baumgartner, P. and Dahn, I. and Dix, J. and Furbach, U. and Kühn, M. and Stolzenburg, F. and Thomas, B.: Automated Deduction: A technological point of view, KI, Volume 4, 1998

Brass, Stefan and Dix, Jürgen: Characterizations of the Disjunctive Well-founded Semantics: Confluent Calculi and Iterated GCWA, Journal of Automated Reasoning, Volume 20, 1998

Dix, Jürgen: The Logic Programming Paradigm, AI Communications, Volume 11, 1998

Dix, Jürgen and Stolzenburg, Frieder: A Framework to incorporate Nonmonotonic Reasoning into Constraint Logic Programming, Journal of Logic Programming, Volume 37, Elsevier, 1998

Aravindan, Chandrabose and Dix, Jürgen and Niemelä, Ilkka: DisLoP: A Research Project on Disjunctive Logic Programming, AI Communications, Volume 10, 1997

Brass, Stefan and Dix, Jürgen: Characterizations of the Disjunctive Stable Semantics by Partial Evaluation, Journal of Logic Programming, Volume 32, Elsevier, 1997

Baumgartner, P. and Dix, J. and Furbach, U. and Schäfer, D. and Stolzenburg, F.: Deduktion und Logisches Programmieren, KI, Volume 2, 1996

Results 91 - 100 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