Guido Governatori

	2012
162		Jörg Hoffmann, Ingo Weber, Guido Governatori: On compliance checking for clausal constraints in annotated process models. Information Systems Frontiers 14(2): 155-177 (2012)
	2011
161		Nick Bassiliades, Guido Governatori, Adrian Paschke: Rule-Based Reasoning, Programming, and Applications - 5th International Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011. Proceedings Springer 2011
160		David Kinny, Jane Yung-jen Hsu, Guido Governatori, Aditya K. Ghose: Agents in Principle, Agents in Practice - 14th International Conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011. Proceedings Springer 2011
159		Mohammed Gollapalli, Xue Li, Ian Wood, Guido Governatori: Ontology Guided Data Linkage Framework for Discovering Meaningful Data Facts. ADMA (2) 2011: 252-265
158		Guido Governatori, Antonino Rotolo: Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance. CLIMA 2011: 364-382
157		Monica Palmirani, Guido Governatori, Giuseppe Contissa: Modelling temporal legal rules. ICAIL 2011: 131-135
156		Guido Governatori: On the relationship between Carneades and Defeasible Logic. ICAIL 2011: 31-40
155		Mohammed Gollapalli, Xue Li, Ian Wood, Guido Governatori: Approximate Record Matching Using Hash Grams. ICDM Workshops 2011: 504-511
154		Vineet Padmanabhan, Abdul Sattar, Guido Governatori, Kollapalli Ramesh Babu: Incorporating Temporal Planning Within a BDI Architecture. IICAI 2011: 1618-1636
153		Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco: Three Concepts of Defeasible Permission. JURIX 2011: 63-72
152		Ho-Pun Lam, Guido Governatori: What Are the Necessity Rules in Defeasible Reasoning? LPNMR 2011: 187-192
151		Vineet Padmanabhan, Guido Governatori, Abdul Sattar: Fibred BDI Logics: Completeness Preservation in the Presence of Interaction Axioms. MIWAI 2011: 63-74
150		Guido Governatori, Francesco Olivieri, Simone Scannapieco, Matteo Cristani: Designing for Compliance: Norms and Goals. RuleML America 2011: 282-297
149		Monica Palmirani, Guido Governatori, Antonino Rotolo, Said Tabet, Harold Boley, Adrian Paschke: LegalRuleML: XML-Based Rules and Norms. RuleML America 2011: 298-312
148		Guido Governatori, Renato Iannella: A modelling and reasoning framework for social networks policies. Enterprise IS 5(1): 145-167 (2011)
147		Efstratios Kontopoulos, Nick Bassiliades, Guido Governatori, Grigoris Antoniou: A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web. Int. J. Semantic Web Inf. Syst. 7(1): 18-43 (2011)
146		Mehmet A. Orgun, Guido Governatori, Chuchang Liu, Mark Reynolds, Abdul Sattar: Special issue on logics for intelligent agents and multi-agent systems. J. Applied Logic 9(4): 221-222 (2011)
145		Jeff Blee, David Billington, Guido Governatori, Abdul Sattar: Levels of modality for BDI Logic. J. Applied Logic 9(4): 250-273 (2011)
144		Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo, Leendert van der Torre: Time and defeasibility in FIPA ACL semantics. J. Applied Logic 9(4): 274-288 (2011)
	2010
