Sciweavers

5506 search results - page 687 / 1102
» Minimal Logic Programs
Sort
View
148
Voted
DLOG
2008
15 years 9 months ago
Planning of Axiom Absorption
Absorptions are generally employed in Description Logics (DL) reasoners in a uniform way regardless of the structure of an input knowledge base. In this paper we present an approac...
Jiewen Wu, Volker Haarslev
171
Voted
AI
2006
Springer
15 years 8 months ago
A Smart Home Agent for Plan Recognition
Assistance to people suffering from cognitive deficiencies in a smart home raises complex issues. Plan recognition is one of them. We propose a formal framework for the recognition...
Bruno Bouchard, Sylvain Giroux, Abdenour Bouzouane
EWCBR
2008
Springer
15 years 8 months ago
Conservative Adaptation in Metric Spaces
Conservative adaptation consists in a minimal change on a source case to be consistent with the target case, given the domain knowledge. It has been formalised in a previous work t...
Julien Cojan, Jean Lieber
SIROCCO
2001
15 years 8 months ago
Cycle Covering
This paper considers the design of a survivable WDM network based on covering the initial network with sub-networks, which are protected independently from each other. We focus on...
Jean-Claude Bermond, Lilian Chacon, David Coudert,...
TREC
2003
15 years 8 months ago
AnswerFinder in TREC 2003
In this our first participation in TREC we have focused on the passage task of the question answering track. The main aim of our participation was to test the impact of various t...
Diego Mollá Aliod