9145 search results - page 405 / 1829 » Description Logic Systems |
159
click to vote
AUSAI
2003
Springer
16 years 2 days ago
2003
Springer
Most of the theories on formalising intention interpret it as a unary modal operator in Kripkean semantics, which gives it a monotonic look. We argue that policy-based intentions [...
238
click to vote
TACS
2001
Springer
15 years 11 months ago
2001
Springer
We present a logic that can express properties of freshness, secrecy, structure, and behavior of concurrent systems. In addition to standard logical and temporal operators, our lo...
204
click to vote
DEON
2010
Springer
15 years 7 months ago
2010
Springer
The aim of the present paper is to provide a metalogical systematisation in the area of deontic action logic based on Boolean algebra. Differences among the systems in question lie...
165
click to vote
FSS
2010
15 years 4 months ago
2010
CADIAG-2 is a successful expert system assisting in the differential diagnosis in internal medicine. With its aid, conjectures about present diseases are derived from possibly vag...
163
click to vote
ATAL
2005
Springer
16 years 12 days ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...