Login / Signup

Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics.

Mercedes Hidalgo-HerreroAlberto VerdejoYolanda Ortega-Mallén
Published in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
  • conceptual model
  • neural network
  • case study
  • main contribution
  • theoretical framework
  • logical framework
  • real time
  • machine learning
  • search algorithm
  • multi agent systems
  • logic programming