ResearchSpace

Browsing by Subject "Contraction"

Browsing by Subject "Contraction"

Sort by: Order: Results:

  • Next steps in propositional horn contraction
    Thumbnail
    Author: Booth, R ; Meyer, T ; Varzinczak, IJ Date: Jun 2009 Standard 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
  • On action theory change
    Thumbnail
    Author: Varzinczak, IJ Date: Feb 2010 As 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