BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:www.tcs.tifr.res.in/event/359
DTSTAMP:20230914T125921Z
SUMMARY:Local Search for Computationally Hard Constraint Satisfaction Probl
 ems
DESCRIPTION:Speaker: Abdul Sattar (Griffith University\nBldg N34 Room 1.45\
 n170\, Kessles Road\, Nathan\nBrisbane\, Queensland 4111\nAustralia)\n\nAb
 stract: \nSince the emergence of Artificial Intelligence (AI) as a new fie
 ld of modern science and engineering  about 6 decades ago\, concerted eff
 orts have been made on designing and developing expressively adequate lang
 uages to represent knowledge about real world domains\, and building compu
 tational tools to efficiently reason with these representations. Indeed\, 
 these two aspects of intelligent systems remain the fundamental challenges
  of AI.  This talk will first give an overview of the AI challenge in gen
 eral. We will then focus on the constraint satisfaction paradigm that has 
 become a powerful approach to model real world problems and solve them eff
 iciently using general purpose constraint solving techniques. We will pres
 ent some of our recent successes on solving the propositional satisfiabili
 ty problems\, and some open issues.\n\n\nBio: Professor Abdul Sattar is th
 e founding Director of the Institute for Integrated and Intelligent System
 s and a Professor of  Computer Science and Artificial Intelligence at Gri
 ffith University. He is also a Research Leader at National ICT Australia (
 NICTA) Queensland Research Lab (QRL)  where he held  the position of  Q
 RL Education Director\, the leader of the SAFE Agents project (July 2005-J
 une 2008)\, and currently leading the QRL node of the NICTA's largest proj
 ect\, Advance Technologies for Optimisation and Modelling In Constraints (
 ATOMIC).  He has been an academic staff member at Griffith University sin
 ce February 1992 as a lecturer (1992-95)\, senior lecturer (1996-99)\, and
  professor (2000-present) within the School of Information and Communicati
 on Technology.  Prior to his career at Griffith University\, he was a lec
 turer in Physics in Rajasthan\, India (1980-82)\, research scholar at Jawa
 harlal Nehru University\, India (1982-85)\, the University of Waterloo\, C
 anada (1985-87)\, and the University of Alberta\, Canada (1987-1991).\nHe 
 has won several awards starting from the national scholarships during his 
 studies in India (1974-79)\, a Commonwealth scholarship in Canada (1985-19
 90)\, to a number of research grants. The main grants include 7 ARC Large/
 Discovery grants (worth approximately $1.5M). He has published over 120 re
 fereed papers in international journals and conferences\, a large number o
 f these papers appeared in A* and A category conferences and journals. His
  research team has won 3 international awards in recent years including IJ
 CAI 2007 Distinguished Paper award\, Gold Medals in the 2005 and 2007 SAT 
 solver competitions. He has supervised successful completion of 13 PhD stu
 dents as a principal supervisor.\n\nHis current research interests include
  knowledge representation and reasoning\, constraint satisfaction\, intell
 igent scheduling\, rational agents\, propositional satisfiability\, tempor
 al reasoning\, temporal databases\, and computational proteomics.\n
URL:https://www.tcs.tifr.res.in/web/events/359
DTSTART;TZID=Asia/Kolkata:20130429T103000
DTEND;TZID=Asia/Kolkata:20130429T113000
LOCATION:AG-80
END:VEVENT
END:VCALENDAR