Edjard Mota

According to our database, Edjard Mota authored at least 8 papers between 1996 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

Incremental Bounded Model Checking of Artificial Neural Networks in CUDA.

Luiz H. Sena, Iury Valente de Bessa, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Edjard Mota

Proceedings of the IX Brazilian Symposium on Computing Systems Engineering, 2019

Efficient Predicate Invention using Shared NeMuS.

Edjard Mota, Jacob M. Howe, Ana Schramm, Artur S. d'Avila Garcez

Proceedings of the 2019 International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2019), 2019

Self-Organized Inductive Reasoning with NeMuS.

Leonardo Augusto Picanço Barreto, Edjard Mota

Proceedings of the 2019 International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2019), 2019

2009

Analysis of the secure RTP protocol on voice over wireless networks using extended MedQoS.

Alexandre Passito, Edjair de Souza Mota, Edjard Mota

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

2003

On-Chip Property Verification Using Assertion Processors.

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

Proceedings of the VLSI-SOC: From Systems to Chips, 2003

2001

Reasoning about the Temporal Aspects of Interacting Agents.

Edjard Mota

Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

2000

Cyclical and Granular Time Theories as Subsets of the Herbrand Universe.

Edjard Mota

Proceedings of the KR 2000, 2000

1996

Representing Interaction of Agents at Different Time Granularities.

Edjard Mota, David Stuart Robertson

Proceedings of the Third International Workshop on Temporal Representation and Reasoning, 1996