Constraint logic programming for structure-based reasoning about dynamic physical systems.

Yousri El Fattah

Published in: Artif. Intell. Eng. (1996)

Keyphrases

physical systems
constraint logic programming
reasoning about physical systems
causal models
constraint solving
logic programming
special case
complex systems
qualitative and quantitative
model based diagnosis
cooperative
search space
answer set programming