Sciweavers

1087 search results - page 68 / 218
» Exploiting Description Logic Reasoners in Inductive Logic
Sort
View
CADE
2008
Springer
14 years 11 months ago
Automated Implicit Computational Complexity Analysis (System Description)
Recent studies have provided many characterisations of the class of polynomial time computable functions through term rewriting techniques. In this paper we describe a (fully autom...
Martin Avanzini, Georg Moser, Andreas Schnabl
LILOG
1989
15 years 1 months ago
Representation and Reasoning with Attributive Descriptions
This paper surveys terminological representation languages and feature-based unification grammars pointing out the similarities and differences between these two families of att...
Bernhard Nebel, Gert Smolka
DLOG
2006
14 years 11 months ago
On the Scalability of Description Logic Instance Retrieval
Abstract Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the onto...
Ralf Möller, Volker Haarslev, Michael Wessel
DLOG
2003
14 years 11 months ago
Status Report on Description Logics related Project in Korea
In this short position paper, the project of building intelligent business information infrastructure using semantic web, ontology, description logics, and other related knowledge...
Shinyoung Lim
COLT
1994
Springer
15 years 1 months ago
Bayesian Inductive Logic Programming
Inductive Logic Programming (ILP) involves the construction of first-order definite clause theories from examples and background knowledge. Unlike both traditional Machine Learnin...
Stephen Muggleton