Pierre Genevès

3 papers in the IJCAI proceedings

IJCAI 2015

Expressive Logical Combinators for Free

with Alan Schmitt

Details PDF

Reasoning with Style

with Martí Bosch, Nabil Layaïda

Details PDF

IJCAI 2011

Query Reasoning on Trees with Types, Interleaving, and Counting

with Everardo Bárcenas, Nabil Layaïda, Alan Schmitt

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

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings