3573 search results - page 135 / 715 » Reasoning about Codata |
149
Voted
DEON
2010
Springer
15 years 8 months ago
2010
Springer
The aim of this paper is to strengthen the point made by Horty about the relationship between reason holism and moral particularism. In the literature prima facie obligations have ...
110
Voted
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
We describe here a framework dedicated to studies and experimentations upon the nature of the relationships between the rational reasoning process of an artificial agent and its ps...
129
click to vote
AI
2010
Springer
15 years 3 months ago
2010
Springer
We develop a new automated reasoning technique for the situation calculus that can handle a class of queries containing universal quantication over situation terms. Although such ...
143
click to vote
KI
2005
Springer
15 years 9 months ago
2005
Springer
To reason about geographical objects, it is not only necessary to have more or less complete information about where these objects are located in space, but also how they can chang...
177
click to vote
ACL2
2006
ACM
15 years 9 months ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...