Yevgeny Kazakov

4 papers in the IJCAI proceedings

IJCAI 2011

Consequence-Based Reasoning beyond Horn Ontologies

with Frantisek Simancik, Ian Horrocks

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

Details PDF

IJCAI 2009

Consequence-Driven Reasoning for Horn SHIQ Ontologies

Details PDF

Import-by-Query: Ontology Reasoning under Access Limitations

with Bernardo Cuenca Grau, Boris Motik

Details PDF

IJCAI 2007

A Logical Framework for Modularity of Ontologies

with Bernardo Cuenca Grau, Ian Horrocks, Ulrike Sattler

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings