(Hyper)sequent Calculi for the ALC(S4) Description Logics

Fuente: Redalyc

Saved in:

Bibliographic Details
Main Author:	Juan Pablo Muñoz
Format:	Artículo científico
Language:	en
Published:	Instituto Politécnico Nacional 2016
Subjects:	Computación proof theory (Hyper)sequents Description logics automated reasoning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet