The need for efficient automated reasoning methods for modal logic is increas-ingly being felt in... more The need for efficient automated reasoning methods for modal logic is increas-ingly being felt in areas such as knowledge representation, reasoning about pro-grams, and reasoning systems for autonomous agents [AFG+00]. Broadly speak-ing, there are three general strategies ...
hGen is a random CNF (conjunctive normal form) generator of formulas for sublanguages of H(@,\\do... more hGen is a random CNF (conjunctive normal form) generator of formulas for sublanguages of H(@,\\downarrow, A)
The phase diagram of nuclear matter is quite rich-it shows such phenomena as phase-transitions, f... more The phase diagram of nuclear matter is quite rich-it shows such phenomena as phase-transitions, formation of condensates, clustering, etc. From the analysis of the spinodal instability, one can learn about the region of liquid-gas coexistence in nuclear matter at low densities and finite isospin asymmetries. In a recent paper, we have shown that asymmetric nuclear matter at sub-nuclear densities should undergo only one type of instability. The associated order parameter is dominated by the isoscalar density and so ...
We provide a set of postulates that characterizes Katsuno and Mendelzon’s update operation [3] fo... more We provide a set of postulates that characterizes Katsuno and Mendelzon’s update operation [3] for a possibly infinite propositional language. In this way we extend their original operator which was only defined for finite languages. After reformulating the update operation as a function on theories, we show that Katsuno and Mendelzon’s original postulates are not sufficient to provide a characterization theorem. A strengthening of postulate (U8) is needed for a representation result. The new definition of update on (possibly infinite) languages puts the two main notions of theory change (update and revision) in the same ground and opens the way to a better comparison of their properties.
The need for efficient automated reasoning methods for modal logic is increas-ingly being felt in... more The need for efficient automated reasoning methods for modal logic is increas-ingly being felt in areas such as knowledge representation, reasoning about pro-grams, and reasoning systems for autonomous agents [AFG+00]. Broadly speak-ing, there are three general strategies ...
hGen is a random CNF (conjunctive normal form) generator of formulas for sublanguages of H(@,\\do... more hGen is a random CNF (conjunctive normal form) generator of formulas for sublanguages of H(@,\\downarrow, A)
The phase diagram of nuclear matter is quite rich-it shows such phenomena as phase-transitions, f... more The phase diagram of nuclear matter is quite rich-it shows such phenomena as phase-transitions, formation of condensates, clustering, etc. From the analysis of the spinodal instability, one can learn about the region of liquid-gas coexistence in nuclear matter at low densities and finite isospin asymmetries. In a recent paper, we have shown that asymmetric nuclear matter at sub-nuclear densities should undergo only one type of instability. The associated order parameter is dominated by the isoscalar density and so ...
We provide a set of postulates that characterizes Katsuno and Mendelzon’s update operation [3] fo... more We provide a set of postulates that characterizes Katsuno and Mendelzon’s update operation [3] for a possibly infinite propositional language. In this way we extend their original operator which was only defined for finite languages. After reformulating the update operation as a function on theories, we show that Katsuno and Mendelzon’s original postulates are not sufficient to provide a characterization theorem. A strengthening of postulate (U8) is needed for a representation result. The new definition of update on (possibly infinite) languages puts the two main notions of theory change (update and revision) in the same ground and opens the way to a better comparison of their properties.
Uploads
Papers