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: Schaerf:Marco
Contributed to:
2014
2011
200220001996
199519931992Wrote 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.
- 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-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.