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) |