A tableau calculus for a nonmonotonic extension of EL^ bot

Laura GIORDANO; V GLIOZZI; N OLIVETTI; G. L. POZZATO

A tableau calculus for a nonmonotonic extension of EL^ bot

Laura GIORDANO, V GLIOZZI, N OLIVETTI, G. L. POZZATO

Dipartimento di Scienze e Innovazione Tecnologica

Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno

Lingua originale	Inglese
Pagine	180-195
Numero di pagine	16
Stato di pubblicazione	Pubblicato - 2011
Evento	TABLEAUX 2011 (20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods) - Bern, Switzerland Durata: 1 gen 2011 → …

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???	TABLEAUX 2011 (20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods)
Città	Bern, Switzerland
Periodo	1/01/11 → …

Accesso al documento

http://hdl.handle.net/11579/15078

Altri file e collegamenti

handle

Cita questo

@conference{122cddf7e4604240abb9db3db81dc413,

title = "A tableau calculus for a nonmonotonic extension of EL\textasciicircum{} bot",

author = "Laura GIORDANO and V GLIOZZI and N OLIVETTI and POZZATO, \{G. L.\}",

year = "2011",

language = "English",

pages = "180--195",

note = "TABLEAUX 2011 (20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods) ; Conference date: 01-01-2011",

}

TY - CONF

T1 - A tableau calculus for a nonmonotonic extension of EL^ bot

AU - GIORDANO, Laura

AU - GLIOZZI, V

AU - OLIVETTI, N

AU - POZZATO, G. L.

PY - 2011

Y1 - 2011

UR - https://iris.uniupo.it/handle/11579/15078

M3 - Paper

SP - 180

EP - 195

T2 - TABLEAUX 2011 (20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods)

Y2 - 1 January 2011

ER -