Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288580213> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W4288580213 abstract "Automata learning is a popular technique for inferring minimal automata through membership and equivalence queries. In this paper, we generalise learning to the theory of coalgebras. The approach relies on the use of logical formulas as tests, based on a dual adjunction between states and logical theories. This allows us to learn, e.g., labelled transition systems, using Hennessy-Milner logic. Our main contribution is an abstract learning algorithm, together with a proof of correctness and termination." @default.
- W4288580213 created "2022-07-29" @default.
- W4288580213 creator A5015520868 @default.
- W4288580213 creator A5024614717 @default.
- W4288580213 creator A5058618165 @default.
- W4288580213 date "2019-02-15" @default.
- W4288580213 modified "2023-09-27" @default.
- W4288580213 title "Coalgebra Learning via Duality" @default.
- W4288580213 doi "https://doi.org/10.48550/arxiv.1902.05762" @default.
- W4288580213 hasPublicationYear "2019" @default.
- W4288580213 type Work @default.
- W4288580213 citedByCount "0" @default.
- W4288580213 crossrefType "posted-content" @default.
- W4288580213 hasAuthorship W4288580213A5015520868 @default.
- W4288580213 hasAuthorship W4288580213A5024614717 @default.
- W4288580213 hasAuthorship W4288580213A5058618165 @default.
- W4288580213 hasBestOaLocation W42885802131 @default.
- W4288580213 hasConcept C112505250 @default.
- W4288580213 hasConcept C11413529 @default.
- W4288580213 hasConcept C116248031 @default.
- W4288580213 hasConcept C118615104 @default.
- W4288580213 hasConcept C124952713 @default.
- W4288580213 hasConcept C134752490 @default.
- W4288580213 hasConcept C136119220 @default.
- W4288580213 hasConcept C142362112 @default.
- W4288580213 hasConcept C154945302 @default.
- W4288580213 hasConcept C202444582 @default.
- W4288580213 hasConcept C2778023678 @default.
- W4288580213 hasConcept C2778249326 @default.
- W4288580213 hasConcept C2779167558 @default.
- W4288580213 hasConcept C2780069185 @default.
- W4288580213 hasConcept C2780580338 @default.
- W4288580213 hasConcept C2780980858 @default.
- W4288580213 hasConcept C33923547 @default.
- W4288580213 hasConcept C41008148 @default.
- W4288580213 hasConcept C55439883 @default.
- W4288580213 hasConcept C74992188 @default.
- W4288580213 hasConcept C80444323 @default.
- W4288580213 hasConceptScore W4288580213C112505250 @default.
- W4288580213 hasConceptScore W4288580213C11413529 @default.
- W4288580213 hasConceptScore W4288580213C116248031 @default.
- W4288580213 hasConceptScore W4288580213C118615104 @default.
- W4288580213 hasConceptScore W4288580213C124952713 @default.
- W4288580213 hasConceptScore W4288580213C134752490 @default.
- W4288580213 hasConceptScore W4288580213C136119220 @default.
- W4288580213 hasConceptScore W4288580213C142362112 @default.
- W4288580213 hasConceptScore W4288580213C154945302 @default.
- W4288580213 hasConceptScore W4288580213C202444582 @default.
- W4288580213 hasConceptScore W4288580213C2778023678 @default.
- W4288580213 hasConceptScore W4288580213C2778249326 @default.
- W4288580213 hasConceptScore W4288580213C2779167558 @default.
- W4288580213 hasConceptScore W4288580213C2780069185 @default.
- W4288580213 hasConceptScore W4288580213C2780580338 @default.
- W4288580213 hasConceptScore W4288580213C2780980858 @default.
- W4288580213 hasConceptScore W4288580213C33923547 @default.
- W4288580213 hasConceptScore W4288580213C41008148 @default.
- W4288580213 hasConceptScore W4288580213C55439883 @default.
- W4288580213 hasConceptScore W4288580213C74992188 @default.
- W4288580213 hasConceptScore W4288580213C80444323 @default.
- W4288580213 hasLocation W42885802131 @default.
- W4288580213 hasLocation W42885802132 @default.
- W4288580213 hasLocation W42885802133 @default.
- W4288580213 hasLocation W42885802134 @default.
- W4288580213 hasLocation W42885802135 @default.
- W4288580213 hasOpenAccess W4288580213 @default.
- W4288580213 hasPrimaryLocation W42885802131 @default.
- W4288580213 hasRelatedWork W1480528870 @default.
- W4288580213 hasRelatedWork W1494055011 @default.
- W4288580213 hasRelatedWork W2087664031 @default.
- W4288580213 hasRelatedWork W2157657301 @default.
- W4288580213 hasRelatedWork W2245651640 @default.
- W4288580213 hasRelatedWork W23395765 @default.
- W4288580213 hasRelatedWork W2914382977 @default.
- W4288580213 hasRelatedWork W2952459762 @default.
- W4288580213 hasRelatedWork W4288580213 @default.
- W4288580213 hasRelatedWork W2465713954 @default.
- W4288580213 isParatext "false" @default.
- W4288580213 isRetracted "false" @default.
- W4288580213 workType "article" @default.