Revision based total semantics for extended normal logic programs
| Contribuinte(s) |
Pereira, Luís Moniz Rocha, Isabel |
|---|---|
| Data(s) |
05/02/2014
05/02/2014
2013
|
| Resumo |
Dissertação para obtenção do Grau de Doutor em Matemática - Lógica e Fundamentos da Matemática Fundação para a Ciência e Tecnologia - SFRH/ PROTEC/49747/2009 |
| Identificador |
http://hdl.handle.net/10362/11315 101287135 |
| Idioma(s) |
eng |
| Publicador |
Faculdade de Ciências e Tecnologia |
| Direitos |
openAccess |
| Palavras-Chave | #Total paraconsistent models #Declarative debugging #Inconsistency propagation detection #Defectivity #Excessiveness #Irregularity |
| Tipo |
doctoralThesis |
