Zobrazeno 1 - 10
of 10
pro vyhledávání: '"RICARDO QUEIROZ DE ARAUJO FERNANDES"'
[pt] Apresentamos uma lógica para a compreensão de condicionais a partir da proximidade (PUC-Logic) que unifica as lógicas Contrafactual e Deôntica propostas por David Lewis. Propomos também um sistema de dedução natural (PUC-ND) associado a e
Publikováno v:
Repositório Institucional da PUC_RIOPontifícia Universidade Católica do Rio de JaneiroPUC_RIO.
PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
INSTITUTO MILITAR DE ENGENHARIA
CENTRO TECNOLÓGICO DO EXÉRCITO
INSTITUTO DE PESQUISA E DESENVOLVIMENTO
Apresentamos uma lógica para a compreensão de condicionais a partir da
INSTITUTO MILITAR DE ENGENHARIA
CENTRO TECNOLÓGICO DO EXÉRCITO
INSTITUTO DE PESQUISA E DESENVOLVIMENTO
Apresentamos uma lógica para a compreensão de condicionais a partir da
Autor:
Edison Pignaton de Freitas, Ana L. C. Bazzan, Iulisloi Zacarias, Janaina Schwarzrock, Ricardo Queiroz de Araujo Fernandes, Leonardo Henrique Moreira
Publikováno v:
Engineering Applications of Artificial Intelligence. 72:10-20
The envisaged usage of multiple Unmanned Aerial Vehicles (UAVs) to perform cooperative tasks is a promising concept for future autonomous military systems. An important aspect to make this usage a reality is the solution of the task allocation proble
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::87f29267d31d2eb4a24813bc21056a48
https://doi.org/10.1016/j.engappai.2018.03.008
https://doi.org/10.1016/j.engappai.2018.03.008
Autor:
Jorgito M. Stocchero, Andersonn Kohl, Iulisloi Zacarias, Edison Pignaton de Freitas, Ricardo Queiroz de Araujo Fernandes, Luciano Paschoal Gaspary
Publikováno v:
IEEE Communications Magazine. 55:22-29
Network-centric warfare is a no-way-back trend in modern military operations. The application of this concept ranges from upper-level decision making echelons to troop guidance on the battlefield, and many studies have been carried out in this area.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d9bbe356e343750a9196225b36414b9a
https://doi.org/10.1109/mcom.2017.1700239
https://doi.org/10.1109/mcom.2017.1700239
Autor:
Luciano Paschoal Gaspary, Iulisloi Zacarias, Jorgito M. Stocchero, Janaina Schwarzrock, Ricardo Queiroz de Araujo Fernandes, Edison Pignaton de Freitas, Andersonn Kohl
Publikováno v:
Wireless Communications and Mobile Computing, Vol 2018 (2018)
Situation awareness in surveillance systems benefits from high-quality video streaming service. This is even more important considering military systems, in which delays in image transmission may have a significant impact on the decision-making proce
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2b60c31c15403b3d3d53956635451f12
https://doaj.org/article/22ffef585f6444e6b82ec22c3084f2a7
https://doaj.org/article/22ffef585f6444e6b82ec22c3084f2a7
Autor:
Edison Pignaton de Freitas, Janaina Schwarzrock, Ricardo Queiroz de Araujo Fernandes, Iulisloi Zacarias, Jorgito M. Stocchero, Luciano Paschoal Gaspary, Anderson Kohl
Publikováno v:
NCA
Video streaming is an important service provided by surveillance systems to enhance situation awareness. However, in military systems, data acquisition heavily depends on the network infrastructure. In this application domain, units are spread and th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::45072954dd32cc962f4e443b99092edf
https://doi.org/10.1109/nca.2017.8171390
https://doi.org/10.1109/nca.2017.8171390
Autor:
Ricardo Queiroz de Araujo Fernandes, Luiz Carlos Pinheiro Dias Pereira, Edward Hermann Haeusler
Publikováno v:
Transactions on Large-Scale Data-and Knowledge-Centered Systems XXXIV ISBN: 9783662559468
The aim of the present paper is to introduce a new logic, PUC-Logic, which will be used to give a systematic account of well-known counterfactuals conditionals on the basis of a concept of proximity. We will formulate a natural deduction system for P
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::807ad94002ebfec4a8ac0bdc87c4c214
https://doi.org/10.1007/978-3-662-55947-5_6
https://doi.org/10.1007/978-3-662-55947-5_6
Publikováno v:
2016 27th International Workshop on Database and Expert Systems Applications (DEXA).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::39a40c8a4b9e589c1a17e0b02002f68f
https://doi.org/10.1109/dexa.2016.034
https://doi.org/10.1109/dexa.2016.034
Publikováno v:
LSFA
Topoi are known to be categories with extra properties that make them much alike the category of Sets. In a Topoi it is possible to define adequate notions of membership, elements and subobjects, power “sets”, and finally, every Topoi has an inte
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::178f282b8388c60df9c9d172debaaec2
https://doi.org/10.1016/j.entcs.2009.11.004
https://doi.org/10.1016/j.entcs.2009.11.004