Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

EPIA
1993
Springer

favoriteEmaildiscussreport

86views Artificial Intelligence» more EPIA 1993»

Diagnosis and Debugging as Contradiction Removal in Logic Programs

13 years 8 months ago

Diagnosis and Debugging as Contradiction Removal in Logic Programs

Download centria.di.fct.unl.pt

Luís Moniz Pereira, Carlos Viegas Dam&aacut

Real-time Traffic

Artificial Intelligence | EPIA 1993 |

claim paper

Related Content

» Declarative Diagnosis of Temporal Concurrent Constraint Programs

» A Formalization of Program Debugging in the Situation Calculus

» Value Withdrawal Explanation in CSP

» Hierarchical Decision Making in Multiagent Systems Using Answer Set Programming

» The Interactive Curry Observation Debugger iCODE

» Computing minimum cost diagnoses to repair populated DLbased ontologies

» Enhancing sourcelevel programming tools with an awareness of transparent program transform...

» Forward Slicing by Conjunctive Partial Deduction and Argument Filtering

» SourceTracking Unification

Post Info
More Details (n/a)

Added	09 Aug 2010
Updated	09 Aug 2010
Type	Conference
Year	1993
Where	EPIA
Authors	Luís Moniz Pereira, Carlos Viegas Damásio, José Júlio Alferes

Comments (0)