-
29Extensions of Logic Programming: 5th International Workshop, Elp '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings (review)Springer Verlag. 1996.A major strategy to reduce transport congestion and other social costs of transport is to ensure that travellers make the best decisions, based on real time information. A wide range of technological systems have been developed to provide this information, but little is known about how travellers actually respond to it. This book offers an overview of various transport telematics options and provides an appropriate methodological framework, followed by a presentation of results from actual appli…Read more
-
86Generalized compactness of nonmonotonic inference operationsJournal of Applied Non-Classical Logics 5 (1): 121-135. 1995.The aim of the present paper is to analyse compactness properties of nonmonotonic inference operations within the framework of model theory. For this purpose the concepts of a deductive frame and its semantical counterpart, a semantical frame are introduced. Compactness properties play a fundamental in the study of non-monotonic inference, and in the paper several new versions of compactness are studied.
-
61Die Entscheidbarkeit der Elementaren Theorie der n‐Separierten Symmetrischen Graphen Endlicher ValenzMathematical Logic Quarterly 18 (16‐18): 249-254. 1972.
-
55The ontology of mereological systems: A logical approachIn Roberto Poli & Johanna Seibt (eds.), Theory and Applications of Ontology: Philosophical Perspectives, Springer Verlag. pp. 57--82. 2010.
-
39Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang-QuantorZeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (19-24): 345-358. 1979.
-
63Interpretierbarkeit und Entscheidbarkeit in der Graphentheorie IIZeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (25-30): 457-480. 1972.
-
Universität LeipzigRegular Faculty
Leipzig, Saxony, Germany