A Graph Theoretic Optimisation of Temporal Abductive Validation.
Tim MenziesRobert F. CohenPublished in: EUROVAV (1997)
Keyphrases
- graph theoretic
- graph theory
- random graphs
- temporal constraints
- bayesian network structure learning
- spatial and temporal
- spatio temporal
- temporal information
- temporal data
- maximum independent set
- background knowledge
- temporal reasoning
- temporal patterns
- abductive reasoning
- hamiltonian path
- abductive logic programming