3573 search results - page 71 / 715 » Reasoning about Codata |
116
click to vote
ICCBR
1995
Springer
15 years 6 months ago
1995
Springer
In this work, we are interested in how rational decision makers reason with and about reasons in a domain, practical ethics, where they appear to reason asons symbolically in terms...
108
Voted
AAAI
2007
15 years 5 months ago
2007
This paper presents a formalism to describe practical reasoning in terms of an Action-based Alternating Transition System (AATS). The starting point is a previously specified acc...
134
Voted
AAAI
1994
15 years 4 months ago
1994
The situation calculus is a popular technique for reasoning about action and change. However, its restriction to a firstorder syntax and pure deductive reasoning makes it unsuitab...
118
Voted
JURIX
2008
15 years 4 months ago
2008
The two main types of law are legislation and precedents. Both types have a corresponding reasoning pattern determining legal consequences: legislation can be applied and precedent...
114
Voted
LPAR
1999
Springer
15 years 6 months ago
1999
Springer
In this paper we explore the use of ellipsis in proofs about lists. We present a higher-order formulation of elliptic formulae, and describe its implementation in the λClam proof ...