d'Avila Garcez, Artur
110  results:
Search for persons X
?
3

Logic Tensor Networks:

Badreddine, Samy ; d'Avila Garcez, Artur ; Serafini, Luciano.
Artificial Intelligence.  303 (2022)  - p. 103649 , 2022
 
?
7

Learning to adapt requirements specifications of evolving s..:

, In: Proceedings of the 33rd International Conference on Software Engineering,
 
?
8

Integrating model verification and self-adaptation:

, In: Proceedings of the IEEE/ACM international conference on Automated software engineering,
 
?
9

Preface:

Stathis, Kostas ; d'Avila Garcez, Artur ; Givan, Robert
Journal of Algorithms.  64 (2009)  4 - p. 125-126 , 2009
 
?
11

Speaker recognition with hybrid features from a deep belief..:

Ali, Hazrat ; Tran, Son N. ; Benetos, Emmanouil.
Neural Computing and Applications.  29 (2016)  6 - p. 13-19 , 2016
 
?
12

Neural-symbolic cognitive agents : architecture, theory ..:

, In: Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems,
 
1-15