143		Guido Governatori, Giovanni Sartor: Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings Springer 2010
142		Jürgen Dix, João Leite, Guido Governatori, Wojtek Jamroga: Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings Springer 2010
141		Guido Governatori, Antonino Rotolo: A conceptually rich model of business process compliance. APCCM 2010: 3-12
140		Insu Song, Guido Governatori, Joachim Diederich: Automatic synthesis of reactive agents. ICARCV 2010: 970-975
139		Monica Palmirani, Guido Governatori, Giuseppe Contissa: Temporal Dimensions in Rules Modelling. JURIX 2010: 159-162
138		Guido Governatori, Giovanni Sartor: Burdens of Proof in Monological Argumentation. JURIX 2010: 57-66
137		Guido Boella, Guido Governatori, Antonino Rotolo, Leendert van der Torre: A Logical Understanding of Legal Interpretation. KR 2010
136		Guido Governatori, Francesco Olivieri, Simone Scannapieco, Matteo Cristani: Superiority Based Revision of Defeasible Theories. RuleML 2010: 104-118
135		Ho-Pun Lam, Guido Governatori: On the Problem of Computing Ambiguity Propagation and Well-Founded Semantics in Defeasible Logic. RuleML 2010: 119-127
134		Aqueo Kamada, Guido Governatori, Shazia Wasim Sadiq: Transformation of SBVR Compliant Business Rules to Executable FCL Rules. RuleML 2010: 153-161
133		Guido Governatori, Antonino Rotolo: Norm Compliance in Business Process Modeling. RuleML 2010: 194-209
132		Kalliopi Kravari, Grammati-Eirini Kastori, Nick Bassiliades, Guido Governatori: A Contract Agreement Policy-Based Workflow Methodology for Agents Interacting in the Semantic Web. RuleML 2010: 225-239
131		David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher: An inclusion theorem for defeasible logics. ACM Trans. Comput. Log. 12(1): 6 (2010)
130		Nick Bassiliades, Guido Governatori, Adrian Paschke, Jürgen Dix: Guest Editors' Introduction: Rule Representation, Interchange, and Reasoning in Distributed, Heterogeneous Environments. IEEE Trans. Knowl. Data Eng. 22(11): 1489-1491 (2010)
129		Guido Governatori, Antonino Rotolo: Changing legal systems: legal abrogations and annulments in Defeasible Logic. Logic Journal of the IGPL 18(1): 157-194 (2010)
	2009
128		Guido Governatori: Legal Knowledge and Information Systems - JURIX 2009: The Twenty-Second Annual Conference on Legal Knowledge and Information Systems, Rotterdam, The Netherlands, 16-18 December 2009 IOS Press 2009
127		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
126		Guido Governatori, John Hall, Adrian Paschke: Rule Interchange and Applications, International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings Springer 2009
125		Guido Boella, Guido Governatori, Antonino Rotolo, Leendert van der Torre: Lex Minus Dixit Quam Voluit, Lex Magis Dixit Quam Voluit: A Formal Study on Legal Compliance and Interpretation. AICOL Workshops 2009: 162-183
124		Ruopeng Lu, Shazia Wasim Sadiq, Guido Governatori, Xiaoping Yang: Defining Adaptation Constraints for Business Process Variants. BIS 2009: 145-156
123		Guido Governatori, Renato Iannella: Modelling and Reasoning Languages for Social Networks Policies. EDOC 2009: 193-200
122		Guido Governatori, Antonino Rotolo, Rossella Rubino: Implementing Temporal Defeasible Logic for Modeling Legal Reasoning. JSAI-isAI Workshops 2009: 45-58
121		Thomas F. Gordon, Guido Governatori, Antonino Rotolo: Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain. RuleML 2009: 282-296
120		Ho-Pun Lam, Guido Governatori: The Making of SPINdle. RuleML 2009: 315-322
119		Guido Governatori, Antonino Rotolo: How Do Agents Comply with Norms? Web Intelligence/IAT Workshops 2009: 488-491
118		Mehmet A. Orgun, Guido Governatori, Chuchang Liu: Modal tableaux for verifying stream authentication protocols. Autonomous Agents and Multi-Agent Systems 19(1): 53-75 (2009)
117		Ruopeng Lu, Shazia Wasim Sadiq, Guido Governatori: On managing business processes variants. Data Knowl. Eng. 68(7): 642-664 (2009)
116		Grigoris Antoniou, Nikos Dimaresis, Guido Governatori: A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems. Expert Syst. Appl. 36(2): 4125-4134 (2009)
115		Duy Hoang Pham, Guido Governatori, Subhasis Thakur: Extended Defeasible Reasoning for Common Goals in n-Person Argumentation Games. J. UCS 15(13): 2653-2675 (2009)
114		Guido Governatori, Vineet Padmanabhan, Antonino Rotolo, Abdul Sattar: A defeasible logic for modelling policy-based intentions and motivational attitudes. Logic Journal of the IGPL 17(3): 227-265 (2009)
	2008
