Logical systems for structured specifications.

Tomasz Borzyszkowski

Published in: Theor. Comput. Sci. (2002)

Keyphrases

complex systems
learning systems
management system
machine learning
high level
multi agent
logic programs
computing systems
finite state machines