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 × Poland
1 × USA
Collaborated with:
R.Sebastiani V.Haarslev
Talks about:
descript (2) logic (2) encod (2) sat (2) lightweight (1) pinpoint (1) conflict (1) satisfi (1) analysi (1) reason (1)

Person: Michele Vescovi

DBLP DBLP: Vescovi:Michele

Contributed to:

CADE 20112011
CADE 20092009
SAT 20062006

Wrote 3 papers:

CADE-2011-HaarslevSV #automation #reasoning #smt
Automated Reasoning in 𝒜ℒ𝒞𝒬 via SMT (VH, RS, MV), pp. 283–298.
CADE-2009-SebastianiV #analysis #axiom #encoding #lightweight #logic
Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis (RS, MV), pp. 84–99.
SAT-2006-SebastianiV #case study #encoding #logic #satisfiability
Encoding the Satisfiability of Modal and Description Logics into SAT: The Case Study of K(m)/ALC (RS, MV), pp. 130–135.

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.