Robert Piro

2 papers in the IJCAI proceedings

IJCAI 2015

Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality

with Boris Motik, Yavor Nenov, Ian Horrocks

Details PDF

IJCAI 2011

Description Logic TBoxes: Model-Theoretic Characterizations and Rewritability

with Carsten Lutz, Frank Wolter

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

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings