Zobrazeno 1 - 10
of 48
pro vyhledávání: '"Roussanka Loukanova"'
Relationships between Specified and Underspecified Quantification by the Theory of Acyclic Recursion
Autor:
Roussanka LOUKANOVA
Publikováno v:
Advances in Distributed Computing and Artificial Intelligence Journal, Vol 5, Iss 4, Pp 19-42 (2016)
The paper introduces a technique for representing quantifier relations that can have different scope order depending on context. The technique is demonstrated by classes of terms denoting relations, where each of the arguments of a relation term is b
Externí odkaz:
https://doaj.org/article/fd01dfd22f374b3388336030b3717919
Autor:
José Manuel Machado, Pablo Chamoso, Guillermo Hernández, Grzegorz Bocewicz, Roussanka Loukanova, Esteban Jove, Angel Martin del Rey, Michela Ricca
Publikováno v:
Distributed Computing and Artificial Intelligence, Special Sessions, 19th International Conference ISBN: 9783031232091
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5d27c017e28c25fe8d6e11b40e86a6e5
https://doi.org/10.1007/978-3-031-23210-7_23
https://doi.org/10.1007/978-3-031-23210-7_23
Autor:
Roussanka Loukanova
Publikováno v:
Distributed Computing and Artificial Intelligence, 19th International Conference ISBN: 9783031208584
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9b835ab9688cf7e2ddeb89462dad3c95
https://doi.org/10.1007/978-3-031-20859-1_4
https://doi.org/10.1007/978-3-031-20859-1_4
Autor:
Roussanka Loukanova
Publikováno v:
Fundamenta Informaticae. 170:367-411
In this article, we introduce Moschovakis higher-order type theory of acyclic recursion L-ar(lambda) . We present the potentials of L-ar(lambda) for incorporating different reduction systems in L-a ...
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ee6da05663c3bb0638bc60ef6d2133bc
https://doi.org/10.3233/fi-2019-1867
https://doi.org/10.3233/fi-2019-1867
Distributed Computing and Artificial Intelligence, Special Sessions I, 20th International Conference
Autor:
Rashid Mehmood, Victor Alves, Isabel Praça, Jarosław Wikarek, Javier Parra-Domínguez, Roussanka Loukanova, Ignacio de Miguel, Tiago Pinto, Ricardo Nunes, Michela Ricca
The present book brings together experience, current work, and promising future trends associated with distributed computing, artificial intelligence, and their application in order to provide efficient solutions to real problems. DCAI 2023 is a foru
Autor:
José Manuel Machado, Pablo Chamoso, Guillermo Hernández, Grzegorz Bocewicz, Roussanka Loukanova, Esteban Jove, Angel Martin del Rey, Michela Ricca
DCAI 2022 is a forum to present applications of innovative techniques for studying and solving complex problems in artificial intelligence and computing areas. The present edition brings together past experience, current work and promising future tre