Alan Schmitt

2 papers in the IJCAI proceedings

IJCAI 2015

Expressive Logical Combinators for Free

with Pierre Genevès

Details PDF

IJCAI 2011

Query Reasoning on Trees with Types, Interleaving, and Counting

with Everardo Bárcenas, Pierre Genevès, Nabil Layaïda

doi:10.5591/978-1-57735-516-8/IJCAI11-127

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings