Declarative Diagnosis of Temporal Concurrent Constraint Programs.
Moreno FalaschiCarlos OlarteCatuscia PalamidessiFrank ValenciaPublished in: ICLP (2007)
Keyphrases
- temporal information
- spatio temporal
- knowledge representation
- temporal constraints
- concurrent programs
- model based diagnosis
- temporal databases
- spatial and temporal
- fault diagnosis
- temporal reasoning
- domain independent
- temporal dimension
- deductive database systems
- declarative semantics
- medical diagnosis
- temporal data
- computer programs
- temporal evolution
- automatic diagnosis
- multiple faults
- high level
- logic programs
- linear constraints
- fixpoint
- temporal relations
- constraint language
- answer sets
- attribute grammars
- source code
- logic programming