|
|
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
|
|