Luca Pulina

3 papers in the IJCAI proceedings

IJCAI 2016

Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic

with Roman Kontchakov, Laura Pandolfo, Vladislav Ryzhikov, Michael Zakharyaschev

Details PDF

IJCAI 2009

A Structural Approach to Reasoning with Quantified Boolean Formulas

with Armando Tacchella

Details PDF

Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers

with Roman Kontchakov, Ulrike Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings