STOPA: A STOchastic Process Algebra for the Formal Representation of Cognitive Systems.
Natalia LópezManuel NúñezFernando L. PelayoPublished in: IEEE ICCI (2004)
Keyphrases
- formal representation
- cognitive systems
- process algebra
- concurrent systems
- model checking
- formal specification
- asynchronous circuits
- knowledge representation
- complex environments
- formal methods
- cognitive processes
- web services composition
- cognitive science
- conceptual graphs
- artificial cognitive systems
- communication protocols
- autonomous agents
- knowledge base
- temporal logic
- distributed systems
- cooperative
- reverse engineering
- programming environment
- petri net
- learning process
- machine learning