Travelled to:
1 × USA
Collaborated with:
M.A.Casanova R.A.d.T.Guerreiro
Talks about:
program (1) elimin (1) comput (1) answer (1) model (1) logic (1) weak (1)
Person: Andrea Silva
DBLP: Silva:Andrea
Contributed to:
Wrote 1 papers:
- NACLP-1989-CasanovaGS #logic programming #source code
- Computing Answers to Logic Programs with Weak Model Elimination (MAC, RAdTG, AS), pp. 92–114.