113		Nick Bassiliades, Guido Governatori, Adrian Paschke: Rule Representation, Interchange and Reasoning on the Web, International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings Springer 2008
112		Guido Governatori: Labelled modal tableaux. Advances in Modal Logic 2008: 87-110
111		Guido Governatori, Jörg Hoffmann, Shazia Wasim Sadiq, Ingo Weber: Detecting Regulatory Compliance for Business Process Models through Semantic Annotations. Business Process Management Workshops 2008: 5-17
110		Guido Governatori, Antonino Rotolo: Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories. DEON 2008: 3-18
109		Guido Governatori, Subhasis Thakur, Duy Hoang Pham: A Compliance Model of Trust. JURIX 2008: 118-127
108		Guido Governatori, Antonino Rotolo: An Algorithm for Business Process Compliance. JURIX 2008: 186-191
107		Guido Governatori, Antonino Rotolo: Changing Legal Systems: Abrogation and Annulment. Part II: Temporalised Defeasible Logic. NORMAS 2008: 112-127
106		Vineet Padmanabhan, Guido Governatori, Subhasis Thakur: Knowledge Assessment: A Modal Logic Approach. PRIMA 2008: 315-322
105		Duy Hoang Pham, Subhasis Thakur, Guido Governatori: Settling on the Group's Goals: An n-Person Argumentation Game Approach. PRIMA 2008: 328-339
104		Duy Hoang Pham, Guido Governatori, Simon Raboczi, Andrew Newman, Subhasis Thakur: On Extending RuleML for Modal Defeasible Logic. RuleML 2008: 89-103
103		Grigoris Antoniou, Nikos Dimaresis, Guido Governatori: A system for modal and deontic defeasible reasoning. SAC 2008: 2261-2265
102		Efstratios Kontopoulos, Nick Bassiliades, Guido Governatori, Grigoris Antoniou: Extending a Defeasible Reasoner with Modal and Deontic Logic Operators. Web Intelligence/IAT Workshops 2008: 626-629
101		Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo, Leendert van der Torre: Time and Defeasibility in FIPA ACL Semantics. Web Intelligence/IAT Workshops 2008: 634-637
100		Jeff Blee, David Billington, Guido Governatori, Abdul Sattar: Levels of Modalities for BDI Logic. Web Intelligence/IAT Workshops 2008: 647-650
99		Guido Governatori, Antonino Rotolo: A computational framework for institutional agency. Artif. Intell. Law 16(1): 25-52 (2008)
98		Guido Governatori, Antonino Rotolo: BIO logical agents: Norms, beliefs, intentions in defeasible logic. Autonomous Agents and Multi-Agent Systems 17(1): 36-69 (2008)
97		Grigoris Antoniou, Antonis Bikakis, Nikos Dimaresis, Manolis Genetzakis, Giannis Georgalis, Guido Governatori, Efie Karouzaki, Nikolaos Kazepis, Dimitris Kosmadakis, Manolis Kritsotakis, Giannis Lilis, Antonis Papadogiannakis, Panagiotis Pediaditis, Constantinos Terzakis, Rena Theodosaki, Dimitris Zeginis: Proof explanation for a nonmonotonic Semantic Web rules language. Data Knowl. Eng. 64(3): 662-687 (2008)
96		Ruopeng Lu, Shazia Wasim Sadiq, Guido Governatori: Measurement of Compliance Distance in Business Processes. IS Management 25(4): 344-355 (2008)
	2007
