Sciweavers

1391 search results - page 9 / 279
» Knowledge Retrieval (KR)
Sort
View
KR
2010
Springer
15 years 3 months ago
Finding Explanations of Inconsistency in Multi-Context Systems
We provide two approaches for explaining inconsistency in multi-context systems, where decentralized and heterogeneous system parts interact via nonmonotonic bridge rules. Inconsi...
Thomas Eiter, Michael Fink, Peter Schüller, A...
KR
2010
Springer
15 years 3 months ago
Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough
Cardinality constraints or, more generally, weight constraints are well recognized as an important extension of answer-set programming. Clearly, all common algorithmic tasks relat...
Reinhard Pichler, Stefan Rümmele, Stefan Szei...
KR
1989
Springer
15 years 3 months ago
What the Lottery Paradox Tells Us About Default Reasoning
In this paper I argue that we do not understand the process of default reasoning. A number of examples are given which serve to distinguish di erent default reasoning systems. It ...
David Poole
VL
2007
IEEE
104views Visual Languages» more  VL 2007»
15 years 5 months ago
A Peirce Style Calculus for ALC
Description logics (DLs) are a well-understood family of knowledge representation (KR) languages. The notation of DLs has the flavour of a variable-free first order predicate lo...
Frithjof Dau, Peter W. Eklund
IJCAI
2007
15 years 16 days ago
Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive Conditioning
P-log is a probabilistic logic programming language, which combines both logic programming style knowledge representation and probabilistic reasoning. In earlier papers various ad...
Chitta Baral, Matt Hunsaker