Michele Vescovi und Roberto Sebastiani - Info zur Person

(1 - 12 von 12

)

Automated Deduction – CADE-22: 22nd International Conference ...books.google.ie › books

books.google.ie

... via Horn-SAT Encoding and Conflict Analysis⋆ Roberto Sebastiani and Michele Vescovi DISI, Università di Trento, Italy &#.it Abstract.

Theory and Applications of Satisfiability Testing - SAT 2006: 9th ...books.google.com › books

books.google.de

... and Description Logics into SAT: The Case Study of K(m)/ALC Roberto Sebastiani and Michele Vescovi DIT, Universit`a di Trento, Via Sommarive 14, I , ...

dblp: Roberto Sebastiani

dblp.uni-trier.de

List of computer science publications by Roberto Sebastiani

Axiom Pinpointing in Lightweight Description Logics via Horn-SAT...

link.springer.com

Conflict Analysis. *. Roberto Sebastiani and Michele Vescovi. DISI, Università ...

Automated Reasoning in [equation] via SMT | SpringerLink

link.springer.com

Automated Reasoning in \mathcal{ALCQ} via SMT. Authors; Authors and affiliations. Volker Haarslev; Roberto Sebastiani; Michele Vescovi. Volker Haarslev. 1.

Encoding the Satisfiability of Modal and Description SpringerLinklink.springer.com › chapter

link.springer.com

... of Modal and Description Logics into SAT: The Case Study of K(m)/\mathcal{ ALC}. Authors; Authors and affiliations. Roberto Sebastiani; Michele Vescovi.

Axiom Pinpointing in Lightweight Description Logics via Horn ...link.springer.com › chapter

link.springer.com

Roberto Sebastiani; Michele Vescovi. Roberto Sebastiani. 1. Michele Vescovi DISIUniversità di TrentoItaly. Conference paper. 13 Citations · 9 Readers ...

Alle Infos zum Namen "Michele Vescovi"

EL + SAT (2014 edition) - DISI UniTndisi.unitn.it › ~rseba › elsat

disi.unitn.it

Roberto Sebastiani and Michele Vescovi Axiom Pinpointing in Large EL+ Ontologies via SAT and SMT Techniques, DISI Technical report DISI

[ ] Automated Reasoning in Modal and Description Logics via...

128.84.21.199

Authors:Roberto Sebastiani, Michele Vescovi. (Submitted on 15 Jan 2014). Abstract: In the last two decades, modal and description logics have been applied to ...

Axiom Pinpointing in Lightweight Description Logics via Horn ...www.springerprofessional.de › axiom-pinpointing-in-li...

www.springerprofessional.de

Autoren: Roberto Sebastiani, Michele Vescovi. Verlag: Springer Berlin Heidelberg. Erschienen in: Automated Deduction – CADE-22. » Jetzt Zugang zum Volltext ...

(PDF) Encoding the Satisfiability of Modal and Description Logics...

www.academia.edu

Encoding the satisfiability of modal and description logics into SAT: the case study of K(m)/ALC Roberto Sebastiani and Michele Vescovi DIT, Universit`a di ...

SAT Accepted Papers

fmv.jku.at

Roberto Sebastiani and Michele Vescovi. Encoding the satisfiability of modal and description logics into SAT: the case study of K(m)/ALC. * Ines Lynce and Joao ...

Verwandte Suchanfragen zu Michele Vescovi

Fabio Pianesi
Rose Walker
Mauro Sormani

Personen
Vorname "Michele" (9642)
Name "Vescovi" (35)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Michele Vescovi und Roberto Sebastiani Person-Info