Sciweavers

3970 search results - page 82 / 794
» A Logic For Causal Reasoning
Sort
View
ESWS
2010
Springer
14 years 17 days 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
13 years 10 months 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 12 days ago
System Description: H-PILoT
Carsten Ihlemann, Viorica Sofronie-Stokkermans
CADE
2001
Springer
14 years 8 days ago
On the Evaluation of Indexing Techniques for Theorem Proving
Robert Nieuwenhuis, Thomas Hillenbrand, Alexandre ...