Sciweavers

3527 search results - page 260 / 706
» Test Automation in Practice
Sort
View
PRICAI
2000
Springer
15 years 9 months ago
Trading Off Granularity against Complexity
The automated prediction of a user's interests and requirements is an area of interest to the Artificial Intelligence community. However, current predictive statistical approa...
Ingrid Zukerman, David W. Albrecht, Ann E. Nichols...
PLILP
1995
Springer
15 years 9 months ago
A Complete Narrowing Calculus for Higher-Order Functional Logic Programming
Abstract. Using higher-order functions is standard practice in functional programming, but most functional logic programming languages that have been described in the literature la...
Koichi Nakahara, Aart Middeldorp, Tetsuo Ida
DLOG
2007
15 years 8 months ago
Contextualization of a DL Knowledge Base
Abstract. In the paper we propose a method of structuring a knowledge base into hierarchically related contexts and present how this arrangement influences the structure of TBox a...
Krzysztof Goczyla, Wojciech Waloszek, Aleksander W...
DLOG
2008
15 years 8 months ago
All Elephants are Bigger than All Mice
Abstract. We investigate the concept product as an expressive feature for description logics (DLs). While this construct allows us to express an arguably very common and natural ty...
Sebastian Rudolph, Markus Krötzsch, Pascal Hi...
DLOG
2008
15 years 8 months ago
Rewriting Rules into SROIQ Axioms
Description Logics are a family of very expressive logics but some forms of knowledge are much more intuitive to formulate otherwise, say, as rules. Rules in DL can be dealt with t...
Francis Gasse, Ulrike Sattler, Volker Haarslev