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.












