Aditya K. Ghose

Aditya Ghose

2009
95	EE	Aditya K. Ghose, Guido Governatori, Ramakoti Sadananda: Agent Computing and Multi-Agent Systems, 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers Springer 2009
94	EE	Evan D. Morrison, Alex Menzies, George Koliadis, Aditya K. Ghose: Business Process Integration: Method and Analysis. APCCM 2009: 29-37
2008
93		Manuel Kolp, Brian Henderson-Sellers, Haralambos Mouratidis, Alessandro Garcia, Aditya Ghose, Paolo Bresciani: Agent-Oriented Information Systems IV, 8th International Bi-Conference Workshop, AOIS 2006, Hakodate, Japan, May 9, 2006 and Luxembourg, Luxembourg, June 6, 2006, Revised Selected Papers Springer 2008
92	EE	Chattrakul Sombattheera, Aditya Ghose: A best-first anytime algorithm for computing optimal coalition structures. AAMAS (3) 2008: 1425-1428
91	EE	Aditya Ghose, George Koliadis: Model Eco-Systems: Preliminary Work. APCCM 2008: 19-26
90	EE	Jantima Polpinij, Aditya Ghose: An Automatic Elaborate Requirement Specification By Using Hierarchical Text Classification. CSSE (1) 2008: 706-709
89	EE	Louise Leenen, Aditya Ghose: Branch and Bound Algorithms to Solve Semiring Constraint Satisfaction Problems. PRICAI 2008: 991-997
88	EE	Jantima Polpinij, Aditya K. Ghose: An Ontology-Based Sentiment Classification Methodology for Online Consumer Reviews. Web Intelligence 2008: 518-524
2007
87	EE	Louise Leenen, Anbulagan, Thomas Meyer, Aditya K. Ghose: Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT. Australian Conference on Artificial Intelligence 2007: 202-212
86	EE	Moshiur Bhuiyan, M. M. Zahidul Islam, Aneesh Krishna, Aditya Ghose: Integration of Agent-Oriented Conceptual Models and UML Activity Diagrams Using Effect Annotations. COMPSAC (1) 2007: 171-178
85	EE	Aditya Ghose, George Koliadis: Actor Eco-systems: From High-Level Agent Models to Executable Processes via Semantic Annotations. COMPSAC (2) 2007: 177-184
84	EE	Moshiur Bhuiyan, M. M. Zahidul Islam, George Koliadis, Aneesh Krishna, Aditya Ghose: Managing Business Process Risk Using Rich Organizational Models. COMPSAC (2) 2007: 509-520
83	EE	Aditya Ghose, George Koliadis, Arthur Chueng: Rapid Business Process Discovery ( R- BPD). ER 2007: 391-406
82	EE	Aniruddha Dasgupta, Aneesh Krishna, Aditya K. Ghose: Agent Based Executable Conceptual Models Using i* and CASO. ER Workshops 2007: 276-285
81	EE	Jantima Polpinij, Aditya Ghose: Synopsis Information Extraction in Documents Through Probabilistic Text Classifiers. ICADL 2007: 508-509
80	EE	Aditya Ghose, George Koliadis: Auditing Business Process Compliance. ICSOC 2007: 169-180
79	EE	George Koliadis, Aditya Ghose: Verifying Semantic Business Process Models in Inter-operation. IEEE SCC 2007: 731-738
78	EE	Aditya Ghose, George Koliadis, Arthur Chueng: Process Discovery from Model and Text Artefacts. IEEE SCW 2007: 167-174
77	EE	Louise Leenen, Thomas Andreas Meyer, Aditya Ghose: Relaxations of semiring constraint satisfaction problems. Inf. Process. Lett. 103(5): 177-182 (2007)
2006
76	EE	Peter Harvey, Chee Fon Chang, Aditya Ghose: Support-based distributed search: a new approach for multiagent constraint processing. AAMAS 2006: 377-383
75	EE	Aniruddha Dasgupta, Aditya K. Ghose: CASO: a framework for dealing with objectives in a constraint-based extension to AgentSpeak(L). ACSC 2006: 121-126
74	EE	Peter Harvey, Chee Fon Chang, Aditya Ghose: Support-Based Distributed Search: A New Approach for Multiagent Constraint Processing. ArgMAS 2006: 91-106
73	EE	George Koliadis, Aleksandar Vranesevic, Moshiur Bhuiyan, Aneesh Krishna, Aditya K. Ghose: Combining i* and BPMN for Business Process Model Lifecycle Management. Business Process Management Workshops 2006: 416-427
72	EE	Peter Harvey, Aditya Ghose: Relaxation of Soft Constraints Via a Unified Semiring. Canadian Conference on AI 2006: 122-133
71	EE	Chattrakul Sombattheera, Aditya Ghose: A Pruning-Based Algorithm for Computing Optimal Coalition Structures in Linear Production Domains. Canadian Conference on AI 2006: 13-24
70	EE	Peter Harvey, Chee Fon Chang, Aditya Ghose: Simple Support-Based Distributed Search. Canadian Conference on AI 2006: 159-170
69	EE	Zheng Lu, Aditya Ghose, Peter Hyland: Adopting Default Reasoning in Service Composition Context. ECOWS 2006: 243-254
68	EE	Aniruddha Dasgupta, Aneesh Krishna, Aditya K. Ghose: Co-evolution of Agent-Oriented Conceptual Models and CASO Agent Programs. IAT 2006: 686-689
67	EE	Ying Guan, Aditya K. Ghose, Zheng Lu: HCLP Based Service Composition. IAT Workshops 2006: 138-141
66		Chattrakul Sombattheera, Aditya Ghose: A Distributed Algorithm for Coalition Formation in Linear Production Domain. ICEIS (2) 2006: 17-22
65		Chee Fon Chang, Peter Harvey, Aditya Ghose: Source Sensitive Argumentation System. ICEIS (2) 2006: 39-46
64		Aneesh Krishna, Ying Guan, Aditya K. Ghose: Applying Agent-Oriented Modelling and Prototyping to Service-Oriented Systems. ICEIS (3) 2006: 246-252
63		Aniruddha Dasgupta, Farzad Salim, Aneesh Krishna, Aditya K. Ghose: Hybrid Modeling Using I* and Agentspeak(L) Agents in Agent Oriented Software Engineering. ICEIS (3) 2006: 420-425
62	EE	Ying Guan, Aditya K. Ghose, Zheng Lu: Using constraint hierarchies to support QoS-guided service composition. ICWS 2006: 743-752
61	EE	Chattrakul Sombattheera, Aditya Ghose: Supporting Dynamic Supply Networks with Agent-Based Coalitions. IEA/AIE 2006: 1127-1137
60	EE	Aneesh Krishna, Ying Guan, Chattrakul Sombattheera, Aditya K. Ghose: Agent-Based Prototyping of Web-Based Systems. IEA/AIE 2006: 780-789
59	EE	Zheng Lu, Aditya Ghose, Peter Hyland, Ying Guan: Using Assumptions in Service Composition Context. IEEE SCC 2006: 289-292
58	EE	George Koliadis, Aditya Ghose: Relating Business Process Models to Goal-Oriented Requirements Models in KAOS. PKAW 2006: 25-39
57	EE	Louise Leenen, Thomas Andreas Meyer, Peter Harvey, Aditya Ghose: A Relaxation of a Semiring Constraint Satisfaction Problem Using Combined Semirings. PRICAI 2006: 907-911
56	EE	Aneesh Krishna, Ying Guan, Aditya K. Ghose: Co-evolution of i* Models and 3APL Agents. QSIC 2006: 117-124
55	EE	Aditya Ghose, Qiuming Lin: Viewpoints Merging via Incrementally Elicited Ranked Structures. QSIC 2006: 141-150
54	EE	Mohammad M. R. Bhuiyan, M. M. Zahidul Islam, Aneesh Krishna, Aditya K. Ghose: Co-evolution of Agent Oriented Conceptual Models and Use Case Diagrams. QSIC 2006: 446-451
53		Aneesh Krishna, Rodney J. Clarke, Aditya K. Ghose: Genre-based approach to Requirements Elicitation. SEKE 2006: 682-687
52	EE	Chattrakul Sombattheera, Aditya K. Ghose: A Distributed Branch-and-Bound Algorithm for Computing Optimal Coalition Structures. SETN 2006: 334-344
51	EE	Chee Fon Chang, Peter Harvey, Aditya K. Ghose: Combining Credibility in a Source Sensitive Argumentation System. SETN 2006: 478-481
50	EE	Zheng Lu, Shiyan Li, Aditya Ghose, Peter Hyland: Extending Semantic Web Service Description by Service Assumption. Web Intelligence 2006: 637-643
49	EE	Sergiy A. Vilkomir, Jonathan P. Bowen, Aditya K. Ghose: Formalization and assessment of regulatory requirements for safety-critical software. ISSE 2(3-4): 165-178 (2006)
48	EE	Samir Chopra, Aditya K. Ghose, Thomas Andreas Meyer: Social choice theory, belief merging, and strategy-proofness. Information Fusion 7(1): 61-79 (2006)
47	EE	Aneesh Krishna, Aditya K. Ghose, Aleksandar Vranesevic: Agent-oriented conceptual models to UML sequence diagrams via effect annotations. Multiagent and Grid Systems 2(4): 305-323 (2006)
2005
46	EE	Ying Guan, Aditya K. Ghose: Executable Specifications for Agent Oriented Conceptual Modelling. IAT 2005: 475-478
45		Avinash Shankar, Chattrakul Sombattheera, Aneesh Krishna, Aditya K. Ghose, Philip Ogunbona: Dynamic Coalition in Agent Aware Adhoc Virtual P2P Interconnect Grid Computing System - A3PVIGRID. ICEIS (4) 2005: 170-175
44	EE	Peter Harvey, Chee Fon Chang, Aditya K. Ghose: Practical Application of Support-Based Distributed Search. ICTAI 2005: 34-38
43	EE	Ying Guan, Aditya K. Ghose: Use Constraint Hierarchy for Non-functional Requirements Analysis. ICWE 2005: 104-109
42		Aneesh Krishna, Aditya K. Ghose: Combining Agent-oriented Conceptual Modelling and the UML Sequence Diagram. SEKE 2005: 205-210
41		Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomir: Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications. SEKE 2005: 455-460
40		Ying Guan, Aditya K. Ghose: Dealing with Web Service QoS factors using Constraint Hierarchy. SEKE 2005: 578-583
39		Farzad Salim, Chee Fon Chang, Aneesh Krishna, Aditya Ghose: Towards Executable Specification: Combining i* and AgentSpeak(L) . SEKE 2005: 739-742
38	EE	Richard Booth, Samir Chopra, Aditya Ghose, Thomas Andreas Meyer: Belief Liberation (and Retraction). Studia Logica 79(1): 47-72 (2005)
2004
37	EE	Sergiy A. Vilkomir, Aditya K. Ghose, Aneesh Krishna: Combining Agent-Oriented Conceptual Modelling with Formal Methods. Australian Software Engineering Conference 2004: 147-157
36		Richard Booth, Samir Chopra, Thomas Andreas Meyer, Aditya Ghose: A Unifying Semantics for Belief Change. ECAI 2004: 793-797
35		Chattrakul Sombattheera, Aditya Ghose, Peter Hyland: A Framework to Support Coalition Formation in Supply Chain Collaboration. ICEB 2004: 1-6
34		Aneesh Krishna, Sergiy A. Vilkomir, Aditya K. Ghose: A Case Study of Combining I* Framework and the Z Notation. ICEIS (3) 2004: 192-200
33		Duc Vo, Aditya Ghose: Agent Programming Language with Incomplete Knowledge - Agentspeak(I). ICEIS (4) 2004: 356-363
32	EE	Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomir: Co-Evolution of Complementary Formal and Informal Requirements. IWPSE 2004: 159-164
31	EE	Richard Booth, Samir Chopra, Thomas Andreas Meyer, Aditya Ghose: A unifying semantics for belief change. NMR 2004: 72-78
30	EE	Sergiy A. Vilkomir, Aditya K. Ghose: Development of a Normative Package for Safety-Critical Software Using Formal Regulatory Requirements. PROFES 2004: 523-537
29	EE	Robert B. K. Brown, Aditya Ghose: Hierarchic Decomposition in Agent Oriented Conceptual Modelling. QSIC 2004: 240-247
2003
28	EE	Peter Harvey, Aditya Ghose: Reducing Redundancy in the Hypertree Decomposition Scheme. ICTAI 2003: 474-481
27		Chee Fon Chang, Aneesh Krishna, Aditya K. Ghose: Agent-assisted Distributed Requirements Elicitation and Management. SEKE 2003: 526-533
26	EE	Richard Booth, Samir Chopra, Aditya Ghose, Thomas Andreas Meyer: Belief liberation (and retraction). TARK 2003: 159-172
25	EE	Zerong Chen, Aditya Ghose: Web Agents for Requirements Consistency Management. Web Intelligence 2003: 710-716
2002
24	EE	Aditya Ghose, Peter Harvey: Metric SCSPs: Partial Constraint Satisfaction via Semiring CSPs Augmented with Metrics. Australian Joint Conference on Artificial Intelligence 2002: 443-454
23	EE	Michael C. Horsch, William S. Havens, Aditya Ghose: Generalized Arc Consistency with Application to MaxCSP. Canadian Conference on AI 2002: 104-118
22		Samir Chopra, Aditya Ghose, Thomas Andreas Meyer: Iterated revision and the axiom of recovery: A unified treatment via epistemic states. ECAI 2002: 541-545
21		Samir Chopra, Aditya Ghose, Thomas Andreas Meyer: Iterated revision and the axiom of recovery: a unified treatment via epistemic states. NMR 2002: 117-123
20	EE	Thomas Andreas Meyer, Aditya Ghose, Samir Chopra: Syntactic Representations of Semantic Merging Operations. PRICAI 2002: 620
19	EE	Samir Chopra, Aditya Ghose, Thomas Andreas Meyer: Iterated revision and the axiom of recovery: a unified treatment via epistemic states CoRR cs.AI/0207038: (2002)
2001
18	EE	Thomas Andreas Meyer, Aditya Ghose, Samir Chopra: Social Choice, Merging, and Elections. ECSQARU 2001: 466-477
2000
17	EE	Aditya Ghose: Formal Methods for Requirements Engineering. ISMSE 2000: 13-16
16	EE	Aditya K. Ghose: Formal Tools for Managing Inconsistency and Change in RE. IWSSD 2000: 171-182
15		Brian Drabble, Laurent Chaudron, Catherine Tessier, Sue Abu-Hakima, Steven Willmott, Jim Austin, Boi Faltings, Eugene C. Freuder, Gerhard Friedrich, Alex Alves Freitas, Ulises Cortés, Miquel Sànchez-Marrè, David W. Aha, Irma Becerra-Fernandez, Héctor Muñoz-Avila, Aditya Ghose, Tim Menzies, Ken Satoh, Mary Elaine Califf, Michael T. Cox, Sandip Sen, Patrick Brézillon, Jean-Charles Pomerol, Roy M. Turner, Elise H. Turner: Reports on the AAAI 1999 Workshop Program. AI Magazine 21(1): 95-100 (2000)
1999
14		Aditya Ghose, Srinivas Padmanabhuni: Constraint-based integrity checking in abductive and non-monotonic extensions of constraint logic programming. AAAI/IAAI 1999: 265-270
13	EE	Grigoris Antoniou, Aditya Ghose: What Is Default Reasoning Good For? Applications Revisited. HICSS 1999
12	EE	Aditya Ghose: A Formal Basis for Consistency, Evolution and Rationale Management in Requirements Engineering. ICTAI 1999: 77-84
11		Boon-Hua Ooi, Aditya Ghose: Constraint-Based Agent Specification for a Multi-agent Stock Brokering System. IEA/AIE 1999: 409-419
10		Chee Fon Chang, Aditya Ghose, Justin Lipman, Peter Harvey: Gongeroos'99. RoboCup 1999: 572-575
9		Aditya Ghose, Grigoris Antoniou, Randy Goebel, Abdul Sattar: Connections Between Default Reasoning and Partial Constraint Satisfaction. Inf. Sci. 117(3-4): 177-190 (1999)
1998
8		Grigoris Antoniou, Aditya Ghose, Miroslaw Truszczynski: Learning and Reasoning with Complex Representations, PRICAI'96 Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations, Cairns, Australia, August 26-30, 1996, Selected Papers Springer 1998
7		Aditya Ghose, Randy Goebel: Belief States as Default Theories: Studies in Non-Prioritized Belief Change. ECAI 1998: 8-12
1996
6		Didar Zowghi, Aditya Ghose, Pavlos Peppas: A Framework for Reasoning about Requirements Evolution. PRICAI 1996: 157-168
5		Aditya Ghose, Randy Goebel: Anytime Default Inference. PRICAI 1996: 546-557
4		Srinivas Padmanabhuni, Aditya Ghose: Inductive constraint logic programming: An overview. PRICAI Workshops 1996: 1-8
3		Srinivas Padmanabhuni, Jia-Huai You, Aditya Ghose: A framework for learning constraints: Preliminary report. PRICAI Workshops 1996: 133-147
2		Aditya Ghose, Srinivas Padmanabhuni, Randy Goebel: The role of default representations in incremental learning. PRICAI Workshops 1996: 92-105
1995
1		Abdul Sattar, Aditya Ghose, Randy Goebel: Specifying Over-Constrained Problems in Default Logic. Over-Constrained Systems 1995: 253-264

