Title: Department of Computer Science Seminar
Date:  Thursday, March 2, 2000
Time: 10:00am to 11:00 am
Venue: Room N101, CSIT Building [108]
Speaker: Dr Abdul Sattar (School of Computing and Information Technology
          Griffith University)
Description: "Representing and Reasoning with Real World Problems
        (Current Research Interests and Future Plans)"


Abstract:


The Knowledge Representation and Reasoning Unit (KRRU) 
within the School of Computing and Information Technology 
has been investigating several research problems 
in strategically important areas of Computer Science 
and Artificial Intelligence for last 8 years. 
This talk will give an overview of our major research projects 
including constraint satisfaction and scheduling, 
temporal reasoning, hypothetical reasoning and intelligent agents. 
An interesting result about extending the Interval Algebra 
(a well known framework for respresenting and reasoning 
with temporal relations) to capture duration information
about intervals will be briefly presented.  
Further, our plans for conducting both basic and applied research 
in next five years will be discussed.


Biography: 
Abdul Sattar holds BSc (Physics, Chemistry and Mathematics; 
University of Rajsthan), MSc (Physics; University of Rajasthan), 
MPhil (Computer and System Sciences; Jawaharlal Nehru University); 
MMath (Computer Science; University of Waterloo); 
and PhD (Computing Science; University of Alberta).
He has been a faculty member within the School of Computing 
and Information Technology at Griffith University 
since February 1992. His current research interests 
includes logic-based knowledge representation, 
constraint satisfaction, temporal reasoning 
and intelligent agents.

Abdul Sattar is the Secretary-Treasurer of 
Pacific Rim International Conference on Artificial Intelligence 
(PRICAI) series, and an executive member of the ACS's National
Committee on AI and Expert Systems.

URL: http://cs.anu.edu.au/lib/seminars/seminars00/dept20000302