3891 search results - page 27 / 779 » A logic for strategic reasoning |
LICS
1997
IEEE
13 years 11 months ago
1997
IEEE
DLOG
2007
13 years 10 months ago
2007
DLOG
2007
13 years 10 months ago
2007
Possibilistic logic provides a convenient tool for dealing with inconsistency and handling uncertainty. In this paper, we propose possibilistic description logics (DLs) as an exten...
ERSA
2010
13 years 5 months ago
2010
Abstract--Modeling environments and performance prediction boost application productivity, but often lack integration into an efficient and comprehensive approach to strategic desi...
CADE
2001
Springer
14 years 8 months ago
2001
Springer
RACER implements a TBox and ABox reasoner for the logic SHIQ. RACER was the first full-fledged ABox description logic system for a very expressive logic and is based on optimized s...