528 search results - page 87 / 106 » Epistemic Logic and Planning |
190
click to vote
DALT
2005
Springer
15 years 11 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...
189
click to vote
GECCO
2005
Springer
15 years 11 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 ...
134
click to vote
AIED
2007
Springer
16 years 8 days 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...
178
Voted
BIRTHDAY
2005
Springer
15 years 11 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...
150
click to vote
EUC
2005
Springer
15 years 11 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...