<div class="csl-bib-body">
<div class="csl-entry">Bazhenov, N., Fokina, E., Rossegger, D., Soskova, A., & Vatev, S. (2024). Learning Families of Algebraic Structures from Text. In L. L. Patey, E. Pimentel, L. Galeotti, & F. Manea (Eds.), <i>Twenty Years of Theoretical and Practical Synergies : 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8–12, 2024, Proceedings</i> (pp. 166–178). Springer. https://doi.org/10.34726/8204</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/208504
-
dc.identifier.uri
https://doi.org/10.34726/8204
-
dc.description.abstract
We adapt the classical notion of learning from text to computable structure theory. Our main result is a model-theoretic characterization of the learnability from text for classes of structures. We show that a family of structures is learnable from text if and only if the structures can be distinguished in terms of their theories restricted to positive infinitary Σ2 sentences.
en
dc.description.sponsorship
European Commission
-
dc.language.iso
en
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
Algorithmic learning
en
dc.subject
Infinitary logic
en
dc.subject
Scott topology
en
dc.title
Learning Families of Algebraic Structures from Text
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.rights.license
Urheberrechtsschutz
de
dc.rights.license
In Copyright
en
dc.identifier.doi
10.34726/8204
-
dc.contributor.affiliation
Sobolev Institute of Mathematics, Russian Federation (the)
-
dc.contributor.affiliation
Sofia University "St. Kliment Ohridski", Bulgaria
-
dc.contributor.affiliation
Sofia University "St. Kliment Ohridski", Bulgaria
-
dc.relation.isbn
978-3-031-64309-5
-
dc.description.startpage
166
-
dc.description.endpage
178
-
dc.relation.grantno
101026834
-
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
Twenty Years of Theoretical and Practical Synergies : 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8–12, 2024, Proceedings
-
tuw.container.volume
14773
-
tuw.peerreviewed
true
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Cham
-
tuw.project.title
Algorithmische Komplexität von Strukturen und deren Äquivalenzrelationen
-
tuw.researchTopic.id
C4
-
tuw.researchTopic.name
Mathematical and Algorithmic Foundations
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E104-02 - Forschungsbereich Computational Logic
-
tuw.publisher.doi
10.1007/978-3-031-64309-5_14
-
dc.identifier.libraryid
AC17574864
-
dc.description.numberOfPages
13
-
tuw.author.orcid
0000-0002-5834-2770
-
tuw.author.orcid
0000-0002-4598-458X
-
tuw.author.orcid
0000-0003-3494-9049
-
tuw.author.orcid
0000-0002-4392-4284
-
tuw.author.orcid
0000-0001-5719-1467
-
dc.rights.identifier
Urheberrechtsschutz
de
dc.rights.identifier
In Copyright
en
tuw.editor.orcid
0000-0002-6570-8275
-
tuw.editor.orcid
0000-0001-6094-3324
-
tuw.event.name
20th Conference on Computability in Europe
en
tuw.event.startdate
08-07-2024
-
tuw.event.enddate
12-07-2024
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Amsterdam
-
tuw.event.country
NL
-
tuw.event.presenter
Vatev, Stefan
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
5
-
wb.sciencebranch.value
95
-
item.mimetype
application/pdf
-
item.openairetype
conference paper
-
item.cerifentitytype
Publications
-
item.grantfulltext
open
-
item.languageiso639-1
en
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.openaccessfulltext
Open Access
-
item.fulltext
with Fulltext
-
crisitem.project.funder
European Commission
-
crisitem.project.grantno
101026834
-
crisitem.author.dept
Sobolev Institute of Mathematics
-
crisitem.author.dept
E104-02 - Forschungsbereich Computational Logic
-
crisitem.author.dept
E104-02 - Forschungsbereich Computational Logic
-
crisitem.author.dept
Sofia University "St. Kliment Ohridski"
-
crisitem.author.dept
Sofia University "St. Kliment Ohridski"
-
crisitem.author.orcid
0000-0002-5834-2770
-
crisitem.author.orcid
0000-0002-4598-458X
-
crisitem.author.orcid
0000-0003-3494-9049
-
crisitem.author.orcid
0000-0002-4392-4284
-
crisitem.author.orcid
0000-0001-5719-1467
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie
-
crisitem.author.parentorg
E104 - Institut für Diskrete Mathematik und Geometrie
