| 2004 |
|---|
| 5 | EE | Matthew Beaumont,
John Thornton,
Abdul Sattar,
Michael J. Maher:
Solving Over-Constrained Temporal Reasoning Problems Using Local Search.
PRICAI 2004: 134-143 |
| 4 | EE | John Thornton,
Matthew Beaumont,
Abdul Sattar,
Michael J. Maher:
A Local Search Approach to Modelling and Solving Interval Algebra Problems.
J. Log. Comput. 14(1): 93-112 (2004) |
| 2002 |
|---|
| 3 | EE | John Thornton,
Matthew Beaumont,
Abdul Sattar,
Michael J. Maher:
Applying Local Search to Temporal Reasoning.
TIME 2002: 94-99 |
| 2001 |
|---|
| 2 | EE | Matthew Beaumont,
Abdul Sattar,
Michael J. Maher,
John Thornton:
Solving Overconstrained Temporal Reasoning Problems.
Australian Joint Conference on Artificial Intelligence 2001: 37-49 |
| 1998 |
|---|
| 1 | | Rattana Wetprasit,
Abdul Sattar,
Matthew Beaumont:
An Experimental Study of Reasoning with Sequences of Point Events.
PRICAI 1998: 317-328 |
