Issue 1/2012
Content (4 Articles)
A Family of Dynamic Description Logics for Representing and Reasoning About Actions
Liang Chang, Zhongzhi Shi, Tianlong Gu, Lingzhong Zhao
SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs
Michael Codish, Jürgen Giesl, Peter Schneider-Kamp, René Thiemann