Login / Signup

Algorithm for Decision Procedure in Temporal Logic Treating Uncertainty, Plausibility, Knowledge and Interacting Agents.

Vladimir V. Rybakov
Published in: Int. J. Intell. Inf. Technol. (2010)
Keyphrases
  • temporal logic
  • optimal solution
  • model checking
  • dynamic programming
  • interacting agents
  • knowledge base
  • cooperative
  • search space
  • np hard
  • dynamic environments
  • modal logic
  • automata theoretic