1941 search results - page 51 / 389 » Reasoning about Computations Using Two-Levels of Logic |
109
click to vote
DEON
2004
Springer
15 years 7 months ago
2004
Springer
We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of agency, intention and obligation. We argue about the defeasible nature of thes...
156
click to vote
CADE
1998
Springer
15 years 6 months ago
1998
Springer
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...
142
click to vote
IUI
2006
ACM
15 years 8 months ago
2006
ACM
Networked appliances can simplify our lives, but interacting with them can be difficult in itself. KitchenSense is an early prototype of a networked kitchen full of sensors that u...
146
click to vote
KR
1994
Springer
15 years 6 months ago
1994
Springer
We present a logic for representing and reasoning with qualitative statements of preference and normality and describe how these may interact in decision making under uncertainty....
128
click to vote
AAAI
1993
15 years 3 months ago
1993
Applications of fuzzy logic in heuristic control have been highly successful, but which aspects of fuzzy logic are essential to its practical usefulness? This paper shows that an ...