Sciweavers

5818 search results - page 251 / 1164
» A reasonable Semantic Web
Sort
View
ASP
2001
Springer
15 years 11 months ago
Genes and Ants for Default Logic
Default Logic and Logic Programming with stable model semantics are recognized as powerful frameworks for incomplete information representation. Their expressive power are suitabl...
Pascal Nicolas, Frédéric Saubion, Ig...
CIMCA
2005
IEEE
16 years 25 days ago
A Metadata Registry For Community Driven E-Learning Sites
We present the architecture and the interface of a metadata registry for a large e-learning site. The metadata registry is very simple to integrate by content and application prov...
Valentin Zacharias
KI
1999
Springer
15 years 11 months ago
On the Translation of Qualitative Spatial Reasoning Problems into Modal Logics
Among the formalisms for qualitative spatial reasoning, the Region Connection Calculus and its variant, the constraint algebra RCC8, have received particular attention recently. A...
Werner Nutt
LPKR
1997
Springer
15 years 11 months ago
Reasoning with Prioritized Defaults
The purpose of this paper is to investigate the methodology of reasoning with prioritized defaults in the language of logic programs under the answer set semantics. We present a do...
Michael Gelfond, Tran Cao Son
IFIP12
2004
15 years 8 months ago
Component Retrieval Using Conversational Case-Based Reasoning
: Component retrieval, about how to locate and identify appropriate components, is one of the major problems in component reuse. It becomes more critical as more reusable component...
Mingyang Gu, Agnar Aamodt, Xin Tong