Publications

Diagnosis and Debugging as Contradiction Removal

AuthID
P-001-NQM

Author(s)

PEREIRA, LM

DAMASIO, CV

ALFERES, JJ

Editor(s)

Pereira, LM; Nerode, A

Document Type

Proceedings Paper

Year published

1993

Published

in LOGIC PROGRAMMING AND NON-MONOTONIC REASONING

Pages: 316-330 (15)

Conference

2Nd International Workshop on Logic Programming and Non-Monotonic Reasoning, Date: JUN, 1993, Location: LISBON, PORTUGAL, Sponsors: CORNELL UNIV, MATH SCI INST, USA RES OFF, AMER ASSOC ARTIFICIAL INTELLIGENCE, PORTUGUESE ASSOC ARTIFICIAL INTELLIGENCE, DIGITAL PORTUGAL, PORTUGUESE AMER FDN DEV, COMMISS EUROPEAN COMMUNITIES DGXIII, ESPRIT COMPULOG NET, JUNTA NACL INVEST CIENT PORTUGAL, UNIV NOVA LISBOA, CALOUSTE GULBENKIAN FDN

Indexing