Sciweavers

1087 search results - page 37 / 218
» Exploiting Description Logic Reasoners in Inductive Logic
Sort
View
CORR
2000
Springer
106views Education» more  CORR 2000»
15 years 6 months ago
Practical Reasoning for Very Expressive Description Logics
Ian Horrocks, Ulrike Sattler, Stephan Tobies
CSL
2008
Springer
15 years 8 months ago
The Descriptive Complexity of Parity Games
We study the logical definablity of the winning regions of parity games. For games with a bounded number of priorities, it is wellknown that the winning regions are definable in th...
Anuj Dawar, Erich Grädel
TFS
2011
194views Education» more  TFS 2011»
15 years 1 months ago
Top-Down Induction of Fuzzy Pattern Trees
Fuzzy pattern tree induction was recently introduced as a novel machine learning method for classification. Roughly speaking, a pattern tree is a hierarchical, tree-like structur...
R. Senge, Eyke Hüllermeier
DLOG
2010
15 years 4 months ago
Paraconsistent Description Logics Revisited
Abstract. Inconsistency handling is of growing importance in Knowledge Representation since inconsistencies may frequently occur in an open world. Paraconsistent (or inconsistency-...
Norihiro Kamide

Book
1569views
17 years 6 months ago
Introduction to Logic
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
Micha l Walicki