95		Mehdi Dastani, Guido Governatori, Antonino Rotolo, Insu Song, Leendert van der Torre: Contextual deliberation of cognitive agents in defeasible logic. AAMAS 2007: 148
94		Guido Governatori, Paolo Terenziani: Temporal Extensions to Defeasible Logic. Australian Conference on Artificial Intelligence 2007: 476-485
93		Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo: Characterising Deadlines in Temporal Modal Defeasible Logic. Australian Conference on Artificial Intelligence 2007: 486-496
92		Subhasis Thakur, Guido Governatori, Vineet Padmanabhan, Jenny Eriksson Lundström: Dialogue Games in Defeasible Logic. Australian Conference on Artificial Intelligence 2007: 497-506
91		Grigoris Antoniou, Nikos Dimaresis, Guido Governatori: A System for Modal and Deontic Defeasible Reasoning. Australian Conference on Artificial Intelligence 2007: 609-613
90		Shazia Wasim Sadiq, Guido Governatori, Kioumars Namiri: Modeling Control Objectives for Business Process Compliance. BPM 2007: 149-164
89		Ruopeng Lu, Shazia Wasim Sadiq, Guido Governatori: Compliance Aware Business Process Design. Business Process Management Workshops 2007: 120-131
88		Guido Governatori, Antonino Rotolo, Régis Riveret, Monica Palmirani, Giovanni Sartor: Variants of temporal defeasible logics for modelling norm modifications. ICAIL 2007: 155-159
87		Bram Roth, Régis Riveret, Antonino Rotolo, Guido Governatori: Strategic argumentation: a game theoretical investigation. ICAIL 2007: 81-90
86		Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo: On the Representation of Deadlines in a Rental Agreement. JURIX 2007: 169-170
85		Grigoris Antoniou, Antonis Bikakis, Nikos Dimaresis, Manolis Genetzakis, Giannis Georgalis, Guido Governatori, Efie Karouzaki, Nikolaos Kazepis, Dimitris Kosmadakis, Manolis Kritsotakis, Giannis Lilis, Antonis Papadogiannakis, Panagiotis Pediaditis, Constantinos Terzakis, Rena Theodosaki, Dimitris Zeginis: Proof Explanation for the Semantic Web Using Defeasible Logic. KSEM 2007: 186-197
84		Guido Governatori, Antonino Rotolo: BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic. Normative Multi-agent Systems 2007
83		Régis Riveret, Antonino Rotolo, Guido Governatori: Interaction between Normative Systems and Cognitive agents in Temporal Modal Defeasible Logic. Normative Multi-agent Systems 2007
82		Jenny Eriksson Lundström, Guido Governatori, Subhasis Thakur, Vineet Padmanabhan: An Asymmetric Protocol for Argumentation Games in Defeasible Logic. PRIMA 2007: 219-231
81		Mehdi Dastani, Guido Governatori, Antonino Rotolo, Insu Song, Leendert van der Torre: Contextual Agent Deliberation in Defeasible Logic. PRIMA 2007: 98-109
80		Nick Bassiliades, Grigoris Antoniou, Guido Governatori: Proof Explanation in the DR-DEVICE System. RR 2007: 249-258
79		Thomas Skylogiannis, Grigoris Antoniou, Nick Bassiliades, Guido Governatori, Antonis Bikakis: DR-NEGOTIATE - A system for automated agent negotiation with defeasible logic-based strategies. Data Knowl. Eng. 63(2): 362-380 (2007)
	2006