Coauthor Index

1	Sue Abu-Hakima	[15]
2	David W. Aha	[15]
3	Anbulagan	[87]
4	Grigoris Antoniou	[8] [9] [13]
5	Jim Austin (James Austin)	[15]
6	Irma Becerra-Fernandez	[15]
7	Mohammad M. R. Bhuiyan	[54]
8	Moshiur Bhuiyan	[73] [84] [86]
9	Richard Booth	[26] [31] [36] [38]
10	Jonathan P. Bowen	[49]
11	Paolo Bresciani	[93]
12	Patrick Brézillon	[15]
13	Robert B. K. Brown	[29]
14	Mary Elaine Califf	[15]
15	Chee Fon Chang	[10] [27] [39] [44] [51] [65] [70] [74] [76]
16	Laurent Chaudron	[15]
17	Zerong Chen	[25]
18	Samir Chopra	[18] [19] [20] [21] [22] [26] [31] [36] [38] [48]
19	Arthur Chueng	[78] [83]
20	Rodney J. Clarke	[53]
21	Ulises Cortés	[15]
22	Michael T. Cox	[15]
23	Aniruddha Dasgupta	[63] [68] [75] [82]
24	Brian Drabble	[15]
25	Boi Faltings	[15]
26	Alex Alves Freitas	[15]
27	Eugene C. Freuder	[15]
28	Gerhard Friedrich	[15]
29	Alessandro F. Garcia (Alessandro Garcia)	[93]
30	Randy Goebel	[1] [2] [5] [7] [9]
31	Guido Governatori	[95]
32	Ying Guan	[40] [43] [46] [56] [59] [60] [62] [64] [67]
33	Peter Harvey	[10] [24] [28] [44] [51] [57] [65] [70] [72] [74] [76]
34	William S. Havens	[23]
35	Brian Henderson-Sellers	[93]
36	Michael C. Horsch	[23]
37	Peter Hyland	[35] [50] [59] [69]
38	M. M. Zahidul Islam	[54] [84] [86]
39	George Koliadis	[58] [73] [78] [79] [80] [83] [84] [85] [91] [94]
40	Manuel Kolp	[93]
41	Aneesh Krishna	[27] [32] [34] [37] [39] [41] [42] [45] [47] [53] [54] [56] [60] [63] [64] [68] [73] [82] [84] [86]
42	Louise Leenen	[57] [77] [87] [89]
43	Shiyan Li	[50]
44	Qiuming Lin	[55]
45	Justin Lipman	[10]
46	Zheng Lu	[50] [59] [62] [67] [69]
47	Alex Menzies	[94]
48	Tim Menzies	[15]
49	Thomas Meyer	[87]
50	Thomas Andreas Meyer (Tommie Meyer)	[18] [19] [20] [21] [22] [26] [31] [36] [38] [48] [57] [77]
51	Evan D. Morrison	[94]
52	Haralambos Mouratidis	[93]
53	Hector Muñoz-Avila (Héctor Muñoz-Avila)	[15]
54	Philip Ogunbona	[45]
55	Boon-Hua Ooi	[11]
56	Srinivas Padmanabhuni	[2] [3] [4] [14]
57	Pavlos Peppas	[6]
58	Jantima Polpinij	[81] [88] [90]
59	Jean-Charles Pomerol	[15]
60	Ramakoti Sadananda	[95]
61	Farzad Salim	[39] [63]
62	Miquel Sànchez-Marrè	[15]
63	Ken Satoh	[15]
64	Abdul Sattar	[1] [9]
65	Sandip Sen	[15]
66	Avinash Shankar	[45]
67	Chattrakul Sombattheera	[35] [45] [52] [60] [61] [66] [71] [92]
68	Catherine Tessier	[15]
69	Miroslaw Truszczynski	[8]
70	Elise H. Turner	[15]
71	Roy M. Turner	[15]
72	Sergiy A. Vilkomir	[30] [32] [34] [37] [41] [49]
73	Duc Vo	[33]
74	Aleksandar Vranesevic	[47] [73]
75	Steven Willmott	[15]
76	Jia-Huai You	[3]
77	Didar Zowghi	[6]

Colors in the list of coauthors