Solving Over-Constrained Temporal Reasoning Problems Using Local Search.

Matthew Beaumont John Thornton Abdul Sattar Michael J. Maher

Published in: PRICAI (2004)

Keyphrases

reasoning problems
combinatorial optimization
description logics
reasoning tasks
temporal reasoning
decision procedures
search algorithm
computational properties
temporal information
search space
temporal constraints
constraint satisfaction problems
simulated annealing
ontology languages
tree decomposition