78		Guido Governatori, Ian M. Hodkinson, Yde Venema: Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006 College Publications 2006
77		Insu Song, Guido Governatori: Designing agent chips. AAMAS 2006: 1311-1313
76		Guido Governatori, Antonino Rotolo, Vineet Padmanabhan: The cost of social agents. AAMAS 2006: 513-520
75		Pakornpong Pothipruk, Guido Governatori: An optimization for query answering on ALC database. ADC 2006: 129-137
74		Ruopeng Lu, Shazia Wasim Sadiq, Vineet Padmanabhan, Guido Governatori: Using a temporal constraint network for business process execution. ADC 2006: 157-166
73		Bela Stantic, Guido Governatori, Abdul Sattar: Handling of current time in native XML databases. ADC 2006: 175-182
72		Vineet Padmanabhan, Guido Governatori, Shazia Wasim Sadiq, Robert M. Colomb, Antonino Rotolo: Process modelling: the deontic way. APCCM 2006: 75-84
71		Pakornpong Pothipruk, Guido Governatori: ALE Defeasible Description Logic. Australian Conference on Artificial Intelligence 2006: 110-119
70		Insu Song, Guido Governatori: Hardware Implementation of Temporal Nonmonotonic Logics. Australian Conference on Artificial Intelligence 2006: 808-817
69		Ruopeng Lu, Shazia Wasim Sadiq, Guido Governatori: Utilizing Successful Work Practice for Business Process Evolution. BIS 2006: 58-76
68		Vineet Padmanabhan, Guido Governatori: A Fibred Tableau Calculus for Modal Logics of Agents. DALT 2006: 105-122
67		Mehmet A. Orgun, Ji Ma, Chuchang Liu, Guido Governatori: Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems. DASC 2006: 325-332
66		Guido Governatori, Zoran Milosevic, Shazia Wasim Sadiq: Compliance checking between business processes and business contracts. EDOC 2006: 221-232
65		Vineet Padmanabhan, Guido Governatori: On Constructing Fibred Tableaux for BDI Logics. PRICAI 2006: 150-160
64		Guido Governatori, Vineet Padmanabhan, Antonino Rotolo: Rule-Based Agents in Temporalised Defeasible Logic. PRICAI 2006: 31-40
63		Insu Song, Guido Governatori: Affective Web Service Design. PRICAI 2006: 71-80
62		Insu Song, Guido Governatori: A Compact Argumentation System for Agent System Specification. STAIRS 2006: 26-37
61		Régis Riveret, Guido Governatori, Antonino Rotolo: Argumentation Semantics for Temporal Defeasible Logic. STAIRS 2006: 267-268
60		Guido Governatori, Zoran Milosevic: A Formal Analysis of a Business Contract Language. Int. J. Cooperative Inf. Syst. 15(4): 659-685 (2006)
59		Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: Embedding defeasible logic into logic programming. TPLP 6(6): 703-735 (2006)
	2005
58		Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan: Observation-based Model for BDI-Agents. AAAI 2005: 190-195
57		Kaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen: A computationally grounded logic of knowledge, belief and certainty. AAMAS 2005: 149-156
56		Mehdi Dastani, Guido Governatori, Antonino Rotolo, Leendert W. N. van der Torre: Preferences of Agents in Defeasible Logic. Australian Conference on Artificial Intelligence 2005: 695-704
55		Guido Governatori, Zoran Milosevic: Dealing with contract violations: formalism and domain specific language. EDOC 2005: 46-57
54		Thomas Skylogiannis, Grigoris Antoniou, Nick Bassiliades, Guido Governatori: DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies. EEE 2005: 44-49
53		Guido Governatori, Antonino Rotolo, Giovanni Sartor: Temporalised Normative Positions in Defeasible Logic. ICAIL 2005: 25-34
52		Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori: Computationally Grounded Model of BDI-Agents. IJCAI 2005: 1581-1582
51		Guido Governatori, Monica Palmirani, Régis Riveret, Antonino Rotolo, Giovanni Sartor: Norm Modifications in Defeasible Logic. JURIX 2005: 13-22
50		Mehdi Dastani, Guido Governatori, Antonino Rotolo, Leendert W. N. van der Torre: Programming Cognitive Agents in Defeasible Logic. LPAR 2005: 621-636
49		Guido Governatori, Duy Hoang: A Semantic Web Based Architecture for e-Contracts in Defeasible Logic. RuleML 2005: 145-159
48		Insu Song, Guido Governatori: Nested Rules in Defeasible Logic. RuleML 2005: 204-208
47		Pakornpong Pothipruk, Guido Governatori: A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web. WISE 2005: 119-132
46		Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: Embedding Defeasible Logic into Logic Programming CoRR abs/cs/0511055: (2005)
45		Marlon Dumas, Lachlan Aldred, Guido Governatori, Arthur H. M. ter Hofstede: Probabilistic Automated Bidding in Multiple Auctions. Electronic Commerce Research 5(1): 25-49 (2005)
44		Guido Governatori: Representing business contracts in RuleML. Int. J. Cooperative Inf. Syst. 14(2-3): 181-216 (2005)
43		Zoran Milosevic, Guido Governatori: Guest editors' introduction. Int. J. Cooperative Inf. Syst. 14(2-3): 73-76 (2005)
42		Guido Governatori, Antonino Rotolo: On the Axiomatisation of Elgesem's Logic of Agency and Ability. J. Philosophical Logic 34(4): 403-431 (2005)
	2004
