Angluin learning via logic

DOI10.1007/978-3-319-72056-2_5zbMATH Open1503.68083OpenAlexW2770408798MaRDI QIDQ1709690FDOQ1709690

Authors: Simone Barlocco, Clemens Kupke 

Publication date: 6 April 2018

Full work available at URL: https://strathprints.strath.ac.uk/63273/

Recommendations

• Learning language in logic
• scientific article; zbMATH DE number 1926647
• Logic and learning
• scientific article; zbMATH DE number 1368935
• Learning languages with decidable hypotheses
• Insights to Angluin's learning
• A logic for natural language

zbMATH Keywords

coalgebramodal logicautomata learning

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Computational learning theory (68Q32) Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30)

Cited In (3)

• Learning pomset automata
• A modal logic for supervised learning
• Coalgebraic logics \& duality

This page was built for publication: Angluin learning via logic

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