A class of Prolog programs inferable from positive data

DOI10.1007/3-540-61863-5_52MaRDI QIDQ3556998zbMATH OpenOpenAlexFDO

Authors M. R. K. Krishna Rao

Publication date 27 April 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61863-5_52

Mathematics Subject Classification ID

Logic programming (68N17) Computational learning theory (68Q32)

Recommendations

• Some classes of Prolog programs inferable from positive data
• Algorithmic Learning Theory
• Algorithmic Learning Theory
• Some classes of term rewriting systems inferable from positive data
• Rich classes inferable from positive data: Length-bounded elementary formal systems

Cited in

(9)

• Rich classes inferable from positive data: Length-bounded elementary formal systems
• Some classes of Prolog programs inferable from positive data
• Mind change complexity of learning logic programs
• Incremental concept learning for bounded data mining.
• On a generalized notion of mistake bounds
• scientific article; zbMATH DE number 4160106 (Why is no real title available?)
• Algorithmic Learning Theory
• Algorithmic Learning Theory
• Some classes of term rewriting systems inferable from positive data

This page was built for publication: A class of Prolog programs inferable from positive data

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3556998)