Sciweavers

236 search results - page 16 / 48
» Reasoning with Prioritized Defaults
Sort
View
KI
2009
Springer
15 years 4 months ago
On Defaults in Action Theories
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...
Hannes Strass, Michael Thielscher
71
Voted
ECSQARU
2007
Springer
15 years 3 months ago
A Revised Qualitative Choice Logic for Handling Prioritized Preferences
Salem Benferhat, Karima Sedki
PERCOM
2005
ACM
15 years 3 months ago
RDF-Based Model for Context-Aware Reasoning in Rich Service Environment
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...
Jari Forstadius, Ora Lassila, Tapio Seppänen
87
Voted
CORR
2000
Springer
132views Education» more  CORR 2000»
14 years 9 months ago
Uniform semantic treatment of default and autoepistemic logics
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...
Marc Denecker, Victor W. Marek, Miroslaw Truszczyn...