Selected Publications

    A note on conference papers: Since conferences often publish a multi-tiered hierarchy of papers (full papers, short papers, application-track papers etc.), please apply the following rule on the list below: unless otherwise specified, each conference paper is a full, research-track paper.


    2008

  1. A. Krishna, S. Vilkomir and A. K. Ghose. Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models. Information and Software Technology. (Accepted May, 2008).

  2. A. K. Ghose and G. Koliadis. Model eco-systems: Preliminary report.(Invited talk) In Proceedings of the Fifth Asia-Pacific Conference on Conceptual Modelling (APCCM 2008).

  3. A. K. Ghose. Industry Traction for MAS Technology: Would a Rose by any Other Name Smell as Sweet?. Invited position paper at the AAMAS-2008 Special Session on the Future of Software Engineering and Multi-Agent Systems.

  4. Manuel Kolp, Brian Henderson-Sellers, Haralambos Mouratidis, Alessandro Garcia, Aditya Ghose, Paolo Bresciani. Agent-Oriented Information Systems IV Springer 2008.

  5. G. Koliadis, A. K. Ghose and S. Padmanabhuni. Towards an Enterprise Business Process Architecture Standard. In Proc. of the 2008 IEEE Services Congress Sympposium on SOA Standards, IEEE Computer Society Press, July 2008.

  6. A. K. Ghose and G. Koliadis. Actor Eco-Systems: Modeling and Configuring Virtual Enterprises. In Proc. of the 2008 IEEE Services Congress, IEEE Computer Society Press, July 2008.

  7. C. Sombattheera and A. K. Ghose. A Best-First Anytime Search Algorithm for Coalition Structure Generation. In Proceedings of the 7th International Conference on Autonomous Agents and Multi-Agent Systems. (Short paper).

  8. A. Dasgupta and A. K. Ghose. Implementing reactive BDI agents with user-given constraints and objectives. In Proc. of the AAMAS-2008 Workshop: From Agent Theory to Agent Implementation.

    2007

  9. L. Leenen, T. A. Meyer and A. K. Ghose. Relaxations of semiring constraint satisfaction problems. Information Processing Letters. (Accepted March 2007).

  10. A. K. Ghose, G. Koliadis and M. Bhuiyan. Managing process dynamics using organizational models. International Journal of Business Process Integration and Management. (To appear).

  11. A. K. Ghose and G. Koliadis. Actor eco-systems: From high-level agent models to executable processes via semantic annotations. Invited paper (based on keynote address) in Proc. of the 2007 Engineering Semantic Agent Systems Workshop , IEEE Computer Society Press. Preprint

  12. A. K. Ghose, G. Koliadis and A. Cheung. Rapid business process discovery. In Proc. of 26th International Conference on Conceptual Modeling (ER 2007), 2007, Springer LNCS.

  13. A. K. Ghose and G. Koliadis. Auditing business process compliance. In Proceedings of the International Conference on Service-Oriented Computing (ICSOC-2007). Springer LNCS 4749.pp. 169-180. Preprint

  14. G. Koliadis and A. K. Ghose. Semantic verification of inter-operational business process models. In Proceedings of the 2007 IEEE Services Computing Conference (SCC-2007). IEEE Computer Society Press. Preprint

  15. A. K. Ghose and G. Koliadis. Business process compliance: Techniques for design-time auditing and resolution. In Proceedings of the First International Workshop on Juris-informatics(JURISIN 2007).

  16. M. Bhuiyan, Z. Islam, G. Koliadis, A. Krishna, A. K. Ghose. Integration of Agent-Oriented Conceptual Models and UML Activity Diagrams Using Effect Annotations. In Proceedings of the 31st IEEE Computers, Software, and Applications Conference (COMPSAC 2007), Beijing, China, IEEE Computer Society Press.

  17. A. K. Ghose, G. Koliadis and A. Cheung. Process discovery from model and text artefacts. In 2007 IEEE Services Congress Workshop Proceedings. IEEE Computer Society Press. Preprint

  18. M. Bhuiyan, Z. Islam, G. Koliadis, A. Krishna, A. K. Ghose. Managing Business Process Risk Using Rich Organizational Models. In Proceedings of the First IEEE International Workshop on Requirements Engineering For Services, IEEE Computer Society Press.

  19. L. Leenen, Anbulagan, T, Meyer and A. K. Ghose. Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT. In Proceedings of the 20th Australian Joint Conference on Artificial Intelligence (AI-2007). Springer LNCS 4830. pp. 202-212. 202-212

  20. P. Harvey, C. Chang and A. K. Ghose. Support-based distributed search: A new approach for multi-agent constraint processing. Argumentation in Multi-Agent Systems, N. Maudet, S. Parsons and I. Rahwan (eds.), Springer Lecture Notes in AI 4766.

    2006

  21. P. Harvey, C. Chang and A. K. Ghose. Support-based distributed search. To appear in Proceedings of AAMAS-2006.

  22. S. Chopra, A. K. Ghose, T, A. Meyer and K. Wong. Iterated belief change and the recovery axiom. Journal of Philosophical Logic. (Accepted)

  23. S. Vilkomir, J. Bowen and A. K. Ghose. Formalization and assessment of regulatory requirements for safety-critical software. To appear in Innovations in Systems and Software Engineering - A NASA Journal, Volume 2, Number 3, Springer, September 2006.

  24. A. Krishna, A. K. Ghose and A. Vranesevic. Agent-oriented conceptual models to UML sequence diagrams via effect annotations. Multi-Agent and Grid Systems - An International Journal 2(4), 2006, pp. 305-323.

  25. Z. Lu, S. Li, P. Hyland and A. K. Ghose. Reliable service composition by adopting assumptions. International Journal of Computer Systems Science and Engineering 21(4), July 2006, pp. 285-292.

  26. G. Koliadis, A. Vranesevic, M. Bhuiyan, A. Krishna and A. K. Ghose. A combined approach for supporting the business process model lifecycle. In Proceedings of the 2006 Asia-Pacific Conference on Information Systems. Preprint

  27. C. Sombattheera and A. K. Ghose. A distributed algorithm for coalition formation in linear production domains. In Proceedings of 8th International Conference on Enterprise Information System (ICEIS-2006).

  28. Y. Guan, A. K. Ghose and Z. Lu. Dealing with Web Service QoS factors via Constraint Hierarchy Framework. In Proceedings of the 2006 International Conference on Web Service (ICWS-2006), IEEE Computer Society Press. (Applications track paper)Preprint

  29. C. Sombattheera and A. K. Ghose. A pruning-based algorithm for computing optimal coalition structures in linear production domains. In Proceedings of the AAMAS-2006 Workshop on Game-Theoretic and Decision-Theoretic Agents (GTDT-2006).

  30. P. Harvey, C. Chang and A. K. Ghose. Simple support-based distributed search. In Proceedings of the 2006 Canadian National Conference on Artificial Intelligence (AI-2006), Springer Lectures Notes in AI 4103, pp. 159-170.

  31. Z. Lu, A. K. Ghose, P. Hyland and Y. Guan. Using assumptions in service composition context. In Proceedings of the ICSE-2006 Workshop on Service-Oriented Software Engineering, Shanghai, China, 2006.

  32. P. Harvey and A. K. Ghose. Relaxation of soft constraints via a unified semiring. In Proceedings of the 2006 Canadian National Conference on Artificial Intelligence (AI-2006), Springer Lecture Notes in AI 4103, pp. 122-133.

  33. C. Sombattheera and A. K. Ghose. A pruning-based algorithm for computing optimal coalition structures in linear production domains. In Proceedings of the 2006 Canadian National Conference on Artificial Intelligence (AI-2006), Springer Lecture Notes in AI 4103, pp. 13-24.

  34. A. Krishna, R. Clarke and A. K. Ghose. Genre-based approach to requirements elicitation. To appear in Proceedings of the 2006 International Conference on Software Engineeering and Knowledge Engineering (SEKE-2006).

  35. C. Sombattheera and A. K. Ghose. A Distributed Branch-and-Bound Algorithm for Computing Optimal Coalition Structures. In Proceedings of 4th Hellenic Conference on Artificial Intelligence (SETN'06), Springer Lecture Notes in AI 3955, pp. 334-344.

  36. A. Krishna, Y. Guan and A. K. Ghose. Applying Agent-Oriented Modelling and Prototyping to Service-Oriented Systems. In Proceedings of 8th International Conference on Enterprise Information System (ICEIS-2006), Paphos, Cyprus, May, 2006.

  37. C. Chang, P. Harvey and A. K. Ghose. Source-sensitive argumentation systems (Extended version). In Proceedings of 8th International Conference on Enterprise Information System (ICEIS-2006), Paphos, Cyprus, May, 2006.

  38. C. Sombattheera and A. K. Ghose. Supporting Dynamic Supply Networks with Agent-based Coalitions. In Proceedings of the 19th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA-AIE-2006), Springer-Verlag Lecture Notes in Computer Science, Annecy, France, June 2006.

  39. A. Dasgupta, F. Salim, A. Krishna and A. K. Ghose. Modelling using i* and AgentSpeak (L) Agents in Agent-Oriented Software Engineering. In Proceedings of 8th International Conference on Enterprise Information System (ICEIS-2006), Paphos, Cyprus, May, 2006.

  40. A. Krishna, Y. Guan, C. Sambattheera and A. K. Ghose. Agent-based Prototyping of Web-based Systems. In Proceedings of the 19th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA-AIE-2006), Springer-Verlag Lecture Notes in Computer Science, Annecy, France, June 2006.

  41. C. Chang, P. Harvey and A. K. Ghose. Combining credibility in a source-sensitive argumentation system. In Proceedings of 4th Hellenic Conference on Artificial Intelligence (SETN'06), Springer Lecture Notes in AI 3955, pp. 478 - 483. (Short paper)

  42. A. Dasgupta and A. K. Ghose. CASO: Dealing with objectives in a constraint-based extension to AgentSpeak(L). In Proc. of the 2006 Australasian Computer Science Conference.

  43. G. Koliadis, A. Vranesevic, M. Bhuiyan, A. Krishna and A. K. Ghose. Supporting the business process model lifecycle. In Proceedings of the BPM-2006 Workshop on Grid and Peer-to-Peer based Workflows. (Springer LNCS). Preprint

  44. L. Leenen, T. Meyer, P. Harvey and A. K. Ghose. A Relaxation of a Semiring Constraint Satisfaction Problem using Combined Semirings. To appear in Proceedings of the 2006 Pacific-Rim International Conference on Artificial Intelligence (PRICAI-2006). (Short paper).

  45. G. Koliadis and A. K. Ghose. Relating Business Process Models to Goal-Oriented Requirements Models in KAOS. In Proceedings of the 2006 Pacific-Rim Knowledge Acquisition Workshop (PKAW-2006). (Springer LNCS). Preprint

  46. A. K. Ghose and Q. Lin. Viewpoints merging via incrementally elicited ranked structures. In Proceedings of the 6th International Conference on Quality Software, IEEE Computer Society Press, Beijing, China. Preprint

  47. A. Krishna, Y. Guan and A. K. Ghose. Co-evolution of i* and 3APL agents. In Proceedings of the 6th International Conference on Quality Software, IEEE Computer Society Press, Beijing, China. Preprint

  48. M. M. R. Bhuiyan, M. M. Z. Islam, A. Krishna and A. K. Ghose. Co-evolution of agent-oriented conceptual models and use case diagrams. In Proceedings of the 6th International Conference on Quality Software , Beijing, China, IEEE Computer Society Press. Preprint

  49. H.-L. Wang and A. K. Ghose. On the foundations of strategic alignment. In Proc. of the 2006 Australia and New Zealand Academy of Management Conference.

  50. G. Koliadis, A. K. Ghose and M. Bhuiyan. Correlating Business Process and Organizational Models to Manage Change. In Proc. of the 2006 Australasian Conference on Information Systems, Adelaide, December, 2006.

  51. A. K. Ghose, G. Koliadis and M. Bhuiyan. Handling process dynamics using organizational models. In Proc. of the 2006 International Workshop on Service and Process Oriented Software Engineering, held in conjunction with the 2006 Asia-Pacific Conference on Software Engineering (APSEC-2006), Bangalore, December, 2006.

  52. Z. Lu, A. Ghose, P. Hyland, and Y. Guan. Using Assumptions in the Service Composition Context. In Proc. of the 2006 IEEE International Conference on Services Computing (SCC '06), Chicago, USA, September 2006, IEEE Computer Society Press, pp. 289-292. (Short paper) Preprint

  53. Z. Lu, S. Li, A. Ghose and P. Hyland. Extending Semantic Web Service Description by Service Assumption. In Proc. of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence 2006 (WI2006), Hong Kong, December 2006, pp. 637-643. Preprint

  54. Y. Guan, A. Ghose and Z. Lu. HCLP Based Service Composition. In Proc. of 2006 IEEE/WIC/ACM International Conference on Web Intelligence and International Agent Technology Workshops (WI-IAT 2006 Workshops), Hong Kong, December 2006, pp. 138-141. Preprint

  55. A. Dasgupta, A. Krishna and A. K. Ghose. Co-evolution of Agent-Oriented Conceptual Models and CASO Agent Programs. In Proc. of IEEE/WIC/ACM International Conference on Intelligent Agent Technology, (IAT '06), Hong Kong, December 2006, pp. 686-689. (Short paper) Preprint

  56. Z. Lu, A. Ghose and P. Hyland. Adopting Default Reasoning in the Service Composition Context. In Proc. of 4th European Conference on Web Services (ECOWS '06), Zurich, Switzerland , December 2006, 243-254. Copyright IEEE 2006. Preprint

    2005

  57. R. Booth, S. Chopra, A. K. Ghose and T. Meyer. Belief liberation (and retraction). Studia Logica 79: 47-72, 2005. Kluwer.

  58. Samir Chopra, Aditya Ghose, Thomas Meyer. Social choice theory, belief merging and strategy-proofness. Information Fusion. (Accepted March 2005).

  59. V. D. Vo and A. K. Ghose. Agent Programming Language with Incomplete Knowledge - AgentSpeak(I). In Enterprise Information Systems VI Piattini, Mario G.; Filipe, J.B.; Braz, J. (Eds.). Kluwer. (Accepted January 2005).

  60. A. Krishna and A. K. Ghose. Combining Agent-oriented conceptual modelling and the UML sequence diagram. In the Proceedings of 17th International Conference on Software Engineering and Knowledge Engineering (SEKE-2005), Taipei, Taiwan, July, 2005.

  61. C. Sombatheera and A. K. Ghose. Agent-based coalitions in dynamic supply chains. In the Proceedings of the 9th Pacific Asia Conference on Information Systems (PACIS-2005), Bangkok, July, 2005.

  62. A. Dasgupta and A. K. Ghose. Dealing with objectives in a constraint-based extension to AgentSpeak. In Proc. of the 2005 Pacific-Rim Workshop on Multi-Agent Systems (PRIMA-2005). Springer LNAI.

  63. A. Krishna, A. K. Ghose, and S. Vilkomir. Loosely-coupled consistency between agent-oriented conceptual models and Z specifications. In the Proceedings of 17th International Conference on Software Engineering and Knowledge Engineering (SEKE-2005), Taipei, Taiwan, July, 2005.

  64. S. Ghosh, M. Chakraborty and A. Ghose. Bi-logic for Belief-Disbelief. In Proceedings of Conference on Logic and its Relationship with other Disciplines, IIT Mumbai, India, Jan. 2005.

  65. Y. Guan and A. K. Ghose. Dealing with Web Service QoS factors using Constraint Hierarchies. In the Proceedings of 17th International Conference on Software Engineering and Knowledge Engineering (SEKE-2005), Taipei, Taiwan, July, 2005.

  66. A. Shankar, C. Sombattheera, A. Krishna and A. K. Ghose. Coalitions in agent aware adhoc virtual P2P interconnect grid computing system A3PVIGRID. In the Proceedings of 7th International Conference on Enterprise Information System (ICEIS-2004), Miami, USA, May, 2005

  67. F. Salim, C. Chang, A. Krishna and A.K. Ghose. Towards executable specifications: Combining i* and AgentSpeak (L). In the Proceedings of 17th International Conference on Software Engineering and Knowledge Engineering (SEKE-2005), Taipei, Taiwan, July, 2005. (Short paper)

  68. Y. Guan and A. K. Ghose. Using Constraint Hierarchies for Non-functional Requirements Analysis. In Proceedings of the 5th International Conference on Web Engineering (ICWE-2005), Sydney, July, 2005. (Short paper)

  69. P. Harvey, C. Chang and A. K. Ghose. Support-based distributed search. In Proceedings of the IJCAI-2005 Workshop on Distributed Constraint Reasoning.

  70. Y. Guan and A. K. Ghose. Executable specifications for agent-oriented conceptual modeling. To appear in Proceedings of of the IEEE/WIC 2005 International Conference on Intelligent Agent Technology , France, 2005, IEEE Computer Society Press, pp. 475-478. (Short paper) Preprint

  71. R. J. Clarke, A. K. Ghose and A. Krishna. Systemic Semiotics as a basis for an Agent-Oriented Conceptual Modelling Methodology. To appear in Semiotics and Intelligent Systems Development, R. Gudwin and J. Quieroz (Eds.).

  72. L. Leenen, T. Meyer and A. K. Ghose. Relaxations of semiring constraint satisfaction problems. To appear in Proceedings of the International Conference on Constraint Programming Workshop on Soft Constraints (SOFT-05).

  73. Y. Guan, F. Salim, A. Krishna and A. K. Ghose. Agent-based prototyping of service-oriented architectures. In Proceedings of the 2005 International Conference on Web Engineering Workshop on Agent-Based Web Engineering (ABWE-2005).

  74. P. Harvey, C. Chang and A. K. Ghose. Practical Application of Support-based Distributed Search. In Proceedings of the 2005 International Conference on Tools for AI, IEEE Computer Society Press, pp. 34-38. Preprint

  75. L. Zheng, S. Li and A. K. Ghose. Web service conflict management. In Proc. of the ICSOC-2005 Workshop on Design of Service-Oriented Applications.

  76. A. K. Ghose, P. Hyland, A. Collins, S. K. Lau and G. Ditsa. Designing a regional e-logistics portal. In Proc. of the 2005 Australian Conference on Information Systems (ACIS-2005).

    2004

  77. A. K. Ghose, P. O. Hadjinian, A. Sattar, J.-H. You and R. G. Goebel. Iterated belief change. Computational Intelligence , vol 20, number 1, February 2004, pp. 37-55. (Impact factor: 1.415) Preprint

  78. R. Booth, S. Chopra, T. A. Meyer and A. K. Ghose. A Unifying Semantics for Belief Change. To appear in Proceedings of the 2004 European Conference on Artificial Intelligence (ECAI-2004). An earlier version of this paper appears in Proceedings of the 2004 International Workshop on Non-Monotonic Reasoning (held with in conjunction with International Conference on Knowledge Representation and Reasoning, KR-2004), Whistler, Canada, June 2004.

  79. A. Krishna, A. K. Ghose and S. Vilkomir. Co-evolution of complementary formal and informal requirements. In Proceedings of the 2004 International Workshop on Principles of Software Evolution (IWPSE-2004), IEEE Computer Society Press, Kyoto, Japan, 2004, pp. 159-164. Preprint

  80. S. A. Vilkomir and A. K. Ghose. Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements. Product Focused Software Process Improvement Springer Lecture Notes in Computer Science Volume 3009, F. Bomarius and H. Iida (eds.), pp. 523-537, 2004.

  81. V. D. Vo and A. K. Ghose. Agent Programming Language with Incomplete Knowledge - AgentSpeak(I). Proceedings of the 2004 International Conference on Enterprise Information Systems, Portugal, April 2004.

  82. S. A. Vilkomir, A. K. Ghose and A. Krishna. Combining agent-oriented conceptual modelling with formal methods. Proceedings of the 2004 Australian Software Engineering Conference, Melbourne, April 2004, pp. 147-155. Preprint

  83. A. Krishna, S. A. Vilkomir and A. K. Ghose. A case study of combining i* framework and the Z notation. Proceedings of the International Conference on Enterprise Information Systems, Portugal, April, 2004.

  84. B. Brown and A. K. Ghose. Hierarchic decomposition in agent oriented conceptual modeling. In Proceedings of the 4th International Conference on Quality Software , Braunschweig, Germany, IEEE Computer Society Press, pp. 240-247. Preprint

    2003

  85. T. Meyer, A. K. Ghose and S. Chopra. Non-prioritized ranked belief change. Journal of Philosophical Logic, , Vol 32, Issue 4, 2003, pp.117-143. (This is an extended version of the TARK-2001 paper listed below).

  86. R. Booth, S. Chopra, A. K. Ghose and T. Meyer. Belief liberation (and retraction). Proceedings of TARK IX: The Ninth conference on Theoretical Aspects of Rationality and Knowledge, Bloomington, Indiana, USA, June 20-22, 2003. An earlier version of this paper appears in Proceedings of NRAC-2003: The IJCAI-2003 Workshop on Nonmonotonic Reasoning, Action and Change.

  87. P. Harvey and A. K. Ghose. Reducing redundancy in the hypertree decomposition scheme. In Proceedings of ICTAI-2003: 15th IEEE International Conference on Tools with Artificial Intelligence, Sacramento, USA, November 3-5, 2003, IEEE Computer Society Press, pp. 474-481. Preprint

  88. C. Chang, A. Krishna and A. K. Ghose. Agent-assisted distributed requirements elicitation and management. Proceedings of SEKE-2003: The Fifteenth International Conference on Software Engineering and Knowledge Engineering, San Francisco, USA, July 1-3, 2003.

  89. Z. Chen and A. K. Ghose. Web agents for requirements consistency management. In Proceedings of WI 2003: The 2003 IEEE/WIC Conference on Web Intelligence, Halifax, Canada, October 13-16, 2003, IEEE Computer Society Press, pp. 710-713. (Short paper) Preprint

  90. A. Unni, A. Krishna, A. K. Ghose and P. Hyland. Practical early phase requirements engineering via agent-oriented conceptual modelling. In Proceedings of ACIS-2003: The 2003 Australasian Conference on Information Systems., Perth, Australia, November 26-28, 2003.



    2002

  91. A. K. Ghose and P. Harvey. Metric SCSPs: Partial constraint satisfaction via semiring CSPs augmented with metrics. In Proceedings of the 2002 Australian Joint Conference on Artificial Intelligence, Canberra, December, 2002, SPringer LNCS. Earlier versions of this paper have appeared in the Proceedings of the CP-2002 Workshop on Soft Constraints (Ithaca, USA, September 2002) and the Proceedings of the ECAI-2002 Workshop on Modelling and Solving Problems with Constraints (Lyon, France, July 2002).

  92. S. Chopra, A. K. Ghose and T. A. Meyer. Iterated revision and the axiom of recovery: a unified treatment via epistemic states. In Proceedings of ECAI-2002: The 15th European Conference on Artificial Intelligence, Lyon, France, July, 2002, pp. 541-545. An earlier version of this paper appears in the Proceedings of the 9th Intl. Workshop on Non-Monotonic Reasoning NMR'2002.

  93. M. C. Horsch, W. S. Havens and A. K. Ghose. Generalized Arc Consistency with Application to MaxCSP and SCSP Instances. In Proceedings of the 15th Canadian Conference in Artificial Intelligence, Springer LNCS, Calgary, Canada, May, 2002, pp. 104-118.

  94. T. A. Meyer, A. K. Ghose and S. Chopra. Syntactic Representations of Semantic Merging Operations. In Proceedings of the 2002 Pacific Rim International Conference on Artificial Intelligence, Springer LNCS, 2002. (Short paper).

    2001

  95. T. A. Meyer, A. K. Ghose and S. Chopra. Social choice, merging and elections. In Proceedings of ECSQARU 2001: The 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Toulouse, France, September 2001.

  96. T. A. Meyer, A. K. Ghose and S. Chopra. Syntactic representations of semantic merging operations. In Proceedings of the IJCAI-2001 Workshop on Inconsistency in Data and Knowledge (held in conjunction with the 2001 International Joint Conference on Artificial Intelligence), Seattle, USA, August 2001, pp. 36-42.

  97. T. Meyer, A. K. Ghose and S. Chopra. Non-prioritized ranked belief change. In Proceedings of TARK2001: Theoretical Aspects of Rationality and Knowledge, Siena, Italy, July 2001. A version of this paper also appears in Proceedings of the IJCAI-2001 Workshop on Nonmonotonic Reasoning, Action and Change (held in conjunction with the 2001 International Joint Conference on Artificial Intelligence), Seattle, USA, August 2001.

  98. T. Meyer, A. K. Ghose and S. Chopra. Multi-agent context-based merging. In Proceedings of Common Sense 2001: The Fifth Symposium on Logical Formalizations of Commonsense Reasoning, New York, USA, May, 2001. An earlier version of this paper appears in the Proceedings of the Second Australian Workshop on Computational Logic (AWCL2001), Gold Coast, Australia, January, 2001.



    2000

  99. A. K. Ghose. Formal tools for managing inconsistency and change in RE. Proceedings of the 10th International Workshop on Software Specification and Design (IWSSD 2000), San Diego, IEEE Computer Society Press, November 2000, pp. 171-182. Preprint



    100. 1999

  100. A. K. Ghose and S. Padmanabhuni.Constraint-based integrity checking in abductive and nonmonotonic extensions of constraint logic programming. In Proceedings of the 16th U.S. National Conference on Artificial Intelligence (AAAI-99), pp. 265-270.

  101. G. Antoniou, A. K. Ghose and M. Truszczynski (eds.). Learning and reasoning with complex representations. Springer-Verlag Lecture Notes in Artificial Intelligence Volume 1359, 1998.

  102. A. K. Ghose, G. Antoniou, R. G. Goebel and A. Sattar.Connections between default reasoning and constraint satisfaction. Information Sciences (117) 3-4 (1999), pp.177-190. (Impact factor: 1.003)

  103. A. K. Ghose.Managing requirements evolution: Formal support for functional and non-functional requirements. In Proceedings of the 1999 International Workshop on Principles of Software Evolution, Fukuoka, Japan, 1999, pp. 118-124.

  104. A. K. Ghose. A formal basis for consistency, evolution and rationale management in requirements engineering. In Proceedings of the 1999 IEEE International Conference on Tools for AI , IEEE Computer Society Press, USA, 1999, pp. 77-84.

  105. Boon H. Ooi and Aditya K. Ghose. Constraint-based agent specification for a multi-agent stock brokering system. In Multiple Approaches to Intelligent Systems: Proceedings of the 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems , Springer-Verlag Lecture Notes in Computer Science Vol. 1611, pp. 409-419, 1999.

  106. C. Olivia, C.F Chang, C.F Enguix and A.K. Ghose. Case-Based BDI Agents: An Effective Approach for Intelligent Search on the World Wide Web. In Intelligent Agents in Cyberspace: Papers from the 1999 AAAI Spring Symposium, AAAI Press (Technical Report SS-99-03), ISBN 1-57735-081-2, 1999, pp. 20-27.

  107. G. Antoniou and A. K. Ghose. Formal requirements engineering: Tracing and resolving conflicts using nonmonotonic representations. In Intelligent Software Engineering: Papers from the AAAI-99 Workshop , AAAI Press (Technical Report WS-99-09), ISBN 1-57735-093-6, 1999, pp. 7-12.

  108. G. Antoniou and A. K. Ghose. What default reasoning is good for: Applications revisited. In Proceedings of the 32nd Hawaii International Conference on System Sciences, 1999.



    109. 1998

  109. A. K. Ghose and R. G. Goebel.Belief states as default theories: Studies in non-prioritized belief change. Proceedings of the 1998 European Conference on Artificial Intelligence, Brighton, U.K., August, 1998, pp. 8-12.

  110. S. Padmanabhuni and A. K. Ghose. Inductive constraint logic programming: An Overview. In G. Antoniou, A. K. Ghose and M. Truszczynski (eds.). Learning and reasoning with complex representations. Springer-Verlag Lecture Notes in Artificial Intelligence Volume 1359, 1998, pp. 1-8.

  111. A. K. Ghose, S. Padmanabhuni and R. G. Goebel. The role of default representations in incremental learning. In G. Antoniou, A. K. Ghose and M. Truszczynski (eds.). Learning and reasoning with complex representations. Springer-Verlag Lecture Notes in Artificial Intelligence Volume 1359, 1998, pp. 92-105. An earlier version of this paper (Incremental learning with default representations) appears in Proceedings of the Workshop on Inducing Complex Representations , held in conjunction with the Fourth Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August, 1996.

  112. S. Padmanabhuni, J.-H. You and A. K. Ghose. A framework for learning constraints: Preliminary report. In G. Antoniou, A. K. Ghose and M. Truszczynski (eds.). Learning and reasoning with complex representations. Springer-Verlag Lecture Notes in Artificial Intelligence Volume 1359, 1998, pp. 133-147. An ealier version of this paper appears in Proceedings of the Workshop on Inducing Complex Representations , held in conjunction with the Fourth Pacific Rim International Conference on Artificial Intelligence, Cairns, Australia, August, 1996.

  113. Aditya K. Ghose and Joseph G. Davis. An architecture for robust, reactive constraint-based scheduling. In Proceedings of the 1998 Conference on Information Systems and Technology, held in conjunction with the INFORMS'98 Conference, Montreal, Canada, April, 1998.

  114. Carlos F. Enguix, Joseph G. Davis and Aditya K. Ghose. Database querying on the World Wide Web: UniGuide - An object-relational search engine for Australian universities. In Proceedings of the Workshop on Reuse of Web Information, held in conjunction with the Seventh International World-Wide Web Conference, April, 1998, Brisbane, Australia.

    115. 1997
  115. A. K. Ghose, 1997. Default reasoning with defeasible constraints. In Proceedings of the IJCAI-97 Workshop on Nonmonotonic Reasoning, Action and Change , Nagoya, Japan, 1997.

  116. A. K. Ghose, 1997. Symmetric hypothetical reasoning: A preliminary report. In Proceedings of the 1997 Joint Conference on Information Sciences.

  117. D. Zowghi, A. K. Ghose and R. Offen. Computer Assisted Requirements Evolution Tool: Formal Foundations and Architecture. In Proceedings of the Second Australian Workshop on Requirements Engineering, Sydney, October 27, 1997, pp. 37-50.

  118. A. K. Ghose, 1997. Combining default theories and constraints for requirements specification. In Proceedings of the 1997 Joint Conference on Information Sciences.

  119. A. K. Ghose, S. Padmanabhuni and R. G. Goebel, 1997. Default theories in incremental learning. In Proceedings of the 1997 Australian Computer Science Conference , Sydney, 1997.



    120. 1996

  120. A. K. Ghose and R. G. Goebel, 1996. Software maintenance via default theory evolution: Preliminary report. In Proceedings of the 1996 International Computer Symposium. Taiwan, R.O.C.

  121. A. K. Ghose and R. G. Goebel, 1996.Anytime default inference. In Proceedings of the Fourth Pacific Rim International Conference on Artificial Intelligence , Cairns, Australia, August, 1996. A preliminary version of this paper also appeared in Proceedings of the First Australian Workshop on Commonsense Reasoning . held in conjunction with the Eighth Australian Joint Conference on Artificial Intelligence, Canberra, Australia, November, 1995.

  122. D. Zowghi, A. K. Ghose and P. Peppas, 1996.A framework for reasoning about requirements evolution. In Proceedings of the Fourth Pacific Rim International Conference on Artificial Intelligence , Cairns, Australia, August, 1996.

  123. A. Sattar, A. K. Ghose and R. G. Goebel, 1996.Specifying over-constrained problems in default logic. In M. Jampel, E. Freuder and M. Maher (eds.), Over-constrained systems . Springer Verlag Lecture Notes in Computer Science. An earlier version of this paper appears in Proceedings of the Workshop on Over-Constrained Systems , held in conjunction with the First International Conference on the Principles and Practice of Constraint Programming, Cassis, France.



    124. Earlier publications/theses

  124. A. K. Ghose, 1995. Practical belief change . Ph.D. Dissertation. Department of Computing Science, University of Alberta, Edmonton, Canada.

  125. A. Sattar and A. K. Ghose, 1995. Experiments in belief revision. In Proceedings of the 8th Australian Joint Conference on Artificial Intelligence , Canberra, Australia, November, 1995. A preliminary version of this paper appeared in Proceedings of the 2nd ARD Workshop , Bribie Island, Queensland, Australia.

  126. A. K. Ghose, Abdul Sattar and R. G. Goebel, 1994. Default reasoning as partial constraint satisfaction. In Proceedings of the 7th Australian Joint Conference on Artificial Intelligence , Armidale, Australia, November, 1994.

  127. A. K. Ghose, P. O. Hadjinian, A. Sattar, J-H. You and R. G. Goebel, 1993. Iterated belief change: A preliminary report. In Proceedings of the 6th Australian Joint Conference on Artificial Intelligence , Melbourne, Australia, November, 1993.

  128. A. K. Ghose, A. Sattar and R. G. Goebel, 1993. Pragmatic belief change: Computational efficiency and approximability. In Proceedings of the AI-93 Workshop on Belief Revision (held in conjunction with the 6th Australian Joint Conference on Artificial Intelligence). Melbourne, Australia, November, 1993.

  129. A. K. Ghose and R. G. Goebel, 1992. Default reasoning as belief change: A rationale. In Proceedings of the Second Pacific Rim International Conference on Artificial Intelligence, Seoul, Republic of Korea.

  130. A. K. Ghose, 1991. Logical aspects of belief change . M. Sc. Dissertation. Department of Computing Science, University of Alberta, Edmonton, Canada.

  131. A. K. Ghose, A. Dey and A. K. Ghose, 1991.A case-based approach to blast design in open-cast mines. In Proceedings of the Fourth International Conference on Industrial and Engineering Applications of AI/Expert Systems, Kauai, Hawaii.

  132. A. K. Ghose, 1988. Experiential problem solving by rule-based expert systems. In Proceedings of the Fourth National Convention of Computer Engineers, Calcutta, India.

  133. A. K. Ghose and A. Chaudhuri, 1988. A self-validating language for protocol definition. In Proceedings of the National Seminar on Data Communications and Computer Networks, Bangalore, India.