Sciweavers

85
Voted
IJIS
2002
79views more  IJIS 2002»
15 years 3 days 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