Explicit and implicit indeterminism reasoning about uncertain and contradictory specifications of dynamic systems

DOI10.1016/S0743-1066(96)00124-0zbMath0883.68024OpenAlexW2095567847MaRDI QIDQ4352532

Michael Thielscher, Sven-Erik Bornscheuer

Publication date: 23 October 1997

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0743-1066(96)00124-0

zbMATH Keywords

dynamic systemshigh-level action semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (3)

Ramification and causality ⋮ Reasoning about actions: steady versus stabilizing state constraints ⋮ Let's plan it deductively!

This page was built for publication: Explicit and implicit indeterminism reasoning about uncertain and contradictory specifications of dynamic systems