| 2008 |
|---|
| 5 | EE | M. Mariela Morveli-Espinoza,
Josep Puyol-Gruart:
On Partial Deduction and Conversational Agents.
CCIA 2008: 60-69 |
| 4 | 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 |
|---|
| 3 | 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 |
|---|
| 2 | 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 |
| 1 | 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 |
