Publications

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