2585 search results - page 108 / 517 » Automating Coherent Logic |
CADE
2003
Springer
14 years 10 months ago
2003
Springer
CADE
2002
Springer
14 years 10 months ago
2002
Springer
TIME
2009
IEEE
14 years 4 months ago
2009
IEEE
TARK
2009
Springer
14 years 4 months ago
2009
Springer
We introduce a logic designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent prefere...
LPNMR
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In this paper, we present a logic R for rule bases by introducing a set of rule connectives. We define both the models and extensions of a rule base. The semantics of ex...