Inductive logic programming by instance patterns - Liu, Chongbing; Pontelli, Enrico (Lecture notes in computer science, 2007)
Keywords: Applied sciences; Computer science; control theory; systems; Computing methodologies; Computing methodologies -- Artificial intelligence; Computing methodologies -- Artificial intelligence -- Knowledge representation and reasoning; Computing methodologies -- Artificial intelligence -- Knowledge representation and reasoning -- Logic programming and answer set programming; Computing methodologies -- Machine learning; Concept Instance; Exact sciences and technology; Inductive Logic Programming; Patterns; Programming languages; Software; Theory of computation; Theory of computation -- Logic; Theory of computation -- Logic -- Constraint and logic programming; concept instance; patterns; inductive logic programming; Concept learning; Declarative language; Programming language; Theorem proving; Bottom up method; Top down method; Test coverage; Proof theory; Inductive logic programming