Travelled to:1 × Canada
1 × France
1 × Italy
3 × USA
Collaborated with:M.Schaerf F.M.Donini ∅ M.Cadoli S.Coste-Marquis J.Lang P.Marquis F.Massacci
Talks about:knowledg (3) represent (2) proposit (2) revis (2) base (2) succinct (1) diagnosi (1) languag (1) express (1) system (1)
Person: Paolo Liberatore
DBLP: Liberatore:Paolo
Contributed to:
20042002200019981996
1995Wrote 6 papers:
- KR-2004-Coste-MarquisLLM #representation
- Expressive Power and Succinctness of Propositional Languages for Preference Representation (SCM, JL, PL, PM), pp. 203–212.
- KR-2002-DoniniLMS
- Solving QBF by SMV (FMD, PL, FM, MS), pp. 578–592.
- KR-2000-LiberatoreS #integration #knowledge base #named
- BReLS: A System for the Integration of Knowledge Bases (PL, MS), pp. 145–152.
- KR-1998-Liberatore #on the #reasoning
- On the Compilability of Diagnosis, Planning, Reasoning about Actions, Belief Revision, etc (PL), pp. 144–155.
- KR-1996-CadoliDLS #information management #performance #representation
- Comparing Space Efficiency of Propositional Knowledge Representation Formalisms (MC, FMD, PL, MS), pp. 364–373.
- PODS-1995-CadoliDLS #knowledge base
- The Size of a Revised Knowledge Base (MC, FMD, PL, MS), pp. 151–162.