Travelled to:1 × USA
1 × United Kingdom
Collaborated with:C.G.Giraud-Carrier J.W.Lloyd P.M.Hill F.Ibañez
Talks about:structur (1) quantifi (1) individu (1) univers (1) resolut (1) program (1) complex (1) classif (1) logic (1)
Person: Antony F. Bowers
DBLP: Bowers:Antony_F=
Contributed to:
2000
1997Wrote 2 papers:
- ICML-2000-BowersGL #classification
- Classification of Individuals with Complex Structure (AFB, CGGC, JWL), pp. 81–88.
- PLILP-1997-BowersHI #logic programming #quantifier
- Resolution for Logic Programming with Universal Quantifiers (AFB, PMH, FI), pp. 63–77.