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