1941 search results - page 84 / 389 » Reasoning about Computations Using Two-Levels of Logic |
137
click to vote
KI
2002
Springer
15 years 2 months ago
2002
Springer
In the previous two decades, a number of qualitative constraint calculi have been developed, which are used to represent and reason about spatial configurations. A common property...
117
click to vote
AAAI
1990
15 years 4 months ago
1990
Closed world reasoning is a common nonmonotonic technique that allows for dealing with negative information in knowledge and data bases. We present a detailed analysis of the comp...
148
click to vote
IJCAI
2003
15 years 4 months ago
2003
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
130
click to vote
HYBRID
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
143
click to vote
NMELP
1994
15 years 7 months ago
1994
In this paper, we propose a new constructive characterization of those semantics for disjunctive logic programs which are extensions of the well-founded semantics for normal progra...