![]() | ![]() |
Aditya Ghose
List of publications from the DBLP Bibliography Server - FAQ
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 |