| 1998 |
|---|
| 12 | | Grigoris Antoniou,
Volker Sperschneider:
Operational Concepts of Nonmonotonic Logics Part 2: Autoepistemic Logic.
Artif. Intell. Rev. 12(6): 431-443 (1998) |
| 1994 |
|---|
| 11 | | Grigoris Antoniou,
Elmar Langetepe,
Volker Sperschneider:
New Proofs in Default Logic Theory.
Ann. Math. Artif. Intell. 12(3-4): 215-229 (1994) |
| 10 | | Grigoris Antoniou,
Volker Sperschneider:
Operational Concepts of Nonmonotonic Logics, Part 1: Default Logic.
Artif. Intell. Rev. 8(1): 3-16 (1994) |
| 1993 |
|---|
| 9 | | Grigoris Antoniou,
Volker Sperschneider:
On the Verification of Modular Logical Knowledge Bases.
EUROVAV 1993: 117-128 |
| 8 | | Grigoris Antoniou,
Elmar Langetepe,
Volker Sperschneider:
Computing Extensions of Default Logic - Preliminary Report.
LPAR 1993: 19-27 |
| 7 | | Grigoris Antoniou,
Volker Sperschneider:
Computing Extensions of Nonmonotonic Logics.
SCAI 1993: 20-29 |
| 1992 |
|---|
| 6 | | Grigoris Antoniou,
Volker Sperschneider:
Modularity for Logic Programs.
ALPUK 1992: 97-107 |
| 1989 |
|---|
| 5 | | Grigoris Antoniou,
Volker Sperschneider:
On the Verification of Modules.
CSL 1989: 16-35 |
| 1987 |
|---|
| 4 | | Volker Sperschneider:
First Steps towards a Theory of Complexity over more General Data Structures.
Computation Theory and Logic 1987: 391-402 |
| 1983 |
|---|
| 3 | | Wolfgang Menzel,
Volker Sperschneider:
Recursively enumerable extensions of R1 by finite functions.
Logic and Machines 1983: 62-76 |
| 2 | | Volker Sperschneider:
The length-problem.
Logic and Machines 1983: 88-102 |
| 1982 |
|---|
| 1 | | Wolfgang Menzel,
Volker Sperschneider:
Universal Automata with Uniform Bounds on Simulation Time
Information and Control 52(1): 19-35 (1982) |
