( en | de | ru )

 

Disambiguierung von "Lima, Priscila Machado Vieira"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Logical Reasoning via Satisfiability Mapped into Energy Functions.

, , , , und . Int. J. Pattern Recognit. Artif. Intell., 22 (5): 1031-1043 (2008)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Vitor Manuel Machado Vieira

Carl Machado

Ulrike Vieira

Felipe Vieira

Alencar Machado

 

Weitere Publikationen von Autoren mit dem selben Namen

A Goal-Driven Neural Propositional Interpreter.. Int. J. Neural Syst., 11 (3): 311-322 (2001)A Weightless Neural Network-Based Approach for Stream Data Clustering., , , , und . IDEAL, Volume 7435 von Lecture Notes in Computer Science, Seite 328-335. Springer, (2012)Prediction of palm oil production with an enhanced n-Tuple Regression Network., , , , , und . ESANN, (2019)Memory Efficient Weightless Neural Network using Bloom Filter., , , , , , , , , und . ESANN, (2019)Modeling Sparse Data as Input for Weightless Neural Network., , , und . ESANN, (2019)Extracting Semantic Information from Patent Claims Using Phrasal Structure Annotations., , und . BRACIS, Seite 31-36. IEEE Computer Society, (2014)Neural-Symbolic Learning and Reasoning: A Survey and Interpretation., , , , , , , , , und 3 andere Autor(en). Neuro-Symbolic Artificial Intelligence, Volume 342 von Frontiers in Artificial Intelligence and Applications, IOS Press, (2021)AI from Concrete to Abstract., , , und . AI Soc., 36 (3): 877-893 (2021)Conjecturing the Cognitive Plausibility of an ANN Theorem-Prover., und . IWANN (1), Volume 2084 von Lecture Notes in Computer Science, Seite 822-830. Springer, (2001)On the Distributed Parallel Simulation of Hopfield's Neural Networks., und . Softw. Pract. Exp., 20 (10): 967-983 (1990)