Travelled to:1 × France
2 × USA
Collaborated with:∅ K.R.Apt
Talks about:program (2) complet (2) stratifi (1) arithmet (1) undecid (1) perfect (1) conserv (1) classif (1) notion (1) failur (1)
Person: Howard A. Blair
DBLP: Blair:Howard_A=
Contributed to:
198819871982Wrote 3 papers:
- JICSCP-1988-AptB88 #classification #modelling #source code
- Arithmetic Classification of Perfect Models of Stratified Programs (KRA, HAB), pp. 765–779.
- SLP-1987-Blair87 #logic programming
- Canoncical Conservative Extensions of Logic Program Completions (HAB), pp. 154–161.
- ILPC-1982-Blair82
- The Undecidability of Two Completeness Notions for the “Negation as Failure” (HAB), pp. 164–168.