Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Binding Operators in Type-Theory of Algorithms for Algorithmic Binding of Functional Neuro-Receptors
Stockholm University, Faculty of Science, Department of Mathematics.ORCID iD: 0000-0001-9678-955X
2017 (English)In: Proceedings of the 2017 Federated Conference on Computer Science and Information Systems / [ed] Maria Ganzha, Leszek Maciaszek, Marcin Paprzycki, IEEE, 2017, p. 57-66Conference paper, Published paper (Refereed)
Abstract [en]

The paper is on a new approach to mathematics of the notion of algorithm. We extend the higher-order, type-theory of situated algorithms. The primary applications are to computational semantics of formal and natural languages and to computational neuroscience. We investigate the properties of functions and relations that bind argument slots of other functions and relations across a recursion operator acting via mutually recursive assignments.

Place, publisher, year, edition, pages
IEEE, 2017. p. 57-66
Series
Annals of Computer Science and Information Systems, ISSN 2300-5963 ; 11
National Category
Computer Sciences Language Technology (Computational Linguistics) Algebra and Logic
Research subject
Mathematical Logic
Identifiers
URN: urn:nbn:se:su:diva-161670DOI: 10.15439/2017F465ISBN: 978-83-946253-9-9 (print)ISBN: 978-83-946253-7-5 (electronic)OAI: oai:DiVA.org:su-161670DiVA, id: diva2:1260622
Conference
13th International Symposium Advances in Artificial Intelligence and Applications (AAIA'18), Prague, Czech Republic, September 3–6, 2017
Available from: 2018-11-05 Created: 2018-11-05 Last updated: 2020-01-22Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Search in DiVA

By author/editor
Loukanova, Roussanka
By organisation
Department of Mathematics
Computer SciencesLanguage Technology (Computational Linguistics)Algebra and Logic

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 28 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf