Vol-845⫷ Vol-846 ⫸Vol-847
urn:nbn:de:0074-846-0

Copyright © 2012 for the individual papers by the papers' authors. Copyright © 2012 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

None⫷None ⫸None

Marcel Lippmann

Hongkai Liu

Wael Yehia

Mikhail Soutchanski

Franz Baader

Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics