[IEEE Comput. Soc TIME-2000. Seventh International Workshop on Temporal Representation and Reasoning - Cape Breton, NS, Canada (7-9 July 2000)] Proceedings Seventh International Workshop on Temporal Representation and Reasoning. TIME 2000 - Reasoning about generalized intervals: Horn representability and tractability
Balbiani, P., Condotta, J.-F., Ligozat, G.Year:
2000
Language:
english
DOI:
10.1109/time.2000.856580
File:
PDF, 237 KB
english, 2000