Diagnosis and Debugging as Contradiction Removal

AuthID
 P-001-NQM
3
Author(s)
2
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
Wos®
Dblp®/en/publications/view/55028
Publication Identifiers
Dblp: conf/lpnmr/PereiraDA93
Wos: WOS:A1993BA16V00019
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service