41		Peng Yew Cheow, Guido Governatori: Representing and Reasoning on XForms Document. ADC 2004: 141-150
40		Guido Governatori, Antonino Rotolo, Shazia Wasim Sadiq: A Model of Dynamic Resource Allocation in Workflow Systems. ADC 2004: 197-206
39		Insu Song, Guido Governatori, Robert M. Colomb: An Interaction Model for Affect Monitoring. Australian Conference on Artificial Intelligence 2004: 979-984
38		Guido Governatori, Antonino Rotolo: Defeasible Logic: Agency, Intention and Obligation. DEON 2004: 114-128
37		Guido Governatori: Defeasible Description Logics. RuleML 2004: 98-112
36		Jonathan Gelati, Antonino Rotolo, Giovanni Sartor, Guido Governatori: Normative autonomy and normative co-ordination: Declarative power, representation, and mandate. Artif. Intell. Law 12(1-2): 53-81 (2004)
35		Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington: Argumentation Semantics for Defeasible Logic. J. Log. Comput. 14(5): 675-702 (2004)
	2003
34		Benjamin Johnston, Guido Governatori: An algorithm for the induction of defeasible logic theories from databases. ADC 2003: 75-83
33		Guido Governatori, Alessio Lomuscio, Marek J. Sergot: A Tableaux System for Deontic Interpreted Systems. Australian Conference on Artificial Intelligence 2003: 339-351
32		Guido Governatori, Vineet Padmanabhan: A Defeasible Logic of Policy-Based Intention. Australian Conference on Artificial Intelligence 2003: 414-426
31		Benjamin Johnston, Guido Governatori: Induction of Defeasible Logic Theories in the Legal Domain. ICAIL 2003: 204-213
30		Guido Governatori: On the Relative Complexity of Labelled Modal Tableaux. Electr. Notes Theor. Comput. Sci. 78: 40-57 (2003)
	2002
29		Guido Governatori, Vineet Padmanabhan, Abdul Sattar: A Defeasible Logic of Policy-Based Intention. Australian Joint Conference on Artificial Intelligence 2002: 723
28		Guido Governatori, Vineet Padmanabhan, Abdul Sattar: On Fibring Semantics for BDI Logics. JELIA 2002: 198-210
27		Marlon Dumas, Guido Governatori, Arthur H. M. ter Hofstede, Nick Russell: An Architecture for Assembling Agents that Participate in Alternative Heterogeneous Auctions. RIDE 2002: 75-83
26		Marlon Dumas, Lachlan Aldred, Guido Governatori, Arthur H. M. ter Hofstede, Nick Russell: A probabilistic approach to automated bidding in alternative auctions. WWW 2002: 99-108
25		Marlon Dumas, Guido Governatori, Arthur H. M. ter Hofstede, Phillipa Oaks: A formal approach to negotiating agents development. Electronic Commerce Research and Applications 1(2): 193-207 (2002)
24		Alberto Artosi, Guido Governatori, Antonino Rotolo: Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations. J. Log. Comput. 12(6): 1027-1060 (2002)
	2001
23		Vineet Padmanabhan, Guido Governatori, Abdul Sattar: Actions Made Explicit in BDI. Australian Joint Conference on Artificial Intelligence 2001: 390-401
22		Guido Governatori, Marlon Dumas, Arthur H. M. ter Hofstede, Phillipa Oaks: A formal approach to legal negotiation. ICAIL 2001: 168-177
21		Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: Representation results for defeasible logic. ACM Trans. Comput. Log. 2(2): 255-287 (2001)
	2000
20		Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: A Flexible Framework for Defeasible Logics. AAAI/IAAI 2000: 405-410
19		Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, Andrew Rock: A Family of Defeasible Reasoning Logics and its Implementation. ECAI 2000: 459-463
18		Guido Governatori, Michael J. Maher: An Argumentation-Theoretic Characterization of Defeasible Logic. ECAI 2000: 469-473
17		Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington: Argumentation Semantics for Defeasible Logics. PRICAI 2000: 27-37
16		Alberto Artosi, Guido Governatori, Antonino Rotolo: A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations. TABLEAUX 2000: 82-97
15		Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: A flexible framework for defeasible logics CoRR cs.AI/0003013: (2000)
14		Alberto Artosi, Guido Governatori: A tableau methodology for deontic conditional logics CoRR cs.LO/0003050: (2000)
13		Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: Representation results for defeasible logic CoRR cs.LO/0003082: (2000)
	1999
