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, Bibliographie

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, Bibliographie

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, Bibliographie