Sven Lorenz Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys1994
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven Lorenz: A Tableaux Prover for Domain Minimization. J. Autom. Reasoning 13(3): 375-390 (1994)
1993
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Lingenfelder, Sven Lorenz: Knowledge-based security administration in a distributed environment. CASCON 1993: 648-660
1992
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven Lorenz: Presupposition, Anaphora, and Reasoning about Change. ECAI 1992: 533-537
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven Lorenz: Erfahrungen mit der Zeitontologie und -axiomatik. Ontologie und Axiomatik der Wissensbasis von LILOG 1992: 171-178
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven Lorenz: On the Role of Reasoning about Change in the Projection of Presuppositions IWBS Report 234: (1992)
1991
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven Lorenz: Nonmonotonic Temporal Reasoning: Persistence, Justified Causation and Event Minimization. ISMIS 1991: 540-549
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToni Bollinger, Sven Lorenz, Udo Pletat: The LILOG Inference Engine. Text Understanding in LILOG 1991: 402-427
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSven Lorenz: Persistence and Justified Causation: Some Remarks on Nonmonotonic Temporal Reasoning IWBS Report 179: (1991)

Coauthor Index

1Toni Bollinger [2]
2Christoph Lingenfelder [7]
3Udo Pletat [2]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)