Bicocca Open Archive

Logo unimib boa

Peñaloza, R. (2009). Using Tableaux and Automata for Pinpointing in EL. In TABLEAUX 2009 Wokshop on Tableaux versus Automata as Logical Decision Methods (AutoTab'09). University of Oslo.

Using Tableaux and Automata for Pinpointing in EL

Peñaloza, R
2009
paper
axiom pinpointing, description logics
English
Workshop on Tableaux versus Automata as Logical Decision Methods
2009
Goranko, V
TABLEAUX 2009 Wokshop on Tableaux versus Automata as Logical Decision Methods (AutoTab'09)
2009
open
Peñaloza, R. (2009). Using Tableaux and Automata for Pinpointing in EL. In TABLEAUX 2009 Wokshop on Tableaux versus Automata as Logical Decision Methods (AutoTab'09). University of Oslo.
02 - Intervento a convegno
File in questo prodotto:
File Dimensione Formato  
Pena-AT09.pdf

accesso aperto

Tipologia di allegato: Submitted Version (Pre-print)
Dimensione 151.81 kB
Formato Adobe PDF
Visualizza/Apri
151.81 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/256771
Citazioni
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
Social impact