University of Nottingham Malaysia
School of Computer Science
     
  

Intelligent Reasoning Agents

Overview

Our research interests and activities are in the area of formal modelling and verification of agent-based systems. This covers the foundations as well as the design, implementation, and application of intelligent agents to social complex systems such as, for example, health-care systems. We are also interested in Semantic Web-&-Agent Technologies, and Ontology-driven context-aware systems. 

Selected Publications 

  1. Rakib, A., Faruqui, R.U., 2012: A formal approach to modelling and verifying resource-bounded context-aware agents. In P.C. Vinh et al. (Eds.): ICCASA 2012, LNICST@ Springer-Verlag, Pages 86-96, Volume 109, Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 2013 (In Press).
  2. Rakib, A., 2012: Formal Approaches to Modelling and Verifying Resourcebounded Agents—state of the Art and Future Prospects. Editorial article in the Journal of Information Technology&Software Engineering, Volume 2(4).
  3. Rakib, A., Faruqui, R.U., MacCaull, W., 2012: Verifying resource requirements for ontology-driven rule-based agents. In Proceedings of the Seventh International Symposium on Foundations of Information and Knowledge Systems (FoIKS'12), T. Lukasiewicz and A. Sali (eds.) LNCS@Springer-Verlag, Pages 313-332, Volume 7153/2012.
  4. Alechina, N., Logan, B., Nga, N.H., Rakib, A., 2011: Logic for coalitions with bounded resources. Journal of Logic and Computation, 21(6): 907-937, Oxford University Press.
  5. Alechina, N., Logan, B., Nga, N.H., Rakib, A., 2010: Resource-bounded alternating-time temporal logic. In Proceedings of the Ninth International Conference on Autonomous Agents and Multiagent Systems (AAMAS'10),Wiebe van der Hoek, Gal A. Kaminka, Yves Lespérance, Michael Luck and Sandip Sen (eds.)@IFFAAMAS Press, pp. 481-488, 2010.
  6. Alechina, N., Logan, B., Nga, N.H., Rakib, A., 2010: Automated verification of resource requirements in multi-agent systems using abstraction. In MoChArt 2010, Ron van der Meyden and Jan-Georg Smaus (eds.) LNCS@Springer-Verlag, Pages 69-84, Volume 6572/2011.
  7. Alechina, N., Logan, B., Nga, N.H., Rakib, A., 2009: Verifying time, memory and communication bounds in systems of reasoning agents. Journal Synthese@Springer-Verlag, Pages 385-403,Volume 169, Number 2 / July, 2009.
  8. Alechina, N., Logan, B., Nga, N.H., Rakib, A., 2009: Expressing Properties of Coalitional Ability under Resource Bounds. In LORI-II'09, Xiangdong He, John Horty, and Eric Pacuit (eds.) LNCS@Springer-Verlag, Pages 1-14, Volume 5834/2009.
  9. Alechina, N., Logan, B., Nga, N.H., Rakib, A., 2009: A Logic for Coalitions with Bounded Resources. In Proceedings of the 21st International Jont Conference on Artifical Intelligence (IJCAI'09), Craig Boutilier (edt.) @AAAI Press, Volume 2, Pages 659-664, 2009.
  10. Alechina, N., Logan, B., Nga, N.H., Rakib, A., 2009: Verifying Properties of Coalitional Ability under Resource Bounds. In Proceedings of the Second Internatinal Workshop on Logics for Agents and Mobility (LAM'09), Los Angeles, California, USA, August 2009.
  11. Alechina, N., Logan, B., Nga, N.H., Rakib, A., 2008: Reasoning about Other Agents' Beliefs under Bounded Resources. In KRAMAS'08, J.-J.Ch. Meyer and J.M. Broersen (Eds.) LNCS@Springer-Verlag, Pages 1-15, Volume 5605/2009.
  12. Alechina, N., Logan, B., Nga, N.H., Rakib, A., 2008: Verifying time and communication costs of rule-based reasoners. In MoChArt'08, D. Peled and M. Wooldridge(eds.) LNCS@Springer-Verlag, Pages 1-14, Volume 5348/2009.
  13. Alechina, N., Logan, B., Nga, N.H., Rakib, A., 2008: Verifying resource requirements for distributed rule-based systems. In Proceedings of the 2nd International Symposium on Rule Representation, Interchange and Reasoning on the Web (RuleML'08), N. Bassiliades, G. Governatori and A. Paschke(eds.) LNCS@Springer-Verlag, Pages 31-38, Volume 5321/2008.
  14. Alechina, N., Logan, B., Nga, N.H., Rakib, A., 2008: Verifying time, memory and communication bounds in systems of reasoning agents. In Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS'08),Padgham, Parkes, Muller and Parsons (eds.)@IFFAAMAS Press, pp. 736-743, 2008.
  15. Alechina, N., Logan, B., Nga, N.H., Rakib, A., 2008: Verification of resource-bounded multi-agent systems. In Proceedings of the Automated Reasoning Workshop, Birmingham, UK, 30-31 July 2008.
  16. Alechina, N., Logan, B., Nga, N.H., Rakib, A., 2008: Verification of Resource Requirements of Distributed Reasoning Agents. In Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL'08), Budapest, Hungary, March 2008.
  17. Rakib, A., Nga, N.H., Alechina, N., Logan, B., 2008: Verification of resource requirements of distributed rule-based reasoners. In Proceedings of the 10th European Agent Systems Summer School, New University of Lisbon, Portugal. 39-45, 2008.
  18. Rakib, A., Parshin, O., Thesing, S., Wilhelm, R., 2004: Component-Wise Instruction-Cache Behavior Prediction. In proceedings of the 2nd International Symposium on Automated Technology for Verification and Analysis (ATVA'04), F. Wang (Ed.) LNCS@Springer-Verlag, Pages 211-229, Volume 3299/2004.
  19. Rakib, A., Parshin, O., Thesing, S., Wilhelm, R., 2004: Component-Wise Instruction-Cache Behavior Prediction . In proceedings of the 4th Intl Workshop On Worst-case Execution Time Analysis (WCET'04), Pages 27-30. Catania, Sicily, Italy, June 2004.

Academic Staff

  • Abdur Rakib (webpage, e-mail: Abdur.Rakib*)

Links 

* e-mail suffix: @nottingham.edu.my

School of Computer Science

The University of Nottingham Malaysia Campus
Jalan Broga, 43500 Semenyih
Selangor Darul Ehsan
Malaysia

telephone: +6 (03) 8924 8767
fax: +6 (03) 8924 8018

Make an enquiry