Volker Sperschneider

15 papers B 2Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
1998 J jnl
Operational Concepts of Nonmonotonic Logics Part 2: Autoepistemic Logic.
Artif. Intell. Rev.
Grigoris Antoniou, Volker Sperschneider
1996 — book
Theoretische Informatik - eine problemorientierte Einführung.
Volker Sperschneider, Barbara Hammer
1994 J jnl
New Proofs in Default Logic Theory.
Ann. Math. Artif. Intell.
Grigoris Antoniou, Elmar Langetepe, Volker Sperschneider
1994 J jnl
Operational Concepts of Nonmonotonic Logics, Part 1: Default Logic.
Artif. Intell. Rev.
Grigoris Antoniou, Volker Sperschneider
1993 B conf
Computing Extensions of Default Logic - Preliminary Report.
LPAR
Grigoris Antoniou, Elmar Langetepe, Volker Sperschneider
1993 — conf
Computing Extensions of Nonmonotonic Logics.
SCAI
Grigoris Antoniou, Volker Sperschneider
1993 — conf
On the Verification of Modular Logical Knowledge Bases.
EUROVAV
Grigoris Antoniou, Volker Sperschneider
1992 — conf
Modularity for Logic Programs.
ALPUK
Grigoris Antoniou, Volker Sperschneider
1991 — book
Logic - a foundation for computer science.
Volker Sperschneider, Grigoris Antoniou
1989 B conf
On the Verification of Modules.
CSL
Grigoris Antoniou, Volker Sperschneider
1987 — conf
First Steps towards a Theory of Complexity over more General Data Structures.
Computation Theory and Logic
Volker Sperschneider
1983 — conf
Recursively enumerable extensions of R
Logic and Machines
Wolfgang Menzel, Volker Sperschneider
1983 — conf
The length-problem.
Logic and Machines
Volker Sperschneider
1982 J jnl
Embedding Properties of Total Recursive Functions.
Math. Log. Q.
Winfried Maier, Wolfgang Menzel, Volker Sperschneider
1982 J jnl
Universal Automata with Uniform Bounds on Simulation Time
Inf. Control.
Wolfgang Menzel, Volker Sperschneider