Carlos Augusto Isaac Piló Viegas Damásio


AuthID: R-000-36A

Confirmed Publications: 62



61
TITLE: DIAGNOSIS AND DEBUGGING AS CONTRADICTION REMOVAL
AUTHORS: PEREIRA, LM ; DAMASIO, CV ; ALFERES, JJ ;
PUBLISHED: 1993, SOURCE: 2nd International Workshop on Logic Programming and Non-monotonic Reasoning in LOGIC PROGRAMMING AND NON-MONOTONIC REASONING
INDEXED IN: WOS DBLP
62
TITLE: Diagnosis and Debugging as Contradiction Removal in Logic Programs
AUTHORS: Luís Moniz Pereira ; Carlos Viegas Damásio ; José Júlio Alferes ;
PUBLISHED: 1993, SOURCE: Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA '93, Porto, Portugal, October 6-8, 1993, Proceedings, VOLUME: 727
INDEXED IN: DBLP CrossRef
Page 7 of 7. Total results: 62.

A place for researchers and their institutions

Useful Links

Get Help

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