2303 search results - page 328 / 461 » On the logic of argumentation theory |
152
click to vote
IFIP
2005
Springer
15 years 12 months ago
2005
Springer
We present a method for trust scenarios with more than one trustee, where sets of trustees are ordered in a relation of relative trustworthiness. We show how a priority structure i...
174
click to vote
TABLEAUX
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents the planning system Pdk (Planning with Domain Knowledge), based on the translation of planning problems into Linear Time Logic theories, in such a way that fin...
168
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
This paper constructs a logic of soft constraints where the set of degrees of preference forms a partially ordered set. When the partially ordered set is a distributive lattice, th...
146
click to vote
ICAISC
2004
Springer
15 years 12 months ago
2004
Springer
Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns ...
194
click to vote
RSCTC
2004
Springer
15 years 11 months ago
2004
Springer
The combination of fuzzy set and rough set theories lead to various models. Functional and set approaches are two categories based on different fuzzy representations. In this pape...