Dirk Walther

2 papers in the IJCAI proceedings

IJCAI 2009

Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies

with Boris Konev, Frank Wolter

Details PDF

IJCAI 2007

Conservative Extensions in Expressive Description Logics

with Carsten Lutz, Frank Wolter

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings