Benjamin Zarrieß

Theoretical Computer Science TU Dresden , Germany

2 papers in the IJCAI proceedings

IJCAI 2015

Verification of Knowledge-Based Programs over Description Logic Actions

with Jens Claßen

Details PDF

IJCAI 2013

Most Specific Generalizations w.r.t. General EL-TBoxes

with Anni-Yasmin Turhan

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings