scientific article; zbMATH DE number 1104356
From MaRDI portal
Publication:4370231
zbMath0902.68180MaRDI QIDQ4370231
Publication date: 14 January 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Horn clausesactive learninglearning from entailmentleast general generalizationacyclic constrained Horn programsfirst-order Horn sentencepolynomial time learning algorithm
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (10)
Learning elementary formal systems with queries. ⋮ Complexity parameters for first order classes ⋮ Learning logic programs with structured background knowledge ⋮ Polynomial certificates for propositional classes ⋮ Unnamed Item ⋮ Polynomial-time learnability of logic programs with local variables from entailment ⋮ Learning closed Horn expressions ⋮ Prediction-hardness of acyclic conjunctive queries ⋮ The subsumption lattice and query learning ⋮ Hypothesis finding with proof theoretical appropriateness criteria
This page was built for publication: