Zobrazeno 1 - 10
of 30
pro vyhledávání: '"Davi Romero"'
Autor:
Vasconcelos, Davi Romero
Publikováno v:
EPTCS 375, 2023, pp. 38-53
This work presents the system ANITA (Analytic Tableau Proof Assistant) developed for teaching analytic tableaux to computer science students. The tool is written in Python and can be used as a desktop application, or in a web platform. This paper des
Externí odkaz:
http://arxiv.org/abs/2303.05864
Autor:
de Souza, Críston Pereira, de Araujo, Paulo Henrique Macedo, Costa, Iana Mary Gomes, de Vasconcelos, Davi Romero, Magalhães, Regis Pires
Publikováno v:
In Information Systems February 2023 112
In this work, we present a logic based on first-order CTL, namely Game Analysis Logic (GAL), in order to reason about games. We relate models and solution concepts of Game Theory as models and formulas of GAL, respectively. Precisely, we express exte
Externí odkaz:
http://arxiv.org/abs/1402.1377
Publikováno v:
Anais do XXX Workshop sobre Educação em Computação (WEI 2022).
A disciplina de Lógica para Computação faz parte da maioria dos cursos de Tecnologia da Informação e Comunicação. O sistema de Dedução Natural é amplamente utilizado para o ensino de demonstrações e este conteúdo consta em muitos dos liv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::26a47c30a0775d4bc6b8f60766c7ced7
https://doi.org/10.5753/wei.2022.222875
https://doi.org/10.5753/wei.2022.222875
Autor:
Wagner Luiz Braga Bezerra, Alan Nascimento Gomes, Emanuel Ferreira Coutinho, Criston Pereira de Souza, Regis Pires Magalhaes, Davi Romero de Vasconcelos
Publikováno v:
11 Euro American Conference on Telematics and Information Systems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e13d5eea9a07aaed829def2ce4505fc7
https://doi.org/10.1145/3544538.3544653
https://doi.org/10.1145/3544538.3544653
Publikováno v:
Artificial Intelligence in HCI ISBN: 9783031056420
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b882a9febcabd59f660164a78dceeeca
https://doi.org/10.1007/978-3-031-05643-7_9
https://doi.org/10.1007/978-3-031-05643-7_9
Autor:
Críston Pereira de Souza, Paulo Henrique Macedo de Araujo, Iana Mary Gomes Costa, Davi Romero de Vasconcelos, Regis Pires Magalhães
Publikováno v:
Information Systems. 112:102143
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b08f2dc386038b510e7030c0b38826d3
https://doi.org/10.1016/j.is.2022.102143
https://doi.org/10.1016/j.is.2022.102143
Autor:
Sheila Cavalca Cortelli, José Roberto Cortelli, Davi Romero Aquino, Marinella Holzhausen, Gilson Cesar Nobre Franco, Fernando de Oliveira Costa, Daniel Fine
Publikováno v:
Brazilian Oral Research, Vol 23, Iss 3, Pp 313-318 (2009)
Knowledge about the presence of some important oral pathogens is an important step in better identifying children at risk for periodontal and/or caries diseases in later life. The purpose of this study was to detect the presence of Streptococcus muta
Externí odkaz:
https://doaj.org/article/aea0cea86be841dea199176904ab363d
Publikováno v:
Anais do XIII Simpósio Brasileiro de Tecnologia da Informação e da Linguagem Humana (STIL 2021).
A chatbot is an artificial intelligence based system aimed at chatting with users, commonly used as a virtual assistant to help people or answer questions. Intent classification is an essential task for chatbots where it aims to identify what the use
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b896a66b9c0d46ab8db52df930ff7925
https://doi.org/10.5753/stil.2021.17806
https://doi.org/10.5753/stil.2021.17806
Autor:
Georgia da Cruz Pereira, Patrick de Araújo, Davi Romero, Rute Pereira, Ingrid Teixeira Monteiro
Publikováno v:
IHC
With the expansion of digital public services, the need for understanding the quality of these services and the level of satisfaction of the citizens served grows. To this end, web and mobile applications have used various instruments that aim to mea
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3e284053aa1e1596b1fc37236f313f3e
https://doi.org/10.1145/3472301.3484373
https://doi.org/10.1145/3472301.3484373