Travelled to:
1 × United Kingdom
Collaborated with:
S.Muggleton
Talks about:
subsumpt (1) subsum (1) prolog (1) theta (1) engin (1)
Person: Jose Santos
DBLP: Santos:Jose
Contributed to:
Wrote 1 papers:
- ICLP-2010-SantosM10 #named #prolog
- Subsumer: A Prolog theta-subsumption engine (JS, SM), pp. 172–181.