Explicit and Implicit Indeterminism: Reasoning about uncertain and contradictory specifications of dynamic systems

Sven-Erik BornscheuerSven-Erik Bornscheuer, Michael ThielscherMichael Thielscher

Sven-Erik Bornscheuer, Michael Thielscher
Explicit and Implicit Indeterminism: Reasoning about uncertain and contradictory specifications of dynamic systems
JPL, 31(1--3):115-119, 1997

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@article{BT1997,
  author  = {Sven-Erik Bornscheuer and Michael Thielscher},
  title   = {Explicit and Implicit Indeterminism: Reasoning about uncertain and
             contradictory specifications of dynamic systems},
  journal = {JPL},
  volume  = {31},
  number  = {1--3},
  year    = {1997},
  pages   = {115-119}
}