Sciweavers

420 search results - page 31 / 84
» Reasoning about Evolving Nonmonotonic Knowledge Bases
Sort
View
ERCIMDL
2000
Springer
127views Education» more  ERCIMDL 2000»
13 years 11 months ago
INDIGO - An Approach to Infrastructures for Digital Libraries
Abstract. In this paper INDIGO, an approach to infrastructures for digital libraries is presented. It fulfills two crucial requirements to digital libraries: scalability and the ab...
Christian Mönch
CEC
2007
IEEE
14 years 2 months ago
Target shape design optimization by evolving splines
Abstract— Target shape design optimization problem (TSDOP) is a miniature model for real world design optimization problems. It is proposed as a test bed to design and analyze op...
Pan Zhang, Xin Yao, Lei Jia, Bernhard Sendhoff, Th...
ECAI
2008
Springer
13 years 9 months ago
Rule-based OWL Ontology Reasoning Using Dynamic ABOX Entailments
In the rule-based OWL reasoning paradigm, ontologies are mapped into an internal rule engine representation format and rules are applied, such as TBOX and ABOX OWL entailment rules...
Georgios Meditskos, Nick Bassiliades
IJCAI
1989
13 years 8 months ago
Approximation Algorithms for Temporal Reasoning
We consider a representation for temporal relations between intervals introduced by James Allen, and its associated computational or reasoning problem: given possibly indefinite ...
Peter van Beek
GCSE
2001
Springer
14 years 4 days ago
Scenario-Based Generation and Evaluation of Software Architectures
Architecture conception is a difficult and time consuming process, requiring advanced skills from the software architect. The tasks of an architect are alleviated if means can be p...
Hans de Bruijn, Johannes C. van Vliet