Volker Sperschneider

Publication Activity (10 Years)

Years Active: 1982-1998
Publications (10 Years): 0

Publications

Grigoris Antoniou, Volker Sperschneider
Operational Concepts of Nonmonotonic Logics Part 2: Autoepistemic Logic. Artif. Intell. Rev. 12 (6) (1998)
Grigoris Antoniou, Volker Sperschneider
Operational Concepts of Nonmonotonic Logics, Part 1: Default Logic. Artif. Intell. Rev. 8 (1) (1994)
Grigoris Antoniou, Elmar Langetepe, Volker Sperschneider
New Proofs in Default Logic Theory. Ann. Math. Artif. Intell. 12 (3-4) (1994)
Grigoris Antoniou, Elmar Langetepe, Volker Sperschneider
Computing Extensions of Default Logic - Preliminary Report. LPAR (1993)
Grigoris Antoniou, Volker Sperschneider
On the Verification of Modular Logical Knowledge Bases. EUROVAV (1993)
Grigoris Antoniou, Volker Sperschneider
Computing Extensions of Nonmonotonic Logics. SCAI (1993)
Grigoris Antoniou, Volker Sperschneider
Modularity for Logic Programs. ALPUK (1992)
Grigoris Antoniou, Volker Sperschneider
On the Verification of Modules. CSL (1989)
Volker Sperschneider
First Steps towards a Theory of Complexity over more General Data Structures. Computation Theory and Logic (1987)
Volker Sperschneider
The length-problem. Logic and Machines (1983)
Wolfgang Menzel, Volker Sperschneider
by finite functions. Logic and Machines (1983)
Wolfgang Menzel, Volker Sperschneider
Universal Automata with Uniform Bounds on Simulation Time Inf. Control. 52 (1) (1982)
Winfried Maier, Wolfgang Menzel, Volker Sperschneider
Embedding Properties of Total Recursive Functions. Math. Log. Q. 28 (33-38) (1982)