Standard

Approximation spaces of temporal processes and effectiveness of interval semantics. / Stukachev, Alexey.

Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference, DCAI 2020. ред. / Sara Rodríguez González; Javier Prieto; Alfonso González-Briones; Arkadiusz Gola; George Katranas; Michela Ricca; Roussanka Loukanova; Roussanka Loukanova. Springer Nature, 2021. стр. 53-61 (Advances in Intelligent Systems and Computing; Том 1242 AISC).

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференциинаучнаяРецензирование

Harvard

Stukachev, A 2021, Approximation spaces of temporal processes and effectiveness of interval semantics. в S Rodríguez González, J Prieto, A González-Briones, A Gola, G Katranas, M Ricca, R Loukanova & R Loukanova (ред.), Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference, DCAI 2020. Advances in Intelligent Systems and Computing, Том. 1242 AISC, Springer Nature, стр. 53-61, 17th International Symposium on Distributed Computing and Artificial Intelligence, DCAI 2020, L´Aquila, Италия, 17.06.2020. https://doi.org/10.1007/978-3-030-53829-3_5

APA

Stukachev, A. (2021). Approximation spaces of temporal processes and effectiveness of interval semantics. в S. Rodríguez González, J. Prieto, A. González-Briones, A. Gola, G. Katranas, M. Ricca, R. Loukanova, & R. Loukanova (Ред.), Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference, DCAI 2020 (стр. 53-61). (Advances in Intelligent Systems and Computing; Том 1242 AISC). Springer Nature. https://doi.org/10.1007/978-3-030-53829-3_5

Vancouver

Stukachev A. Approximation spaces of temporal processes and effectiveness of interval semantics. в Rodríguez González S, Prieto J, González-Briones A, Gola A, Katranas G, Ricca M, Loukanova R, Loukanova R, Редакторы, Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference, DCAI 2020. Springer Nature. 2021. стр. 53-61. (Advances in Intelligent Systems and Computing). doi: 10.1007/978-3-030-53829-3_5

Author

Stukachev, Alexey. / Approximation spaces of temporal processes and effectiveness of interval semantics. Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference, DCAI 2020. Редактор / Sara Rodríguez González ; Javier Prieto ; Alfonso González-Briones ; Arkadiusz Gola ; George Katranas ; Michela Ricca ; Roussanka Loukanova ; Roussanka Loukanova. Springer Nature, 2021. стр. 53-61 (Advances in Intelligent Systems and Computing).

BibTeX

@inproceedings{e9d7ba4f5fee45a78d80d8b9c10632e3,
title = "Approximation spaces of temporal processes and effectiveness of interval semantics",
abstract = "A series of positive results related to the generalized problem of Yu.L. Ershov on the structure of Σ-degrees of dense linear orders is obtained. In particular, we prove that interval models of temporal logic, as well as finite fragments of approximation spaces generated by interval Boolean algebras, are Σ-definable (effectively interpretable) in hereditarily finite superstructures over dense linear orders. These results are used in the analysis of semantics of verbs in natural languages within the approach in formal semantics proposed by R. Montague.",
keywords = "Approximation spaces, Effective model theory, Montague semantics for natural languages",
author = "Alexey Stukachev",
year = "2021",
doi = "10.1007/978-3-030-53829-3_5",
language = "English",
isbn = "9783030538286",
series = "Advances in Intelligent Systems and Computing",
publisher = "Springer Nature",
pages = "53--61",
editor = "{Rodr{\'i}guez Gonz{\'a}lez}, Sara and Javier Prieto and Alfonso Gonz{\'a}lez-Briones and Arkadiusz Gola and George Katranas and Michela Ricca and Roussanka Loukanova and Roussanka Loukanova",
booktitle = "Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference, DCAI 2020",
address = "United States",
note = "17th International Symposium on Distributed Computing and Artificial Intelligence, DCAI 2020 ; Conference date: 17-06-2020 Through 19-06-2020",

}

RIS

TY - GEN

T1 - Approximation spaces of temporal processes and effectiveness of interval semantics

AU - Stukachev, Alexey

PY - 2021

Y1 - 2021

N2 - A series of positive results related to the generalized problem of Yu.L. Ershov on the structure of Σ-degrees of dense linear orders is obtained. In particular, we prove that interval models of temporal logic, as well as finite fragments of approximation spaces generated by interval Boolean algebras, are Σ-definable (effectively interpretable) in hereditarily finite superstructures over dense linear orders. These results are used in the analysis of semantics of verbs in natural languages within the approach in formal semantics proposed by R. Montague.

AB - A series of positive results related to the generalized problem of Yu.L. Ershov on the structure of Σ-degrees of dense linear orders is obtained. In particular, we prove that interval models of temporal logic, as well as finite fragments of approximation spaces generated by interval Boolean algebras, are Σ-definable (effectively interpretable) in hereditarily finite superstructures over dense linear orders. These results are used in the analysis of semantics of verbs in natural languages within the approach in formal semantics proposed by R. Montague.

KW - Approximation spaces

KW - Effective model theory

KW - Montague semantics for natural languages

UR - http://www.scopus.com/inward/record.url?scp=85089609964&partnerID=8YFLogxK

UR - https://www.mendeley.com/catalogue/452214a2-53da-321c-b297-7579259829d0/

U2 - 10.1007/978-3-030-53829-3_5

DO - 10.1007/978-3-030-53829-3_5

M3 - Conference contribution

AN - SCOPUS:85089609964

SN - 9783030538286

T3 - Advances in Intelligent Systems and Computing

SP - 53

EP - 61

BT - Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference, DCAI 2020

A2 - Rodríguez González, Sara

A2 - Prieto, Javier

A2 - González-Briones, Alfonso

A2 - Gola, Arkadiusz

A2 - Katranas, George

A2 - Ricca, Michela

A2 - Loukanova, Roussanka

A2 - Loukanova, Roussanka

PB - Springer Nature

T2 - 17th International Symposium on Distributed Computing and Artificial Intelligence, DCAI 2020

Y2 - 17 June 2020 through 19 June 2020

ER -

ID: 25291449