3573 search results - page 501 / 715 » Reasoning about Codata |
152
Voted
JELIA
1998
Springer
15 years 9 months ago
1998
Springer
Successor state axioms are an optimal solution to the famous Frame Problem in reasoning about actions--but only as far as its representational aspect is concerned. We show how by g...
138
Voted
KDD
1998
ACM
15 years 9 months ago
1998
ACM
An important issue in data mining is the recognition of complex dependencies between attributes. Past techniques for identifying attribute dependence include correlation coefficie...
187
click to vote
KI
1998
Springer
15 years 9 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...
186
Voted
IUI
1997
ACM
15 years 9 months ago
1997
ACM
Most classification tasks that have been tackled for automation are ones involving complex chains of causal reasoning. However, our daily lives are filled with simple classificati...
173
click to vote
AGP
1996
IEEE
15 years 9 months ago
1996
IEEE
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...