Diagnosis and Debugging as Contradiction Removal in Logic Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes. Diagnosis and Debugging as Contradiction Removal in Logic Programs. In Miguel Filgueiras, Luís Damas, editors, Progress in Artificial Intelligence, 6th Portuguese Conference on Artificial Intelligence, EPIA 93, Porto, Portugal, October 6-8, 1993, Proceedings. Volume 727 of Lecture Notes in Computer Science, pages 183-197, Springer, 1993.

This author has not been identified. Look up 'Luís Moniz Pereira' in GoogleThis author has not been identified. Look up 'Carlos Viegas Damásio' in GoogleThis author has not been identified. Look up 'José Júlio Alferes' in Google

runs on WebDSL