Sciweavers

IJIS
2002
79views more  IJIS 2002»
13 years 11 months ago
Formal semantics of meta-level architectures: Dynamic control of reasoning
Meta-level architectures for dynamic control of reasoning processes are quite powerful. In the literature many applications in reasoning systems modelling complex tasks are descri...
Jan Treur