Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Ana Lucia Vargas-Sandoval"'
Publikováno v:
Journal of Logical and Algebraic Methods in Programming, 109:100485. Elsevier
Lecture Notes in Computer Science ISBN: 9783319735788
DALI@TABLEAUX
Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017 : proceedings, 35-54
STARTPAGE=35;ENDPAGE=54;TITLE=Dynamic Logic. New Trends and Applications
Lecture Notes in Computer Science ISBN: 9783319735788
DALI@TABLEAUX
Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017 : proceedings, 35-54
STARTPAGE=35;ENDPAGE=54;TITLE=Dynamic Logic. New Trends and Applications
Building on previous work [4, 5] that bridged Formal Learning Theory and Dynamic Epistemic Logic in a topological setting, we introduce a Dynamic Logic for Learning Theory (DLLT), extending Subset Space Logics [9, 17] with dynamic observation modalit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5ec28aa6f6c71432e8935c77126407c5
https://doi.org/10.1007/978-3-319-73579-5_3
https://doi.org/10.1007/978-3-319-73579-5_3
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783662595640
TbiLLC
TbiLLC
We study the differences between finite identifiability of recursive languages with positive and with complete data. In finite families the difference lies exactly in the fact that for positive identification the families need to be anti-chains, whil
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1c1fbc6da880c8b71f94bdd2e2327e24
https://doi.org/10.1007/978-3-662-59565-7_3
https://doi.org/10.1007/978-3-662-59565-7_3
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783662595640
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fedbb2d43a01731ee02dcb7d3955f166
https://doi.org/10.1007/978-3-662-59565-7_18
https://doi.org/10.1007/978-3-662-59565-7_18