3891 search results - page 482 / 779 » A logic for strategic reasoning |
101
click to vote
CAISE
2004
Springer
15 years 6 months ago
2004
Springer
tween documents. They should allow for an abstract representation of data which resembles the way they are actually perceived and used in the real world, thus shortening (with resp...
114
Voted
LOPSTR
2004
Springer
15 years 6 months ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
123
click to vote
IWPSE
2003
IEEE
15 years 6 months ago
2003
IEEE
The dependencies and interrelations between classes and modules affect the maintainability of object-oriented systems. It is therefore important to capture weaknesses of the softw...
140
click to vote
KI
1998
Springer
15 years 5 months ago
1998
Springer
The control of mobile robots acting autonomously in the real world is one of the long-term goals of the field of artificial intelligence. So far the field lacks methods bridging th...
85
Voted
IJCAI
2001
15 years 2 months ago
2001
The implementation of effective reasoning tools for deciding the satisfiability of Quantified Boolean Formulas (QBFs) is an important research issue in Artificial Intelligence. Ma...