Edjard Mota - RankMe

14 papers A* 1C 2Misc 1Journal 5Unranked 5

Year	Rank	Type	Title / 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