
On Mixed Iterated Revisions
Several forms of iterable belief change exist, differing in the kind of ...
read it

Merging with unknown reliability
Merging beliefs depends on the relative reliability of their sources. Wh...
read it

Reconstructing a singlehead formula to facilitate logical forgetting
Logical forgetting may take exponential time in general, but it does not...
read it

One head is better than two: a polynomial restriction for propositional definite Horn forgetting
Logical forgetting is NPcomplete even in the simple case of proposition...
read it

Common equivalence and size after forgetting
Forgetting variables from a propositional formula may increase its size....
read it

The ghosts of forgotten things: A study on size after forgetting
Forgetting is removing variables from a logical formula while preserving...
read it

Belief revision by examples
A common assumption in belief revision is that the reliability of the in...
read it

On the Complexity of Finding SecondBest Abductive Explanations
While looking for abductive explanations of a given set of manifestation...
read it

On the size of data structures used in symbolic model checking
Temporal Logic Model Checking is a verification method in which we descr...
read it

Redundancy in Logic I: CNF Propositional Formulae
A knowledge base is redundant if it contains parts that can be inferred ...
read it

Compilability of Abduction
Abduction is one of the most important forms of reasoning; it has been s...
read it
Paolo Liberatore
is this you? claim profile