A Fully Abstract Semantics for Constructor Systems.

Francisco Javier López-Fraguas Juan Rodríguez-Hortalá Jaime Sánchez-Hernández

Published in: RTA (2009)

Keyphrases

real time
complex systems
learning systems
building blocks
object oriented
formal semantics
knowledge based systems
distributed systems
expert systems
website
artificial intelligence
management system
multi agent
intelligent systems
high level
information systems
semantic information
data sets