Unifying logic, topology and learning in parametric logic

DOI10.1016/J.TCS.2005.10.018MaRDI QIDQ817837zbMATH OpenOpenAlexFDO

Authors A. K. Sharma, Frank Stephan, Éric Martin

Publication date 20 March 2006

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2005.10.018

zbMATH Keywords

inductive inferenceinductive logicBorel and difference hierarchiesweak forms of compactness

Mathematics Subject Classification ID

Computational learning theory (68Q32) Abstract deductive systems (03B22) Descriptive set theory (03E15)

Recommendations

• scientific article; zbMATH DE number 1966621
• Nonmonotonicity in the framework of parametric logic
• scientific article; zbMATH DE number 2084839
• Two Episodes in the Unification of Logic and Topology
• A dynamic logic for learning theory

Cites work

• scientific article; zbMATH DE number 1670728 (Why is no real title available?)
• scientific article; zbMATH DE number 3136643 (Why is no real title available?)
• scientific article; zbMATH DE number 1233702 (Why is no real title available?)
• scientific article; zbMATH DE number 708499 (Why is no real title available?)
• scientific article; zbMATH DE number 2084839 (Why is no real title available?)
• scientific article; zbMATH DE number 2090531 (Why is no real title available?)
• scientific article; zbMATH DE number 1416102 (Why is no real title available?)
• scientific article; zbMATH DE number 3304039 (Why is no real title available?)
• scientific article; zbMATH DE number 3342830 (Why is no real title available?)
• scientific article; zbMATH DE number 3356755 (Why is no real title available?)
• Classical recursion theory. Vol. II
• Classification using information
• Elementary formal systems, intrinsic complexity, and procrastination
• Foundations of inductive logic programming
• Inductive inference of formal languages from positive data
• Language identification in the limit
• On one-sided versus two-sided classification
• On the role of procrastination in machine learning
• Ordinal mind change complexity of language identification
• Topology and descriptive set theory

Cited in

(9)

• scientific article; zbMATH DE number 2084839 (Why is no real title available?)
• Deduction, induction, and beyond in parametric logic
• Topological properties of concept spaces (full version)
• Learning algebraic structures with the help of Borel equivalence relations
• Two Episodes in the Unification of Logic and Topology
• Realism, rhetoric, and reliability
• Topological Properties of Concept Spaces
• scientific article; zbMATH DE number 1966621 (Why is no real title available?)
• Nonmonotonicity in the framework of parametric logic

This page was built for publication: Unifying logic, topology and learning in parametric logic

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