Login / Signup

Defining Actions in Concurrent Declarative Programming.

Rachid EchahedWendelin Serwe
Published in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
  • concurrent execution
  • declarative programming
  • concurrent actions
  • logic programs
  • decision theoretic
  • reasoning about actions
  • database
  • databases
  • np hard
  • situation calculus
  • temporally extended