519 search results - page 21 / 104 » Qualitative choice logic |
145
click to vote
DEON
2008
Springer
15 years 7 months ago
2008
Springer
The paper a discusses the interaction properties between preference and choice of coalitions in a strategic interaction. A language is presented to talk about the conflict between...
139
click to vote
DATE
2009
IEEE
16 years 24 days ago
2009
IEEE
This paper uses under-approximation of unreachable states of a design to derive incomplete specification of combinational logic. The resulting incompletely-specified functions are...
144
click to vote
RULEML
2005
Springer
15 years 11 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...
174
click to vote
FSS
2008
15 years 6 months ago
2008
In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has s...
153
click to vote
HICSS
2005
IEEE
15 years 11 months ago
2005
IEEE
Although initially developed as low-threshold tools to publish on-line, weblogs increasingly appear to facilitate conversations. The objective of this study is to identify practic...