Publicações

The Extended Stable Models of Contradiction Removal Semantics

AuthID
P-001-R3D

Author(s)

PEREIRA, LM

ALFERES, JJ

APARICIO, JN

Editor(es)

Barahona, P; Pereira, LM; Porto, A

Tipo de Documento

Proceedings Paper

Year published

1991

Publicado

in EPIA 91 in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE

Volume: 541, Páginas: 105-119 (15)

Conference

5Th Portuguese Conf On Artificial Intelligence, Date: OCT 01-03, 1991, Location: ALBUFEIRA, PORTUGAL, Patrocinadores: PORTUGUESE ASSOC ARTIFICIAL INTELLIGENCE, FDN CALOUSTE GUTBENKIAN, INST NACL INVESTIGAC CIENT & TECNOL, JUNTA NACL INVESTIGAC CIENT & TECNOL, FDN LUSO AMER DESENVOLVIMENTO, BANCO ESPIRITO SANTO & COMERCIAL LISBOA, CAIXA GERAL DEPOSITOS, COMPANHIA PORTUGUESA RADIO MARCONI, ALCATEL PORTUGAL, IBM PORTUGUESA

Indexing