BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Liberatore:Paolo

Contributed to:

KR 20042004
KR 20022002
KR 20002000
KR 19981998
KR 19961996
PODS 19951995

Wrote 6 papers:

KR-2004-Coste-MarquisLLM #representation
Expressive Power and Succinctness of Propositional Languages for Preference Representation (SCM, JL, PL, PM), pp. 203–212.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.