1997

Bornscheuer, S.-E. ; Thielscher, (1997):
Explicit and implicit indeterminism: reasoning about uncertain and contradictory specifications of dynamic systems.
In: Journal of logic programming. 31 (1997), S. 119-155, [Article]

1996

Bornscheuer, S.-E. (1996):
Representing concurrent actions and solving conflicts.
In: Journal of the Interest Group in Pure and Applied Logics. 4 (1996), 3, S. 355-368, [Article]

Bornscheuer, S.-E. (1996):
Representing concurrent actions and solving conflicts.
In: Journal of the Interest Group in Pure and Applied Logics. 4 (1996), 3, S. 355-368, [Article]