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

No
paper
Scientifica
axiom pinpointing, description logics
English
Workshop on Tableaux versus Automata as Logical Decision Methods
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.
Peñaloza, R
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
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