Edjard Mota

14 papers A* 1C 2Misc 1Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Reasoning in Neurosymbolic AI.
CoRR
Son N. Tran, Edjard Mota, Artur d'Avila Garcez
2019 — conf
Efficient Predicate Invention using Shared NeMuS.
NeSy@IJCAI
Edjard Mota, Jacob M. Howe, Ana Schramm, Artur S. d'Avila Garcez
2019 J jnl
Efficient predicate invention using shared "NeMuS".
CoRR
Edjard Mota, Jacob M. Howe, Ana Schramm, Artur S. d'Avila Garcez
2019 — conf
Incremental Bounded Model Checking of Artificial Neural Networks in CUDA.
SBESC
Luiz H. Sena, Iury Valente de Bessa, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Edjard Mota
2019 J jnl
Incremental Bounded Model Checking of Artificial Neural Networks in CUDA.
CoRR
Luiz H. Sena, Iury Valente de Bessa, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Edjard Mota
2019 — conf
Self-Organized Inductive Reasoning with NeMuS.
NeSy@IJCAI
Leonardo Augusto Picanço Barreto, Edjard Mota
2019 J jnl
Self-organized inductive reasoning with NeMuS.
CoRR
Leonardo Barreto, Edjard Mota
2009 Misc conf
Analysis of the secure RTP protocol on voice over wireless networks using extended MedQoS.
SAC
Alexandre Passito, Edjair de Souza Mota, Edjard Mota
2003 — conf
On-Chip Property Verification Using Assertion Processors.
VLSI-SoC (Selected Papers)
José Augusto Miranda Nacif, Claudionor Nunes Coelho, Harry Foster, Flávio Miana de Paula, Edjard Mota, Márcia Roberta Falcão Mota, Antônio Otávio Fernandes
2003 — conf
VeriAgent: an Approach to Integrating UML and Formal Verification Tools.
WMF
Edjard Mota, Edmund M. Clarke, Alex Groce, Waleska Oliveira, Marcia Falcão, Jorge Y. Kanda
2001 C conf
Reasoning about the Temporal Aspects of Interacting Agents.
TIME
Edjard Mota
2000 A* conf
Cyclical and Granular Time Theories as Subsets of the Herbrand Universe.
KR
Edjard Mota
1996 J jnl
NatureTime: Temporal Granularity in Simulation of Ecosystems.
J. Symb. Comput.
Edjard Mota, David Stuart Robertson, Alan Smaill
1996 C conf
Representing Interaction of Agents at Different Time Granularities.
TIME
Edjard Mota, David Stuart Robertson