Login / Signup

Superposition: Composition vs refinement of non-deterministic action-based systems.

Antónia LopesJosé Luiz Fiadeiro
Published in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
  • machine learning
  • distributed systems
  • real time
  • data sets
  • website
  • learning systems
  • database
  • search algorithm
  • multi agent systems
  • expert systems
  • evolutionary algorithm
  • state space
  • management system
  • theorem proving