3146 search results - page 67 / 630 » Efficient Consequence Finding |
WM
2003
13 years 11 months ago
2003
: In this paper, we present an agent-based approach for the improvement of searching in an ontology-based knowledge management system. The system implements a libraryscenario in wh...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
There exist very lucid explanations of the combinatorial origins of rational and algebraic functions, in particular with respect to regular and context free languages. In the searc...
MLQ
2002
13 years 9 months ago
2002
In this paper a definition of n-valued system in the context of the algebraizable logics is proposed. We define and study the variety V3, showing that it is definitionally equivale...
CC
2009
Springer
13 years 7 months ago
2009
Springer
We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object prog...
ECAI
2000
Springer
14 years 2 months ago
2000
Springer
Dynamic planning concerns the planning and execution of actions in a dynamic, real world environment. Its goal is to take into account changes generated by unpredicted events occur...