528 search results - page 87 / 106 » Epistemic Logic and Planning |
DALT
2005
Springer
14 years 1 months ago
2005
Springer
Developing applications that make effective use of machine-readable knowledge sources as promised by the Semantic Web vision is attracting much of current research interest; this v...
GECCO
2005
Springer
14 years 1 months ago
2005
Springer
A fuzzy logic algorithm has been developed that automatically allocates electronic attack (EA) resources distributed over different platforms in real-time. The controller must be ...
AIED
2007
Springer
14 years 1 months ago
2007
Springer
Building effective learning environments is an art that can only be perfected by a great deal of explorations involving the environments’ audience: the learners. This paper focus...
BIRTHDAY
2005
Springer
14 years 1 months ago
2005
Springer
Propositional reasoning (SAT) is an essential part of many reasoning tasks. Many problems in computer science can be compiled to SAT and then effectively decided using state-of-th...
EUC
2005
Springer
14 years 1 months ago
2005
Springer
Algorithms that process geometric objects become more and more important for many safety-critical embedded systems, e.g. for motion planning or collision detection, where correctne...