Volker Sperschneider

According to our database, Volker Sperschneider authored at least 15 papers between 1982 and 1998.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1998

Operational Concepts of Nonmonotonic Logics Part 2: Autoepistemic Logic.

Grigoris Antoniou, Volker Sperschneider

Artif. Intell. Rev., 1998

1996

Theoretische Informatik - eine problemorientierte Einführung.

Volker Sperschneider, Barbara Hammer

Springer-Lehrbuch, Springer, ISBN: 978-3-540-60860-8, 1996

1994

New Proofs in Default Logic Theory.

Grigoris Antoniou, Elmar Langetepe, Volker Sperschneider

Ann. Math. Artif. Intell., 1994

Operational Concepts of Nonmonotonic Logics, Part 1: Default Logic.

Grigoris Antoniou, Volker Sperschneider

Artif. Intell. Rev., 1994

1993

Computing Extensions of Nonmonotonic Logics.

Grigoris Antoniou, Volker Sperschneider

Proceedings of the Fourth Scandinavian Conference on Artificial Intelligence, 1993

Computing Extensions of Default Logic - Preliminary Report.

Grigoris Antoniou, Elmar Langetepe, Volker Sperschneider

Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993

On the Verification of Modular Logical Knowledge Bases.

Grigoris Antoniou, Volker Sperschneider

Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, 1993

1992

Modularity for Logic Programs.

Grigoris Antoniou, Volker Sperschneider

Proceedings of the ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March, 1992

1991

Logic - a foundation for computer science.

Volker Sperschneider, Grigoris Antoniou

International Computer Science Series, Addison-Wesley, ISBN: 978-0-201-56514-0, 1991

1989

On the Verification of Modules.

Grigoris Antoniou, Volker Sperschneider

Proceedings of the CSL '89, 1989

1987

First Steps towards a Theory of Complexity over more General Data Structures.

Volker Sperschneider

Proceedings of the Computation Theory and Logic, In Memory of Dieter Rödding, 1987

1983

The length-problem.

Volker Sperschneider

Proceedings of the Logic and Machines: Decision Problems and Complexity, 1983

Recursively enumerable extensions of R₁ by finite functions.

Wolfgang Menzel, Volker Sperschneider

Proceedings of the Logic and Machines: Decision Problems and Complexity, 1983

1982

Universal Automata with Uniform Bounds on Simulation Time

Wolfgang Menzel, Volker Sperschneider

Inf. Control., January, 1982

Embedding Properties of Total Recursive Functions.

Winfried Maier, Wolfgang Menzel, Volker Sperschneider

Math. Log. Q., 1982