12		Michael J. Maher, Guido Governatori: A Semantic Decomposition of Defeasible Logics. AAAI/IAAI 1999: 299-305
11		Guido Governatori, Alessandro Luppi: Labelled Tableaux for Non-normal Modal Logics. AI*IA 1999: 119-130
10		Paolo Di Giusto, Guido Governatori: Analytic Modal Revision for Multi-agent Systems. EPIA 1999: 282-296
9		Paolo Di Giusto, Guido Governatori: A New Approach to Base Revision. EPIA 1999: 327-341
8		David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher: Revising Nonmonotonic Theories: The Case of Defeasible Logic. KI 1999: 101-112
7		Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori: A Comparison of Sceptical NAF-Free Logic Programming Approaches. LPNMR 1999: 347-356
	1997
6		Alberto Artosi, Paola Cattabriga, Guido Governatori: A Modal Computational Framework for Default Reasoning. KI 1997: 373-376
	1996
5		Alberto Artosi, Guido Governatori, Giovanni Sartor: Towards a Computational Treatment of Deontic Defeasibility. DEON 1996: 27-46
4		Guido Governatori: Labelling Ideality and Subideality. FAPR 1996: 291-304
3		Alberto Artosi, Paola Benassi, Guido Governatori, Antonino Rotolo: Labelled Proofs for Quantified Modal Logic. JELIA 1996: 70-86
	1995
2		Alberto Artosi, Paola Cattabriga, Guido Governatori: A Prolog Implementation of Kem. GULP-PRODE 1995: 395-400
1		Guido Governatori: Labelled Tableaux for Multi-Modal Logics. TABLEAUX 1995: 79-94

Coauthor Index

