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 × Germany
1 × Italy
4 × USA
Collaborated with:
A.Schaerf T.Mancini M.Schaerf F.M.Donini P.Liberatore M.Lenzerini T.Eiter G.Gottlob L.Palopoli D.Vasile
Talks about:
knowledg (3) languag (3) specif (3) problem (2) compil (2) queri (2) local (2) constraint (1) represent (1) framework (1)

Person: Marco Cadoli

DBLP DBLP: Cadoli:Marco

Contributed to:

KR 20042004
PODS 20022002
ESOP 20012001
PADL 19991999
TOOLS Europe 19991999
KR 19961996
PODS 19951995
KR 19941994
KR 19921992

Wrote 9 papers:

KR-2004-CadoliM #automation #constraints #specification
Automated Reformulation of Specifications by Safe Delay of Constraints (MC, TM), pp. 388–398.
PODS-2002-CadoliM #compilation #query #synthesis
Knowledge Compilation = Query Rewriting + View Synthesis (MC, TM), pp. 199–208.
ESOP-2001-CadoliS #compilation #problem #satisfiability #specification
Compiling Problem Specifications into SAT (MC, AS), pp. 387–401.
PADL-1999-CadoliPSV #execution #named #problem #specification
NP-SPEC: An Executable Specification Language for Solving All Problems in NP (MC, LP, AS, DV), pp. 16–30.
TOOLS-EUROPE-1999-SchaerfLC #algorithm #c++ #framework
LOCAL++: A C++ Framework for Local Search Algorithms (AS, ML, MC), pp. 152–161.
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.
KR-1994-CadoliEG #logic #query
Default Logic as a Query Language (MC, TE, GG), pp. 99–108.
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.