1
2
3

Über die Verifikation modularer Programme

by: Antoniou, Grigoris
1989
Osnabrück, Univ., 1989
Microfiche Thesis
4

TURBO PROLOG

by: Antoniou, Grigoris
Düsseldorf: DATA Becker, 1987
Book
5

Defeasible reasoning: A discussion of some intuitions

E-Article
6

Defeasible logic with dynamic priorities

E-Article
7

On the dynamics of default reasoning

E-Article
8

A tutorial on default logics

E-Article
9

Splitting Finite Default Theories: A Comparison of Two Approaches

E-Article
10

Splitting Finite Default Theories: A Comparison of Two Approaches

E-Article
11
12

Studying properties of classes of default logics

E-Article
13

Stratification for default logic variants

E-Article
14

Stratification for default logic variants

E-Article
15

Operational Concepts of Nonmonotonic Logics Part 2: Autoepistemic Logic

E-Article
16

A new methodology for teaching default reasoning

E-Article
17

Verification and correctness issues for nonmonotonic knowledge bases

E-Article
18

A Correct Logic Programming Computation of Default Logic Extensions

E-Article
19

Practical Reasoning: A comparative survey of default logic variants

E-Chapter
20

Lecture Notes in Computer Science: Priorities in Default Logic revisited

E-Chapter