Publications

Diagnosis and Debugging as Contradiction Removal in Logic Programs

AuthID
P-008-NS1

Author(s)

Pereira, LM

Damásio, CV

Alferes, JJ

Editor(s)

Filgueiras,M;Damas,L

Document Type

Proceedings Paper

Year published

1993

Published

in Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings in Lecture Notes in Computer Science, ISSN: 03029743

Volume: 727, Pages: 183-197 (14)

Indexing

Scopus^®

Dblp^®/en/publications/view/284449

Crossref^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/3-540-57287-2_47

DBLP: conf/epia/PereiraDA93

SCOPUS: 2-s2.0-85026671826

Source Identifiers

ISSN: 03029743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Diagnosis and Debugging as Contradiction Removal in Logic Programs

Useful Links

Get Help

Federated Authentication (Click on the image)

Diagnosis and Debugging as Contradiction Removal in Logic Programs

Useful Links

Get Help