Travelled to:
1 × Canada
1 × Hungary
Collaborated with:
R.N.Bol
Talks about:
tabul (2) templat (1) resolut (1) semant (1) search (1) under (1) magic (1) found (1) well (1)
Person: Lars Degerstedt
DBLP: Degerstedt:Lars
Contributed to:
Wrote 2 papers:
- ICLP-1993-BolD
- The Underlying Search for Magic Templates and Tabulation (RNB, LD), pp. 793–811.
- ILPS-1993-BolD #semantics
- Tabulated Resolution for Well Founded Semantics (RNB, LD), pp. 199–219.