e CIG: Technical Reports


Technical Reports

TypePersonsYear

 Filter:                 

Technical Reports (121)

Brass, Stefan and Dix, Jürgen and Przymusinski, Teodor. C.: Characterizations and Implementation of Static Semantics of Disjunctive Programs, 1996

Brewka, Gerhard and Dix, Jürgen: Knowledge Representation with Logic Programs, 1996

Brewka, Gerhard and Dix, Jürgen: Generalized Logic Programs and their use in Knowledge Representation: An introductory course, 1996

Dix, J. and Pereira, L. and Przymusinski, T.: Proceedings of Non-Monotonic Extensions of Logic Programming, 1996

Dix, Jürgen and Loveland, Donald and Minker, Jack and Warren, David. S.: Disjunctive Logic Programming and Databases: Nonmonotonic Aspects, 1996

Hammer, B.: Universal approximation of mappings on structured objects using the folding architecture, 1996

Brass, Stefan and Dix, Jürgen: D-WFS: A Confluent Calculus and an Equivalent Characterization, 1995

Dix, J.: Disjunctive Deductive Databases: Theoetical Foundations and Operational Semantics, 1995

Dold, Axel: Ginsberg's Bilattices and Nonmonotonic Consequence Operations, 1992

Fuchss, Thomas: Bilattices and their Application to Semantics of Logic Programs, 1992

Results 101 - 110 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