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 × France
5 × USA
Collaborated with:
P.Liberatore M.Cadoli F.M.Donini A.D.Iorio A.Previti R.Ramanujan B.Selman F.Massacci
Talks about:
knowledg (3) system (2) integr (2) base (2) represent (1) proposit (1) descript (1) approxim (1) satisfi (1) librari (1)

Person: Marco Schaerf

DBLP DBLP: Schaerf:Marco

Contributed to:

JCDL 20142014
SAT 20112011
KR 20022002
KR 20002000
KR 19961996
PODS 19951995
PODS 19931993
KR 19921992

Wrote 8 papers:

JCDL-2014-IorioS #integration #library
The Organization information integration in the management of a Digital Library System (ADI, MS), pp. 461–462.
SAT-2011-PrevitiRSS #satisfiability
Applying UCT to Boolean Satisfiability (AP, RR, MS, BS), pp. 373–374.
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-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.
PODS-1993-Schaerf #database
Negation and Minimality in Non-Horn Databases (MS), pp. 147–157.
KR-1992-CadoliS #approximate #concept
Approximation in Concept Description Languages (MC, MS), pp. 330–341.

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.