Learning in logic with RichProlog

DOI10.1007/3-540-45619-8_17MaRDI QIDQ4812962zbMATH OpenFDO

Authors Éric Martin, Phuong Nguyen, Arun Sharma, Frank Stephan

Publication date 12 August 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2401/24010239.htm

Mathematics Subject Classification ID

Logic programming (68N17) Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• A general theory of deduction, induction, and learning
• Learning inference by induction
• Limiting resolution: From foundations to implementation
• Pac-learning non-recursive Prolog clauses
• Inductive logic programming

Cited in

(9)

• Nonmonotonicity in the framework of parametric logic
• Learning inference by induction
• scientific article; zbMATH DE number 1081141 (Why is no real title available?)
• Learning in rich representations: Inductive logic programming and computational scientific discovery
• A general theory of deduction, induction, and learning
• Limiting resolution: From foundations to implementation
• Learnability of simply-moded logic programs from entailment
• Robust logics
• Unifying logic, topology and learning in parametric logic

This page was built for publication: Learning in logic with RichProlog

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