Find out how ICT can support biomedical and clinical researchFind out more. From Clever cars to clever farms... Embedded Systems
Agents

Mission

We aim to formally represent and efficiently reason with  meaningful knowledge from natural and human engineered emergencies. The focus is on automated systems that assist in making timely, informed and intelligent  decisions that accommodate the resource and other constraints inherent in emergency situations.


Research areas

There are three key research areas in our work package: Automated Reasoning, Agent Coordination and Ontology Management.

People


Name Working Area Title
Abdul Sattar Automated Reasoning Team Leader
Duc Nghia Pham Automated Reasoning Researcher
Charles Gretton Automated Reasoning Researcher
John Thornton Automated Reasoning Researcher
Guido Governatori Agent Coordination Researcher
Kewen Wang Ontology Management Researcher
Thomas Meyer Ontology Management Researcher
Abdelraouf Ishtaiwi Automated Reasoning PhD Student
Duy Hoang Pham Agent Coordination PhD Student
Nathan Robinson Automated Reasoning PhD Student
Silvia Richter Automated Reasoning PhD Student
Fu Leung Cheng Ontology Management PhD Student

Publication


Books, Book Chapters

Meyer, T., & Orgun, M. (eds.) (2005). Advances in Ontologies 2005, Conferences in  Research and Practice in Information Technology, Volume 58, Australian Computer Society.
Meyer, T., & Orgun, M. (eds.) (2006). Advances in Ontologies 2006, Conferences in  Research and Practice in Information Technology, Volume 72, Australian Computer Society.

Journal Papers

Pham, D. N., Thornton, J. R., & Sattar, A. (2008). "Modelling and Solving Temporal Reasoning as Propositional Satisfiability". Artificial Intelligence Journal (AIJ) To appear. pdf
Pham, D. N., Thornton, J. R., Gretton, C., & Sattar, A. (2008). "Combining Adaptive and Dynamic Local Search for Satisfiability". Journal on Satisfiability, Boolean Modeling and Computation (JSAT) 4:149-172. pdf
Thiebaux, S., Gretton, C., Slaney, J., Price, D., & Kabanza, F. (2006).  Decision-Theoretic Planning with non-Markovian Rewards. Journal of Artificial Intelligence Research, 25:17-74. pdf

Referred Conference Papers

Robinson, N., Gretton, C., Pham, D. N., & Sattar, A. (2008). "A Compact and Efficient SAT Encoding for Planning". In Proceedings of the International Conference on Automated Planning and Scheduling, ICAPS-2008, Sydney, Australia. To appear.
Pham, D. N., Thornton, J. R., & Sattar, A. (2008). "Efficiently Exploiting Dependencies in Local Search for SAT". In Proceedings of the 23rd National Conference on Artificial Intelligence, AAAI-2008, Chicago, Illinois. To appear. pdf
Richter,S., Helmert, M., & Westphal, M. (2008). "Landmarks Revisited". In Proceedings of the 23rd National Conference on Artificial Intelligence, AAAI-2008, Chicago, Illinois. To appear. pdf
Pham, D. N., Thornton, J. R., Gretton, C., & Sattar, A. (2007). "Advances in Local Search for Satisfiability". In Proceedings of the 20th Australian Joint Conference on Artificial Intelligence, AI-2007, Gold Coast, Australia. Lecture Notes in Computer Science 4830, Springer. 213-222. pdf
Gretton, C. (2007). "Gradient-Based Relational Reinforcement-Learning of Temporally Extended Policies". In Proceedings of the International Conference on Automated Planning and Scheduling, ICAPS-2007, Providence, Rhode Island. 168-175. pdf
Pham, D. N., Thornton, J. R., & Sattar, A. (2007). "Building Structure into Local Search  for SAT". In Proceedings of the 20th International Joint Conference on Artificial Intelligence, IJCAI-2007, Hyderabad, India. 2359-2364.  Distinguished Paper Award. pdf
Richter, S., Helmert, M., & Gretton, C. (2007). "A Stochastic Local Search Approach to Vertex Cover". In Proceedings of the 30th German Conference on Artificial Intelligence, KI-2007. 412-426. pdf
Pham, D. N., Thornton, J. R., & Sattar, A. (2006). "Towards an Efficient SAT Encoding for  Temporal Reasoning". In Proceedings of the 12th International Conference on Principles and Practice of Constraint Programming, CP-2006,  Nantes, France. 421-436. pdf
Meyer, T., Lee, K., Pan, J., & Booth, R. (2006). "Finding Maximally Satisfiable  Terminologies for the Description Logic ALC". In Proceedings of the 21st National Conference on Artificial Intelligence, AAAI-2006, Boston,  Massachusetts, USA. 269-274.
Ishtaiwi, A., Thornton, J. R., Anbulagan, Sattar, A., & Pham, D. N. (2006). "Adaptive  Clause Weight Redistribution". In Proceedings of the 12th International Conference on Principles and Practice of Constraint Programming,  CP-2006, Nantes, France. 229-243. pdf
Pham, D. N., Thornton, J. R., Sattar, A., & Ishtaiwi, A. (2005). "SAT-based versus  CSP-based Constraint Weighting for Satisfiability". In Proceedings of the 20th National Conference on Artificial Intelligence, AAAI-2005,  Pittsburgh, Pennsylvania, USA. 455-460. pdf
Anbulagan, Pham, D. N., Slaney, J. R., & Sattar, A. (2005). "Old Resolution Meets Modern  SLS". In Proceedings of the 20th National Conference on Artificial Intelligence, AAAI-2005, Pittsburgh, Pennsylvania, USA. 354-359. pdf
Meyer, T., Lee, K., & Booth, R. (2005). "Knowledge integration for description logics".  In Proceedings of the 20th National Conference on Artificial Intelligence, AAAI-2005, Pittsburgh, Pennsylvania, USA. 645-650.
Ishtaiwi, A., Thornton, J. R., Sattar, A., & Pham, D. N. (2005). "Neighbourhood Clause  Weight Redistribution in Local Search for SAT". In Proceedings of the 11th International Conference on Principles and Practice of Constraint  Programming, CP-2005, Sitges, Spain. 772-776. pdf

Referred Workshop Papers

Schwitter, R., Cregan, A., & Meyer, T. (2007). "Sydney OWL Syntax - towards a Controlled  Natural Language Syntax for OWL 1.1". In Proceedings of the 3rd International Workshop on OWL: Experiences and Directions, OWL-ED-2007. [to  appear]
Meyer, T., Lee, K., & Pan, J. (2006). "Computing Maximally Satisfiable Terminologies for  the Description Logic ALC with Cyclic Definitions". In Proceedings of the Intenational Workshop on Description Logics, DL-2006.
Meyer, T., Lee, K., & Booth, R. (2005). "Knowledge integration for description logics".  In Proceedings of the 7th International Symposium on Logical Formalizations of Commonsense Reasoning.

Contact


Prof. Abdul Sattar

Queensland Research Laboratory,

L20/300 Adelaide St,  Brisbane, QLD 4000, Australia

Phone: (+61 7) 3000 0496

Fax:     (+61 7) 3000 0480

Email: abdul (dot) sattar (at) nicta (dot) com (dot) au