Author:Booth, R; Meyer, T; Varzinczak, IJDate:Jun 2009Standard belief contraction assumes an underlying logic containing full classical propositional logic, but there are good reasons for considering contraction in less expressive logics. In this paper, researchers focus on Horn logic. In addition ...Read more
Author:Varzinczak, IJDate:Feb 2010As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other logical theory, action theories may also evolve, and thus ...Read more
Author:Moodley, K; Meyer, T; Varzinczak, IJDate:Aug 2011In recent years, there has been significant progress in developing tools for debugging and repairing Description Logic (DL)-based ontologies with erroneous consequences. However, these tools place more emphasis on explaining why the consequences ...Read more