TompitsHans

发表

Reasoning about evolving nonmonotonic knowledge bases

EiterThomas, FinkMichael, SabbatiniGiuliana, 2005 .

Proof-complexity results for nonmonotonic reasoning

TompitsHans, EglyUwe, 2001 .