Sciweavers

9 search results - page 1 / 2
» Preferential Semantics for Plausible Subsumption in Possibil...
Sort
View
KR
2010
Springer
13 years 9 months ago
Preferential Semantics for Plausible Subsumption in Possibility Theory
Handling exceptions in a knowledge-based system has been considered as an important issue in many domains of applications, such as medical domain. In this paper, we propose severa...
Guilin Qi, Zhizheng Zhang
JAPLL
2007
125views more  JAPLL 2007»
13 years 4 months ago
Preferential theory revision
Employing a logic program approach, this paper focuses on applying preferential reasoning to theory revision, both by means of preferences among existing theory rules, and by means...
Pierangelo Dell'Acqua, Luís Moniz Pereira
LICS
1999
IEEE
13 years 9 months ago
Plausibility Measures and Default Reasoning: An Overview
We introduce a new approach to modeling uncertainty based on plausibility measures. This approach is easily seen to generalize other approaches to modeling uncertainty, such as pr...
Joseph Y. Halpern, Nir Friedman
KR
2000
Springer
13 years 8 months ago
Reasoning with Axioms: Theory and Practice
When reasoning in description, modal or temporal logics it is often useful to consider axioms representing universal truths in the domain of discourse. Reasoning with respect to a...
Ian Horrocks, Stephan Tobies
LOGCOM
2002
142views more  LOGCOM 2002»
13 years 4 months ago
Two Logical Theories of Plan Recognition
We present a logical approach to plan recognition that builds on Kautz's theory of keyhole plan recognition, defined as the problem of inferring descriptions of high-level pl...
Wayne Wobcke