1	Lachlan Aldred	[26] [45]
2	Grigoris Antoniou	[7] [8] [13] [15] [17] [19] [20] [21] [35] [46] [54] [59] [79] [80] [85] [91] [97] [102] [103] [116] [131] [147]
3	Alberto Artosi	[2] [3] [5] [6] [14] [16] [24]
4	Kollapalli Ramesh Babu	[154]
5	Nick Bassiliades (N. Bassiliades)	[54] [79] [80] [102] [113] [130] [132] [147] [161]
6	Paola Benassi	[3]
7	Antonis Bikakis	[79] [85] [97]
8	David Billington	[7] [8] [13] [15] [17] [19] [20] [21] [35] [46] [59] [100] [131] [145]
9	Jeff Blee	[100] [145]
10	Guido Boella	[101] [125] [137] [144]
11	Harold Boley	[149]
12	Paola Cattabriga	[2] [6]
13	Qingliang Chen	[57]
14	Peng Yew Cheow	[41]
15	Robert M. Colomb	[39] [72]
16	Giuseppe Contissa	[139] [157]
17	Matteo Cristani	[136] [150]
18	Mehdi Dastani	[50] [56] [81] [95]
19	Joachim Diederich	[140]
20	Nikos Dimaresis	[85] [91] [97] [103] [116]
21	Jürgen Dix	[130] [142]
22	Marlon Dumas	[22] [25] [26] [27] [45]
23	Jonathan Gelati	[36]
24	Manolis Genetzakis	[85] [97]
25	Yannis Georgalis (Giannis Georgalis)	[85] [97]
26	Aditya K. Ghose (Aditya Ghose)	[127] [160]
27	Paolo Di Giusto	[9] [10]
28	Mohammed Gollapalli	[155] [159]
29	Thomas F. Gordon	[121]
30	John Hall	[126]
31	Duy Hoang	[49]
32	Ian M. Hodkinson	[78]
33	Jörg Hoffmann	[111] [162]
34	Arthur H. M. ter Hofstede	[22] [25] [26] [27] [45]
35	Jane Yung-jen Hsu	[160]
36	Joris Hulstijn	[86] [93] [101] [144]
37	Renato Iannella	[123] [148]
38	Wojciech Jamroga (Wojtek Jamroga)	[142]
39	Benjamin Johnston	[31] [34]
40	Aqueo Kamada	[134]
41	Efie Karouzaki	[85] [97]
42	Grammati-Eirini Kastori	[132]
43	Nikolaos Kazepis	[85] [97]
44	David Kinny	[160]
45	Efstratios Kontopoulos	[102] [147]
46	Dimitris Kosmadakis	[85] [97]
47	Kalliopi Kravari	[132]
48	Manolis Kritsotakis	[85] [97]
49	Ho-Pun Lam	[120] [135] [152]
50	João Leite (João Alexandre Leite)	[142]
51	Xue Li	[155] [159]
52	Giannis Lilis	[85] [97]
53	Chuchang Liu	[67] [118] [146]
54	Alessio Lomuscio	[33]
55	Ruopeng Lu	[69] [74] [89] [96] [117] [124]
56	Jenny Eriksson Lundström	[82] [92]
57	Xiangyu Luo	[58]
58	Alessandro Luppi	[11]
59	Ji Ma	[67]
60	Michael J. Maher	[7] [8] [12] [13] [15] [17] [18] [19] [20] [21] [35] [46] [59] [131]
61	Zoran Milosevic	[43] [55] [60] [66]
62	Kioumars Namiri	[90]
63	Andrew Newman	[104]
64	Phillipa Oaks	[22] [25]
65	Francesco Olivieri	[136] [150] [153]
66	Mehmet A. Orgun	[67] [118] [146]
67	Vineet Padmanabhan	[23] [28] [29] [32] [58] [64] [65] [68] [72] [74] [76] [82] [92] [106] [114] [151] [154]
68	Monica Palmirani	[51] [88] [139] [149] [157]
69	Antonis Papadogiannakis	[85] [97]
70	Adrian Paschke	[113] [126] [130] [149] [161]
71	Panagiotis Pediaditis	[85] [97]
72	Duy Hoang Pham	[104] [105] [109] [115]
73	Pakornpong Pothipruk	[47] [71] [75]
74	Simon Raboczi	[104]
75	Mark Reynolds	[146]
76	Régis Riveret	[51] [61] [83] [86] [87] [88] [93] [101] [144]
77	Andrew Rock	[19]
78	Bram Roth	[87]
79	Antonino Rotolo	[3] [16] [24] [36] [38] [40] [42] [50] [51] [53] [56] [61] [64] [72] [76] [81] [83] [84] [86] [87] [88] [93] [95] [98] [99] [101] [107] [108] [110] [114] [119] [121] [122] [125] [129] [133] [137] [141] [144] [149] [153] [158]
80	Rossella Rubino	[122]
81	Nick Russell (Nick C. Russell)	[26] [27]
82	Ramakoti Sadananda	[127]
83	Shazia Wasim Sadiq (Shazia W. Sadiq)	[40] [66] [69] [72] [74] [89] [90] [96] [111] [117] [124] [134]
84	Giovanni Sartor	[5] [36] [51] [53] [88] [138] [143]
85	Abdul Sattar	[23] [28] [29] [52] [57] [58] [73] [100] [114] [145] [146] [151] [154]
86	Simone Scannapieco	[136] [150] [153]
87	Marek J. Sergot	[33]
88	Thomas Skylogiannis	[54] [79]
89	Insu Song	[39] [48] [62] [63] [70] [77] [81] [95] [140]
90	Bela Stantic	[73]
91	Kaile Su	[52] [57] [58]
92	Said Tabet	[149]
93	Paolo Terenziani	[94]
94	Constantinos Terzakis	[85] [97]
95	Subhasis Thakur	[82] [92] [104] [105] [106] [109] [115]
96	Rena Theodosaki	[85] [97]
97	Leendert W. N. van der Torre (Leendert van der Torre, Leon van der Torre)	[50] [56] [81] [95] [101] [125] [137] [144]
98	Yde Venema	[78]
99	Kewen Wang	[52] [58]
100	Ingo Weber (Ingo M. Weber)	[111] [162]
101	Ian Wood	[155] [159]
102	Xiaoping Yang	[124]
103	Dimitris Zeginis (Dimitrios Zeginis)	[85] [97]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page