3891 search results - page 169 / 779 » A logic for strategic reasoning |
153
click to vote
FSKD
2008
Springer
15 years 7 months ago
2008
Springer
Evidence theory has been widely applied to uncertain reasoning. However, the evidence space and hypothesis space are each defined as a fixed set. If the theory is applied to solve...
172
click to vote
AI
2004
Springer
15 years 6 months ago
2004
Springer
Most logic-based AI research works at a meta-theoretical level, producing new logics and studying their properties. Little effort is made to show how these logics can be used to f...
211
click to vote
EDBT
2002
ACM
16 years 6 months ago
2002
ACM
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precise...
161
click to vote
ICLA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We show that under the assumptions of Spectrum Exchangeability and Language Invariance the so called Only Rule, a principle of instantial relevance previously know for un...
150
click to vote
RULEML
2005
Springer
15 years 12 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...