Thomas Andreas Meyer

CAIR , Univ. of Cape Town and; CSIR Meraka South Africa

2 papers in the IJCAI proceedings

IJCAI 2015

On the Entailment Problem for a Logic of Typicality

with Richard Booth, Giovanni Casini, Ivan José Varzinczak

Details PDF

IJCAI 2009

Next Steps in Propositional Horn Contraction

with Richard Booth, Ivan José Varzinczak

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings