 | 1994 |
|---|
| 8 |       | Sven Lorenz:
A Tableaux Prover for Domain Minimization.
J. Autom. Reasoning 13(3): 375-390 (1994) |
| 1993 |
|---|
| 7 |  | 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) |
