Formal analysis of trace conditioning.

Tibor Bosse Catholijn M. Jonker Sander A. Los Leendert W. N. van der Torre Jan Treur

Published in: Cogn. Syst. Res. (2007)

Keyphrases

formal analysis
agent model
formal methods
knowledge based systems
databases
database
database systems
lightweight