7988 search results - page 272 / 1598 » A Useful Undecidable Theory |
104
click to vote
KR
2004
Springer
15 years 6 months ago
2004
Springer
This article presents a general framework for integrating reasoning about object structure and concept taxonomies. The structural relations in the domain of objects discussed are ...
121
click to vote
IWPC
2002
IEEE
15 years 5 months ago
2002
IEEE
Past research on software comprehension tools has produced a wealth of lessons in building good tools. However our explanations of these tools tends to be weakly grounded in exist...
103
click to vote
CAV
2006
Springer
15 years 4 months ago
2006
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...
109
click to vote
FSTTCS
2000
Springer
15 years 4 months ago
2000
Springer
We present a framework for decision making under uncertainty where the priorities of the alternatives can depend on the situation at hand. We design a logic-programming language, D...
AAAI
2007
15 years 3 months ago
2007
We develop a formal theory of mereology that includes relations that change over time. We show how this theory formalizes reasoning over domains of material objects, which include...