![]() ![]() ![]() | ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Note: Links lead to the DBLP on the Web. Matthew Beaumont 3 John Thornton , Matthew Beaumont, Abdul Sattar , Michael J. Maher : Applying Local Search to Temporal Reasoning. TIME 2002 : 94-99 2 Matthew Beaumont, Abdul Sattar , Michael J. Maher , John Thornton : Solving Overconstrained Temporal Reasoning Problems. Australian Joint Conference on Artificial Intelligence 2001 : 37-49 1 Rattana Wetprasit , Abdul Sattar , Matthew Beaumont: An Experimental Study of Reasoning with Sequences of Point Events. PRICAI 1998 : 317-328 ![]() DiSC'03 © 2003 Association for Computing Machinery |