| 2004 | KR | Expressive Power and Succinctness of Propositional Languages for Preference Representation. | Sylvie Coste-Marquis, Jrme Lang, Paolo Liberatore, Pierre Marquis |
| 2002 | AAAI | The Size of MDP Factored Policies. | Paolo Liberatore |
| 2002 | ECAI | The Complexity of Checking Redundancy of CNF Propositional Formulae. | Paolo Liberatore |
| 2002 | ECAI | Uncontroversial Default Logic. | Paolo Liberatore |
| 2002 | KR | Solving QBF by SMV. | Francesco M. Donini, Paolo Liberatore, Fabio Massacci, Marco Schaerf |
| 2000 | AAAI | Compilability of Abduction. | Paolo Liberatore, Marco Schaerf |
| 2000 | ECAI | Verification Programs for Abduction. | Paolo Liberatore, Francesco M. Donini |
| 2000 | JELIA | A Framework for Belief Update. | Paolo Liberatore |
| 2000 | KR | BReLS: A System for the Integration of Knowledge Bases. | Paolo Liberatore, Marco Schaerf |
| 1998 | ECAI | On Non-Conservative Plan Modification. | Paolo Liberatore |
| 1998 | ECAI | The Complexity of Model Checking for Propositional Default Logics. | Paolo Liberatore, Marco Schaerf |
| 1998 | KR | On the Compilability of Diagnosis, Planning, Reasoning about Actions, Belief Revision, etc. | Paolo Liberatore |
| 1997 | ICDT | The Complexity of Iterated Belief Revision. | Paolo Liberatore |
| 1997 | IJCAI | The Complexity of Belief Update. | Paolo Liberatore |
| 1996 | AAAI | The Complexity of Model Checking for Belief Revision and Update. | Paolo Liberatore, Marco Schaerf |
| 1996 | KR | Comparing Space Efficiency of Propositional Knowledge Representation Formalisms. | Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf |
| 1995 | IJCAI | Relating Belief Revision and Circumscription. | Paolo Liberatore, Marco Schaerf |
| 1995 | PODS | The Size of a Revised Knowledge Base. | Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf |