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: Cadoli:Marco
Contributed to:
2004
2002
2001
1999
19991996199519941992Wrote 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.