| 2008 |
|---|
| 8 | EE | Priscila Machado Vieira Lima,
M. Mariela Morveli-Espinoza,
Glaucia C. Pereira,
Talita O. Ferreira,
Felipe Maia Galvão França:
Logical Reasoning via Satisfiability Mapped into Energy Functions.
IJPRAI 22(5): 1031-1043 (2008) |
| 2007 |
|---|
| 7 | EE | Priscila Machado Vieira Lima,
M. Mariela Morveli-Espinoza,
Felipe M. G. França:
Logic as Energy: A SAT-Based Approach.
BVAI 2007: 458-467 |
| 2005 |
|---|
| 6 | EE | Priscila Machado Vieira Lima,
Glaucia C. Pereira,
M. Mariela Morveli-Espinoza,
Felipe M. G. França:
Mapping and Combining Combinatorial Problems into Energy Landscapes via Pseudo-Boolean Constraints.
BVAI 2005: 308-317 |
| 5 | EE | Priscila Machado Vieira Lima,
M. Mariela Morveli-Espinoza,
Glaucia C. Pereira,
Felipe Maia Galvão França:
SATyrus: A SAT-based Neuro-Symbolic Architecture for Constraint Processing.
HIS 2005: 137-142 |
| 2001 |
|---|
| 4 | EE | Iara Moema Oberg Vilela,
Priscila Machado Vieira Lima:
Conjecturing the Cognitive Plausibility of an ANN Theorem-Prover.
IWANN (1) 2001: 822-830 |
| 3 | EE | Priscila Machado Vieira Lima:
A Goal-Driven Neural Propositional Interpreter.
Int. J. Neural Syst. 11(3): 311-322 (2001) |
| 2000 |
|---|
| 2 | EE | Priscila Machado Vieira Lima:
A Neural Propositional Reasoner that is Goal-Driven and Works without Pre-Compiled Knowledge.
SBRN 2000: 261-266 |
| 1990 |
|---|
| 1 | | Valmir C. Barbosa,
Priscila Machado Vieira Lima:
On the Distributed Parallel Simulation of Hopfield's Neural Networks.
Softw., Pract. Exper. 20(10): 967-983 (1990) |
