1581 search results - page 52 / 317 » Mechanizing Inductive Reasoning |
100
Voted
CP
2005
Springer
15 years 8 months ago
2005
Springer
The aggregation of individuals’ preferences into a single group outcome is both well-studied and fundamental within decision theory. Historically, though, a pervasive simplifica...
111
click to vote
CADE
1994
Springer
15 years 6 months ago
1994
Springer
Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic acc...
112
click to vote
LICS
2008
IEEE
15 years 9 months ago
2008
IEEE
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as p...
123
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Agents in an organization need to coordinate their actions in order to reach the organizational goals. This research describes the relation between types of coordination and the au...
101
Voted
SEKE
1995
Springer
15 years 6 months ago
1995
Springer
This paper argues for new computational mechanisms to aid specification of requirements for composite systems. It presents mechanisms for storing specification fragments, or viewp...