236 search results - page 16 / 48 » Reasoning with Prioritized Defaults |
KI
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We study the integration of two prominent fields of logicbased AI: action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an ac...
ECSQARU
2007
Springer
14 years 1 months ago
2007
Springer
ICLP
2007
Springer
14 years 1 months ago
2007
Springer
PERCOM
2005
ACM
14 years 1 months ago
2005
ACM
We present a framework for utilizing context-awareness for classifying services. We also present a novel RDFbased model for context-aware reasoning in pervasive computing environm...
CORR
2000
Springer
13 years 7 months ago
2000
Springer
We revisit the issue of epistemological and semantic foundations for autoepistemic and default logics, two leading formalisms in nonmonotonic reasoning. We develop a general seman...