Angluin learning via logic

DOI10.1007/978-3-319-72056-2_5zbMath1503.68083OpenAlexW2770408798MaRDI QIDQ1709690

Simone Barlocco, Clemens Kupke

Publication date: 6 April 2018

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

zbMATH Keywords

modal logiccoalgebraautomata learning

Mathematics Subject Classification ID

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

Related Items (2)

Learning pomset automata ⋮ Coalgebraic logics \& duality

This page was built for publication: Angluin learning via logic