AI
2004
Springer
14 years 10 days ago
2004
Springer
Most logic-based AI research works at a meta-theoretical level, producing new logics and studying their properties. Little effort is made to show how these logics can be used to f...