321 search results - page 8 / 65 » Logic and Choice |
167
Voted
CADE
2009
Springer
16 years 4 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
120
Voted
HICSS
1998
IEEE
15 years 8 months ago
1998
IEEE
Agreement is an important concept in group interaction, both for computermediated and face-to-face groups. This paper presents a measure of disagreement, D, for groups facing limi...
165
click to vote
CCA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In this paper we study a new approach to classify mathematical theorems according to their computational content. Basically, we are asking the question which theorems can...
117
Voted
RULEML
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We introduce the DR-CONTRACT architecture to represent and reason on e-Contracts. The architecture extends the DR-device architecture by a deontic defeasible logic of vio...
118
click to vote
ASP
2001
Springer
15 years 8 months ago
2001
Springer
In this paper we present a framework for logic programming agents to take part in games in such a way that stable models of the system, the ones agreed upon by all the members, co...