1997
DOI: 10.1007/3-540-63494-0_57
|View full text |Cite
|
Sign up to set email alerts
|

Efficient θ-subsumption based on graph algorithms

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
44
0

Year Published

1997
1997
2016
2016

Publication Types

Select...
5
5

Relationship

1
9

Authors

Journals

citations
Cited by 23 publications
(44 citation statements)
references
References 14 publications
0
44
0
Order By: Relevance
“…Scheffer et al [71] propose an improved implementation of k-locality, based on the construction of an intermediate data structure, the substitution graph . Along the same lines, Santos Costa et al .…”
Section: Exploiting Particular Clause Structuresmentioning
confidence: 99%
“…Scheffer et al [71] propose an improved implementation of k-locality, based on the construction of an intermediate data structure, the substitution graph . Along the same lines, Santos Costa et al .…”
Section: Exploiting Particular Clause Structuresmentioning
confidence: 99%
“…Since inductive logic programming involves several computationally hard problems (e.g., Scheffer, Herbrich, & Wysotzki, 1996), we have focused on the transformation-based RELAGGS algorithm (Krogel & Wrobel, 2001). It follows pioneering ILP approaches to transformation-based learning (Lavrac, Džeroski, & Grobelnik, 1991) and succeeding work (Kramer, Lavrač, & Flach, 2001) and combines propositionalization with SQL aggregation functions (Krogel & Wrobel, 2001;Knobbe, de Haas, & Siebes, 2001).…”
Section: Related Results and Lessons Learnedmentioning
confidence: 99%
“…Stateless checking of MatchPE(S, R) in iSeM 1.0 is adopted from LARKS [4]: Preconditions and effects specified as SWRL rules are translated into PROLOG as in [14] and then used to compute the required logical implications by means of θ -subsumption checking stateless, that is without any instances (ABox), as given in [15]:…”
Section: Stateless Logical Specification Matchingmentioning
confidence: 99%