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.
    My publications on DBLP
    My publications on Google Scholar
    2017

  1. Choetkiertikul M., H. K. Dam, T. Tran, A. K. Ghose, and J. Grundy. Predicting Delivery Capability in Iterative Software Development. IEEE Transactions on Software Engineering, doi.org/10.1109/TSE.2017.2693989

  2. Choetkiertikul M., H. K. Dam, T. Tran and A. K. Ghose. Predicting the delay of issues with due dates in software projects. Empirical Software Engineering Journal, Volume 22, Issue 3, pages 1223-1263, Springer, dx.doi.org/10.1007/s10664-016-9496-7

  3. Santiputri M., A. K. Ghose, H. K. Dam. Mining task post-conditions: Automating the acquisition of process semantics, Data and Knowledge Engineering journal, Volume 109, May 2017, Elsevier, dx.doi.org/10.1016/j.datak.2017.03.007

  4. Deb, D., N. Chaki and A. K. Ghose. A framework for business process modeling by QoS-based pruning. Innovations in Systems and Software Engineering Journal, Volume 13, Number 4, pages 271-278, December 2017, Springer.

  5. Barakat, S., M. Field, D. Stirling, L. Holloway, S. Vinod, A. Dekker and D. Thwaites. The Effect of Imputing Missing Clinical Attribute Values on Training Lung Cancer Survival Prediction Model Performance. Health Information Science and Systems, Springer. Accepted.

  6. Fresco, N., P. McGivern, and A. K. Ghose. Information, veridicality and inferential knowledge. American Philosophical Quarterly. Volume 54, Number 1, pages 61-75, 2017, University of Illinois Press.

  7. Santiputri M., A. K. Ghose, H. K. Dam and S. Roy. Goal Orchestrations: Modelling and Mining Flexible Business Processes. In Proceedings of the 36th International Conference on Conceptual Modeling (ER-17), Lecture Notes in Computer Science, Springer, To Appear (acceptance rate: 18,3% for full papers). (Best Paper Award)

  8. Gou Y., A. K. Ghose, and H. K. Dam, Leveraging Game-tree Search for Robust Process Enactment. In Proceedings of the 29th International Conference on Advanced Information Systems Engineering (CAISE-17), Springer Lecture Notes in Computer Science, Volume 10253 (2017).

  9. Al-Zubaidi W. H. A., H. K. Dam, A. K. Ghose and X. Li. Multi-objective search-based approach to estimate issue resolution time. In Proceedings of the 13th International Conference on Predictive Models and Data Analytics in Software Engineering (PROMISE 2017), ACM, To Appear.

  10. Santiputri M., N Deb, A. K. Ghose, H. K. Dam, N. Chaki and M. A. A. Khan. Mining goal refinement patterns: Distilling know-how from data. In Proceedings of the 36th International Conference on Conceptual Modeling (ER-17), Springer Lecture Notes in Computer Science, Springer. (Short paper) (Acceptance rate: 25% for both short and full papers)

    ,

    2016

  11. Deb, N., N. Chaki and A. K. Ghose. Extracting finite state machines from i* models. Journal of Systems and Software, Volume 121, pages 265-280, Elsevier.

  12. Barakat, M., M. Field, D. Stirling, L. Holloway, A. K. Ghose, M. Bailey, M. Carolan, A. Dekker, G. Delaney, G. Goozee, J. Lehmann, T. Lustberg, J. Van Soest, J. Sykes, S. Walsh, S. Vinod and D. Thwaites. An Australian radiotherapy decision support system with contextual justification. Radiotherapy and Oncology, vol. 119, (Supplement 1) pp. S580-S580, 2016, Elsevier.

  13. Sindhgatta, R., A. K. Ghose and H. K. Dam. Context-aware analysis of past process executions to aid resource allocation decisions. In Proc. of the 2016 Conference on Advanced Information Systems Engineering (CAISE-2016). Springer LNCS. (Acceptance rate: 16.5%)

  14. Sindhgatta, R., A. K. Ghose and H. K.Dam. Context-Aware Recommendation of Task Allocations in Service Systems, Proceedings of the 14th International Conference on Service-Oriented Computing (ICSOC-16), Springer LNCS (acceptance rate: 21%).

  15. Avery,D., H. K. Dam, B.T.R. Savarimuthu and A. K. Ghose. Externalization of Software Behavior by the Mining of Norms. In Proc. of the 13th Working Conference on Mining Software Repositories (MSR-2016), co-located with ICSE 2015.

  16. Savarimuthu, B.T.R., S. Licorish, S. Keertipati, H. K. Dam, D. Avery and A. K. Ghose. Process compliance in open source software development – A study of Python Enhancement Proposals (PEPS). In Proc. of the 24th European Conference on Information Systems (ECIS).

  17. Dam H. K., T. Tran, J. Grundy and A. K. Ghose, DeepSoft: A vision for a deep model of software. In Proceedings of the 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE) , Visions and Reflections Track, ACM Press, (acceptance rate: 26.5%).

  18. Avery D., Hoa Khanh Dam, Bastin Tony Roy Savarimuthu and Aditya Ghose, Externalization of Software Behavior by the Mining of Norms, Proceedings of the 13th Working Conference on Mining Software Repositories (MSR), co-located with ICSE 2015, pages 223-234, ACM (acceptance rate: 27%).

  19. Dam, H. K. and A. K. Ghose, Analyzing topics and trends in the PRIMA literature, Proceedings of the 19th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA), Lecture Notes in Computer Science o Appear, Volume 9862 (2016), pages 216 – 229, Springer (acceptance rate: 34%).

  20. Dam, H. K., L.-S. Le and A. K. Ghose, Managing changes in the enterprise architecture modelling context, Enterprise Information Systems journal, volume 10, issue 6, September 2016, pages 666-696, Taylor & Francis


    2015

  21. M. Choetkiertikul, H. Dam, T. Tran and A. K. Ghose. Characterization and prediction of issue-related risks in software projects. In Proceedings of 12th Working Conference on Mining Software Repositories (MSR), co-located with ICSE 2015, IEEE Computer Society Press. (ACM SIGSOFT Distinguished Paper Award)

  22. H. Dam, B. T. R. Savarimuthu, D. Avery and A. K. Ghose. Mining Software Repositories for Social Norms. In Proceedings of the 37th International Conference on Software Engineering (ICSE-2015), IEEE Computer Society.

  23. K. Ponnalagu, A. K. Ghose, N. C. Narendra, H. Dam. Goal-aligned categorization of instance variants in knowledge-intensive processes. In Proc. of the Int'l Conference on Business Process Management (BPM-2015). Springer LNCS.

  24. M. Santiputri, A. K. Ghose, H. Dam, X. Wen. Mining process task process task post-conditions. In Proceedings of the 34th International Conference on Conceptual Modeling (ER-2015). Springer LNCS.

  25. A. Saraswati, A. K. Ghose, H. Dam and C. Chang. Learning Relationships Between the Business Layer and the Application Layer in ArchiMate Models. In Proceedings of the 34th International Conference on Conceptual Modeling (ER-2015). Springer LNCS.

  26. H. Dam and A. K. Ghose. Mining version histories for change impact analysis in business process model repositories. Computers in Industry, volume 67(2015), pages 72 - 85, Elsevier.

  27. J. Polpinij, A. K. Ghose and H. Dam. Business Rule Discovery from Business Process Model Repositories. Business Process Management Journal, volume 21, issue 4 (2015), Emerald.

    2014

  28. H. Dam, L.-S. Le and Aditya Ghose. Managing changes in the enterprise architecture modeling context. Enterprise Information Systems, Taylor and Francis (accepted).

  29. A. K. Ghose, M. Santiputri, A. Saraswati, and H.Dam. Data-driven requirements modeling: Some initial results with i*. In Proceedings of the 10th Asia-Pacific Conference on Conceptual Modelling (APCCM), Conferences in Research and Practice in Information Technology (CRPIT), Vol. 154, pages 55 - 64. (Best Paper Award)

  30. A. K. Ghose and H. Dam. The post-theoretic enterprise: A service-oriented view. (Invited paper) In Proc. of the 7th IEEE Int'l Conf. on Service-Oriented Computing and Applications (SOCA-2014), IEEE Computer Society Press.

  31. R. Sindhgatta, A. K. Ghose and G. B. Dasgupta. Learning "good quality" resource allocations from historical data. In Proc. of the 2014 International Conference on Service-Oriented Computing Workshop on Resource Management in Service-Oriented Computing. Springer LNCS. 2014.

  32. K. Ponnalagu, A. K. Ghose, N. C. Narendra and H. Dam. Discovering and categorzing goal alignments from mined process variants. In Proc. of the 2014 International Conference on Service-Oriented Computing Workshop on Knowledge Aware Service-Oriented Applications. Springer LNCS. 2014.

  33. R. Sindhgatta, G. B. Dasgupta and A.K. Ghose. Analysis of Operational Data for Expertise Aware Staffing. In Proceedings of the 12th Int'l Conference on Business Process Management (BPM-2014), Springer LNCS. 2014.

  34. Y. Gou, A. K. Ghose, C.-F. Chang, H. Dam and A. Miller. Semantic monitoring and compensation in socio-technical processes. In Proceedings of the ER-2014 Workshop on on Conceptual Modeling in Requirements and Business Analysis (MReBA-14, formerly RIGiM). Springer LNCS. 2014.

  35. M. Mohagheghian, R. Sindhgatta and A. K. Ghose. Combining Agent Based Modelling with Distributed Constraint Optimisation for Service Delivery Optimization. In Proceedings of the EDOC-2014 Workshop on Service-oriented Enterprise Architecture for Enterprise Engineering. IEEE CS Press.

  36. Xavier Franch, Aditya K. Ghose, Grace A. Lewis, Sami Bhiri (Eds.). Service-Oriented Computing - 12th International Conference, ICSOC 2014, Paris, France, November 3-6, 2014. Proceedings. Lecture Notes in Computer Science 8831, Springer 2014, ISBN 978-3-662-45390-2
    2013

  37. H. Dam and A.K. Ghose. Supporting change impact analysis for intelligent agent systems. Science of Computer Programming. (Accepted)

  38. Aditya Ghose. Agents in the Era of Big Data: What the "End of Theory" Might Mean for Agent Systems. (Based on keynote speech). In Proceedings of the 16th International Conference on the Principles and Practice of Multi-Agent Systems (PRIMA 2013), pages 1-4. Springer LNCS.

  39. N. Fresco, A. K. Ghose, P. McGivern. Types of information processed by cognitive agents. Fifth Workshop on Philosophy of Information, Hertfordshire, March, 2013.

  40. H. Xu, B. T. R. Savarimuthu, A. K. Ghose, E. Morrison, Q. Cao and Y. Shi. Automatic BDI Plan Recognition from Process Execution Logs and Effect Logs. Proc. of the EMAS-2013 Workshop, held in conjunction with AAMAS-2013, St. Paul, USA, May, 2013.

  41. A. K. Ghose, E. Morrison and Y. Gou. A novel use of big data analytics for service innovation harvesting. (Invited paper). In Proceedings of the 2013 International Conference on Service Science and Innovation. Taiwan, May, 2013. PDF.

  42. A. K. Ghose and B. T. R. Savarimuthu. Norms as Objectives: Revisiting Compliance Management in Multi-Agent Systems. In Proc. of the 14th International Workshop on Coordination, Organisations, Institutions and Norms (COIN 2012) held in conjunction with AAMAS-2012, Valencia, Spain, June, 2012. Springer LNAI 7756 (published 2013). PDF


    2012

  43. L.-S. Le and A. K. Ghose. Contracts + Goals = Roles?. In Proc. of the 31st International Conference on Conceptual Modeling (ER-2012), Springer LNCS, Florence, Italy, October, 2012.

  44. L.-S. Le, H.-L. Truong, A. K. Ghose and S. Dustdar. On Elasticity and Constrainedness of Business Services Provisioning. In Proc. of the IEEE Services Computing Conference (SCC-2012), IEEE Computer Society Press, Honolulu, USA, June, 2012. (Applications and Experience Track)

  45. T. Kurniawan, T. Zhang, A. K. Ghose, H. Dam, and L.-S. Le. Design Maintenance in Process Eco-systems. In Proc. of the IEEE Services Computing Conference (SCC-2012), IEEE Computer Society Press, Honolulu, USA, June, 2012. (Applications and Experience Track)

  46. N. C. Narendra, K. Ponnalagu, G.R. Gangadharan, H.-L. Truong, S. Dustdar and A. K. Ghose. Effective Reuse via Modeling, Managing and Searching of Business Process Assets. In Proc. of the IEEE Services Computing Conference (SCC-2012), IEEE Computer Society Press, Honolulu, USA, June, 2012. (Industry Track)

  47. B. T. R. Savarimuthu, L.-S. Le and A. K. Ghose. From green norms to policies - combining bottom-up and top-down approaches. In Proc. of the 13th Int'l Conference on the Principles and Practice of Multi-Agent Systems (PRIMA-2012). Springer LNCS.

    2011

  48. A. K. Ghose. A formal approach to designing and managing service eco-systems. Proc. of the 2011 Information Systems Development Conference (ISD-2011). Springer.

  49. H. Dam and A. K. Ghose. Automated change impact analysis for agent systems. Proc. of the 2011 International Conference on Software Maintenance (ICSM-2011), IEEE Computer Society Press.

  50. T. Kurniawan, A. K. Ghose, L.-Son Le and H. Dam. A Formal Approach to Managing Inter-Process Relationships. Proc. of the BPM-2011 Workshop on Process Model Collections. Springer LNCS.

  51. L.-S. Le, A. K. Ghose, M. Krishnan, K. Krishnakunju and K. Hoesch-Klohe. Correlating business objectives with services: An Ontology-Driven Approach. Proc. of the 2011 IEEE Service Computing Conference (SCC-2011). IEEE Computer Society. (Application Track).

  52. A. K. Ghose, N. C. Narendra, K. Ponnalagu, A. Panda and A. Gohad. Goal-driven business process derivation. Proc. of the 2011 International Conf. on Service-Oriented Computing (ICSOC-2011), Springer LNCS. (Short paper).

    2010

  53. R. Booth, S. Chopra, T. Meyer and A. K. Ghose. Double preference relations for generalized belief change. Artificial Intelligence, 174(16-17): 1339-1368 (2010).

  54. Aniruddha Dasgupta and Aditya K. Ghose. Implementing reactive BDI agents with user-given constraints and objectives. International Journal of Agent-Oriented Software Engineering (IJAOSE) 4(2): 141-154 (2010).

  55. K. Hinge, A. K. Ghose and A. Miller. A framework for detecting interactions between co-incident clinical processes. International Journal of eHealth and Medical Communications. (Accepted)

  56. Hoa Khanh Dam, Lam-Son Le and Aditya Ghose. Supporting change propagation in the evolution of enterprise architectures. In Proc. of the 14th IEEE International Enterprise Distributed Object Computing Conference (EDOC-2010), Vitoria, Brazil, October 2010.

  57. H. K. Dam and A. K. Ghose . Supporting change propagation in the maintenance and evolution of service-oriented architectures. In Proc. of the 17th Asia-Pacific Software Engineering Conference (APSEC-2010), Sydney, Australia, IEEE Computer Society Press.

  58. L.-S. Le, H. K. Dam and A. K. Ghose. On Business Services Representation: The 3 x 3 x 3 Approach. In Proc. of 21st Australasian Conference on Information Systems (ACIS 2010), Brisbane, Australia, December 2010.

  59. Aditya Ghose, Lam-Son Lê, Konstantin Hoesch-Klohe, Evan Morrison The Business Service Representation Language: A Preliminary Report. In Proc. of the 1st International Workshop on Service Modelling and Representation Techniques (SMART-2010), held in conjunction with the ServiceWave-2010 conference, Ghent, Belgium, December 2010, Springer LNCS. Pre-Print.

  60. K. Hoesch-Klohe and A. K. Ghose. Carbon-Aware Business Process Design in Abnoba. In Proc. of the International Conference on Service-Oriented Computing (ICSOC-2010)(short paper), Springer LNCS. Pre-Print.

  61. K. Hoesch-Klohe and A. K. Ghose. Business Process Improvement in Abnoba. Proceedings of the 1st International Workshop on Services, Energy and Ecosystems(SEE 2010), held in conjunction with ICSOC-2010. Pre-Print.

  62. T. Kurniawan, A. K. Ghose and L.-S. Le. A Framework for Optimizing Inter-operating Business Process Portfolios. In Proc. of the 19th International Conference on Information Systems Development (ISD-2010), Prague, Czech Republic, August 2010.

  63. L.-S. Le, E. Morrison and A. K. Ghose. Definition of a description language for business service decomposition. In Proc. of the First International Conference on Exploring Services Sciences, Geneva, Switzerland, Feb. 2010.

  64. A. Dasgupta and A. K. Ghose. BDI Agents with objectives and preferences. In Proc. of 8th International Workshop on Declarative Agent Languages and Technologies (DALT-2010), held in conjunction with the AAMAS-2010 conference, Toronto, Canada, May 2010.

  65. A. K. Ghose and G. Billiau. The Optimizing Web: A research agenda. Handbook of Research in Green ICT. (ed: B. Unhelkar).

  66. G. Koliadis, N. Desai, N. Narendra and A. K. Ghose. Analyst-mediated Contextualization of Regulatory Policies. In Proc. of the IEEE International Services Computing Conference (SCC-2010) (Applications and Industry Track), Miami, USA, July 2010.

  67. S. Mukerji and A. K. Ghose. SCOA: Auditing supply chains for green optimization opportunities. Handbook of Research in Green ICT. (ed: B. Unhelkar).

  68. K. Hoesch-Klohe, A. K. Ghose and L.-S. Le. Towards Green Business Process Management. In Proc. of the IEEE International Services Computing Conference (SCC-2010) (Applications and Industry Track), Miami, USA, July 2010.Pre-print

  69. Jantima Polpinij, Aditya K. Ghose and Hoa Khanh Dam. Business Rules Discovery from Process Design Repositories. In Proc. of the 4th IEEE Int'l Workshop on Web X.o (WebX 2010) held in conjunction with the 2010 IEEE Congress on Services (SERVICES 2010), Miami, USA, July 2010.

  70. Hong-Cheu Liu, Aditya Ghose and John Zeleznikow. Towards an Algebraic Framework for Querying Inductive Databases. In Proc. of DASFAA-2010, pages 306-312, 2010.

  71. H. -L. Wang and A. K. Ghose. Green Strategic Alignment: Aligning business strategies with sustainability objectives. Handbook of Research in Green ICT. (ed: B. Unhelkar).

  72. Graham Billiau, Chee Fon Chang, Andrew Miller and Aditya Ghose. Support-Based Distributed Optimisation: An Approach To Radiotherapy Patient Scheduling. In Proc. of the 8th Healthgrid Conference (HEALTHGRID-2010), Paris, June, 2010. (poster paper)

  73. L.-S. Le, B. Zhang, A. K. Ghose. Representation of Strategy Using an i*-like Notation. In Proc. of the 4th International i* Workshop held in conjunction with CAISE-2010, pp. 113-117, Hammamet, Tunisia, June 2010.

  74. J. Polpinij, A. Miller, A. K. Ghose and H. K. Dam. Ontology-based Text Analysis Approach to Retrieve Oncology Documents from PubMed Relevant to Cervical Cancer in Clinical Trials. In Proc. of the Industrial Conference on Data Mining - Workshops 2010, pages 157-169, IBaI Publishing.


    2009

  75. A. Krishna, S. Vilkomir and A. K. Ghose. Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models. Information and Software Technology, Volume 51, Issue 2, February 2009, Pages 478-496.

  76. A. K. Ghose, H. Hasan and T. Spedding. Carbon-centric computing - IT solutions for climate change. Telecommunications Journal of Australia, Volume 59, No. 1, February 2009, Pages 9.1 - 9.12.

  77. A. K. Ghose, K. Hoesch-Klohe, L. Hinsche and L.-S.Le. Green business process management: A research agenda. Australian Journal of Information Systems, Vol. 16, No. 2, 2009.Pre-print

  78. E. D. Morrison, A. Menzies, G. Koliadis, and A. K. Ghose, (2009). Business Process Integration: Method and Analysis. In Proc. Sixth Asia-Pacific Conference on Conceptual Modelling (APCCM 2009), Wellington, New Zealand. CRPIT, 96. Kirchberg, M. and Link, S., Eds., ACS. 29-37.

  79. A. K. Ghose, G. Governatori, R. Sadananda: Agent Computing and Multi-Agent Systems, Springer LNAI 2009.

  80. G. Koliadis and A. K. Ghose. Analyst support for managing change to business process designs. In Proc. of the 2009 International Workshop on Business Process Modeling, Development and Support (BPMDS), held in conjunction with CAISE-2009, Springer LNBIP. (To appear)

  81. G. Koliadis and A. K. Ghose. Risk-aware organizational design. In Proc. of the 2009 International Workshop on Governance, Risk and Compliance - Applications on Information Systems (GRCIS), held in conjunction with CAISE-2009. (To appear)

  82. K. Hinge, A. K. Ghose and G. Koliadis. Process SEER: A Tool for Semantic Effect Annotation of Business Process Models. In Proc. of the 13th IEEE International EDOC Conference (EDOC-2009), IEEE Computer Society Press. Pre-print

  83. C. F. Chang, A. K. Ghose and A. Miller, Mixed-Initiative Argumentation: A Framework for Justification Management in Clinical Group Decision Support. In Proc. of the 2009 AAAI Fall Symposium on the Uses of Computational Argumentation .

  84. C. F. Chang, A. Miller and A. K. Ghose. Mixed-initiative argumentation: Group decision support in medicine. In Proc. of the 2nd International ICST Conference on Electronic Healthcare for the 21st century, Springer.

  85. E. Morrison, A. K. Ghose and G. Koliadis. Dealing With Imprecise Compliance Requirements. In Proc. of the 2nd International Workshop on Dynamic and Declarative Business Processes (DDBP 2009), IEEE Computer Society Press, 2009.

  86. H. Hasan, A. K. Ghose and T. Spedding. IS solutions for the global environmental challenge: An Australian initiative. To appear in Proc. of AMCIS-2009.


    2008

  87. S. Chopra, A. K. Ghose, T, A. Meyer and K. Wong. Iterated belief change and the recovery axiom. Journal of Philosophical Logic, Volume 37, 2008, Pages 501-520.

  88. 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).

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

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

  91. 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.

  92. 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.

  93. 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).

  94. 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.

  95. A. K. Ghose and G. Koliadis. PCTk: A ToolKit for Managing Business Process Compliance. In Proc. of the 2008 International Workshop on Juris-Informatics (JURISIN-2008), Japan, June, 2008.

    2007

  96. L. Leenen, T. A. Meyer and A. K. Ghose. Relaxations of semiring constraint satisfaction problems. Information Processing Letters, Volume 103 Number 5, pages 177-182, 2007, Elsevier.

  97. 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

  98. 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.

  99. 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

  100. 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

  101. 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).

  102. 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.

  103. 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

  104. 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.

  105. 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

  106. 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

  107. P. Harvey, C. Chang and A. K. Ghose. Support-based distributed search. Proceedings of AAMAS-2006.

  108. 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 Journal, Volume 2, Number 3, Springer, September 2006.

  109. 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.

  110. 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.

  111. 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

  112. 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).

  113. 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

  114. 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).

  115. 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.

  116. 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.

  117. 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.

  118. 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.

  119. 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).

  120. 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.

  121. 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.

  122. 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.

  123. 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.

  124. 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.

  125. 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.

  126. 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)

  127. 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.

  128. 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

  129. 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).

  130. 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

  131. 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

  132. 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

  133. 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

  134. 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.

  135. 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.

  136. 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.

  137. 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

  138. 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

  139. 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

  140. 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

  141. 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

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

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

  144. 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).

  145. 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.

  146. 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.

  147. 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.

  148. 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.

  149. 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.

  150. 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.

  151. 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

  152. 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)

  153. 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)

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

  155. 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

  156. 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.).

  157. 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).

  158. 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).

  159. 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

  160. 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.

  161. 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

  162. 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

  163. 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.

  164. 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

  165. 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.

  166. 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.

  167. 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

  168. 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.

  169. 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

  170. 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).

  171. 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.

  172. 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

  173. 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.

  174. 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

  175. 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

  176. 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).

  177. 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.

  178. 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.

  179. 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

  180. 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.

  181. 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.

  182. 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.

  183. 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

  184. 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



    1999

  185. 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.

  186. 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.

  187. 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)

  188. 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.

  189. 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.

  190. 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.

  191. 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.

  192. 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.

  193. 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.



    1998

  194. 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.

  195. 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.

  196. 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.

  197. 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.

  198. 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.

  199. 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.

    1997
  200. 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.

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

  202. 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.

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

  204. 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.



    1996

  205. 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.

  206. 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.

  207. 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.

  208. 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.



    Earlier publications/theses

  209. A. K. Ghose, 1995. Practical belief change . Ph.D. Dissertation. Department of Computing Science, University of Alberta, Edmonton, Canada.
  210. 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.
  211. 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.
  212. 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.
  213. 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.
  214. 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.
  215. A. K. Ghose, 1991. Logical aspects of belief change . M. Sc. Dissertation. Department of Computing Science, University of Alberta, Edmonton, Canada.
  216. 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.
  217. A. K. Ghose, 1988. Experiential problem solving by rule-based expert systems. In Proceedings of the Fourth National Convention of Computer Engineers, Calcutta, India.
  218. 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.