Title
A Logical Framework for Graph Theoretical Decision Tree Learning
Abstract
. We present a logical approach to graph theoretical learningthat is based on using alphabetic substitutions for modelling graphmorphisms. A classified graph is represented by a definite clause thatpossesses variables of the sort node for representing nodes and atoms forrepresenting the edges. In contrast to the standard logical semantics, differentnode variables are assumed to denote different objects. The use ofan alphabetical subsumption relation (ff-subsumption) implies that...
Year
DOI
Venue
1997
10.1007/3540635149_46
ILP
Keywords
Field
DocType
logical framework,graph theoretical decision tree,decision tree learning
Decision tree,Definite clause grammar,Computer science,Theoretical computer science,Artificial intelligence,ID3 algorithm,Logical framework,Graph theory,Inductive logic programming,Discrete mathematics,Tree decomposition,Machine learning,Decision tree learning
Conference
ISBN
Citations 
PageRank 
3-540-63514-9
7
0.50
References 
Authors
10
2
Name
Order
Citations
PageRank
Peter Geibel128626.62
Fritz Wysotzki245645.46