|
Bernhard Nebel (1996): Solving Hard Qualitative Temporal Reasoning Problems: Evaluating The Efficiency of Using the ORD-Horn Class
Title: |
Solving Hard Qualitative Temporal Reasoning Problems: Evaluating The Efficiency of Using the ORD-Horn Class |
Author(s): |
Bernhard Nebel |
Year: |
1996 |
Pages: |
1-5 |
Concepts
|
|