Publications

Found 2 results
Author Title Type [ Year(Asc)]
Filters: Author is Michael Thielscher and Keyword is Logic Programming  [Clear All Filters]
1996
Bornscheuer, S-E., & Thielscher M. (1996).  Explicit and Implicit Indeterminism: Reasoning About Uncertain and Contradictory Specifications of Dynamic Systems.
Thielscher, M. (1996).  Ramification and Causality.