Travelled to:1 × France
1 × USA
Collaborated with:M.A.Casanova A.S.Hemerly A.Silva
Talks about:resolut (1) program (1) explain (1) default (1) normal (1) elimin (1) comput (1) answer (1) sldnf (1) model (1)
Person: Ramiro A. de T. Guerreiro
DBLP: Guerreiro:Ramiro_A=_de_T=
Contributed to:
19911989Wrote 2 papers:
- ICLP-1991-CasanovaHG
- Explaining SLDNF Resolution with Non-Normal Defaults (MAC, ASH, RAdTG), pp. 18–31.
- NACLP-1989-CasanovaGS #logic programming #source code
- Computing Answers to Logic Programs with Weak Model Elimination (MAC, RAdTG, AS), pp. 92–114.