Sciweavers

3776 search results - page 60 / 756
» Partition-Based Logical Reasoning
Sort
View
ESWS
2010
Springer
14 years 2 months ago
iSeM: Approximated Reasoning for Adaptive Hybrid Selection of Semantic Services
—We present an intelligent service matchmaker, called iSeM, for adaptive and hybrid semantic service selection that exploits the full semantic profile in terms of signature anno...
Matthias Klusch, Patrick Kapahnke
DLOG
2007
14 years 12 days ago
Automated Evaluation of Description Logic Reasoning Systems
Abstract. The DL implementation group (DIG) has specified a common interface for description logic reasoner. While the original intention was to make it easier for other tools to ...
Sebastian Wandelt
CADE
2009
Springer
14 years 2 months ago
System Description: H-PILoT
Carsten Ihlemann, Viorica Sofronie-Stokkermans
CADE
2001
Springer
14 years 2 months ago
On the Evaluation of Indexing Techniques for Theorem Proving
Robert Nieuwenhuis, Thomas Hillenbrand, Alexandre ...