Items where Author is "Vescovi, Michele"

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Item Type | No Grouping
Number of items: 3.

Vescovi, Michele and Sebastiani, Roberto and Haarlsev, Volker (2011) Automated Reasoning on TBoxes with Qualified Number Restrictions via SMT. UNSPECIFIED. (Unpublished)

Sebastiani, Roberto and Vescovi, Michele (2009) Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis. UNSPECIFIED. (Unpublished)

Sebastiani, Roberto and Vescovi, Michele (2006) Encoding the satisfiability of modal and description logics into SAT: the case study of K(m)/ALC. UNSPECIFIED. (Submitted)

This list was generated on Tue Jul 23 01:05:47 2024 CEST.