Publications

The Extended Stable Models of Contradiction Removal Semantics

AuthID
P-001-R3D

Author(s)

PEREIRA, LM

ALFERES, JJ

APARICIO, JN

Editor(s)

Barahona, P; Pereira, LM; Porto, A

Document Type

Proceedings Paper

Year published

1991

Published

in EPIA 91 in LECTURE NOTES IN ARTIFICIAL INTELLIGENCE

Volume: 541, Pages: 105-119 (15)

Conference

5Th Portuguese Conf On Artificial Intelligence, Date: OCT 01-03, 1991, Location: ALBUFEIRA, PORTUGAL, Sponsors: 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