dblp.uni-trier.dewww.uni-trier.de

Guido Governatori

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
113EEAditya 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
112EERuopeng Lu, Shazia Wasim Sadiq, Guido Governatori, Xiaoping Yang: Defining Adaptation Constraints for Business Process Variants. BIS 2009: 145-156
2008
111 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
110EEGuido Governatori: Labelled modal tableaux. Advances in Modal Logic 2008: 87-110
109EEGuido Governatori, Antonino Rotolo: Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories. DEON 2008: 3-18
108EEGuido Governatori, Subhasis Thakur, Duy Hoang Pham: A Compliance Model of Trust. JURIX 2008: 118-127
107EEGuido Governatori, Antonino Rotolo: An Algorithm for Business Process Compliance. JURIX 2008: 186-191
106 Guido Governatori, Antonino Rotolo: Changing Legal Systems: Abrogation and Annulment. Part II: Temporalised Defeasible Logic. NORMAS 2008: 112-127
105EEVineet Padmanabhan, Guido Governatori, Subhasis Thakur: Knowledge Assessment: A Modal Logic Approach. PRIMA 2008: 315-322
104EEDuy Hoang Pham, Subhasis Thakur, Guido Governatori: Settling on the Group's Goals: An n-Person Argumentation Game Approach. PRIMA 2008: 328-339
103EEDuy Hoang Pham, Guido Governatori, Simon Raboczi, Andrew Newman, Subhasis Thakur: On Extending RuleML for Modal Defeasible Logic. RuleML 2008: 89-103
102EEGrigoris Antoniou, Nikos Dimaresis, Guido Governatori: A system for modal and deontic defeasible reasoning. SAC 2008: 2261-2265
101EEEfstratios Kontopoulos, Nick Bassiliades, Guido Governatori, Grigoris Antoniou: Extending a Defeasible Reasoner with Modal and Deontic Logic Operators. Web Intelligence/IAT Workshops 2008: 626-629
100EEGuido 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
99EEJeff Blee, David Billington, Guido Governatori, Abdul Sattar: Levels of Modalities for BDI Logic. Web Intelligence/IAT Workshops 2008: 647-650
98EEGuido Governatori, Antonino Rotolo: A computational framework for institutional agency. Artif. Intell. Law 16(1): 25-52 (2008)
97EEGuido Governatori, Antonino Rotolo: BIO logical agents: Norms, beliefs, intentions in defeasible logic. Autonomous Agents and Multi-Agent Systems 17(1): 36-69 (2008)
96EEGrigoris Antoniou, Antonis Bikakis, Nikos Dimaresis, Manolis Genetzakis, Giannis Georgalis, Guido Governatori, Efie Karouzaki, Nikolas 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)
95EERuopeng Lu, Shazia Wasim Sadiq, Guido Governatori: Measurement of Compliance Distance in Business Processes. IS Management 25(4): 344-355 (2008)
2007
94EEMehdi Dastani, Guido Governatori, Antonino Rotolo, Insu Song, Leendert van der Torre: Contextual deliberation of cognitive agents in defeasible logic. AAMAS 2007: 148
93EEGuido Governatori, Paolo Terenziani: Temporal Extensions to Defeasible Logic. Australian Conference on Artificial Intelligence 2007: 476-485
92EEGuido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo: Characterising Deadlines in Temporal Modal Defeasible Logic. Australian Conference on Artificial Intelligence 2007: 486-496
91EESubhasis Thakur, Guido Governatori, Vineet Padmanabhan, Jenny Eriksson Lundström: Dialogue Games in Defeasible Logic. Australian Conference on Artificial Intelligence 2007: 497-506
90EEGrigoris Antoniou, Nikos Dimaresis, Guido Governatori: A System for Modal and Deontic Defeasible Reasoning. Australian Conference on Artificial Intelligence 2007: 609-613
89EEShazia Wasim Sadiq, Guido Governatori, Kioumars Namiri: Modeling Control Objectives for Business Process Compliance. BPM 2007: 149-164
88EERuopeng Lu, Shazia Wasim Sadiq, Guido Governatori: Compliance Aware Business Process Design. Business Process Management Workshops 2007: 120-131
87EEGuido Governatori, Antonino Rotolo, Régis Riveret, Monica Palmirani, Giovanni Sartor: Variants of temporal defeasible logics for modelling norm modifications. ICAIL 2007: 155-159
86EEBram Roth, Régis Riveret, Antonino Rotolo, Guido Governatori: Strategic argumentation: a game theoretical investigation. ICAIL 2007: 81-90
85 Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo: On the Representation of Deadlines in a Rental Agreement. JURIX 2007: 169-170
84EEGrigoris Antoniou, Antonis Bikakis, Nikos Dimaresis, Manolis Genetzakis, Giannis Georgalis, Guido Governatori, Efie Karouzaki, Nikolas 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
83EEGuido Governatori, Antonino Rotolo: BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic. Normative Multi-agent Systems 2007
82EERégis Riveret, Antonino Rotolo, Guido Governatori: Interaction between Normative Systems and Cognitive agents in Temporal Modal Defeasible Logic. Normative Multi-agent Systems 2007
81EEJenny Eriksson Lundström, Guido Governatori, Subhasis Thakur, Vineet Padmanabhan: An Asymmetric Protocol for Argumentation Games in Defeasible Logic. PRIMA 2007: 219-231
80EEMehdi Dastani, Guido Governatori, Antonino Rotolo, Insu Song, Leendert van der Torre: Contextual Agent Deliberation in Defeasible Logic. PRIMA 2007: 98-109
79EENick Bassiliades, Grigoris Antoniou, Guido Governatori: Proof Explanation in the DR-DEVICE System. RR 2007: 249-258
78EEThomas 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
77 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
76EEInsu Song, Guido Governatori: Designing agent chips. AAMAS 2006: 1311-1313
75EEGuido Governatori, Antonino Rotolo, Vineet Padmanabhan: The cost of social agents. AAMAS 2006: 513-520
74EEPakornpong Pothipruk, Guido Governatori: An optimization for query answering on ALC database. ADC 2006: 129-137
73EERuopeng Lu, Shazia Wasim Sadiq, Vineet Padmanabhan, Guido Governatori: Using a temporal constraint network for business process execution. ADC 2006: 157-166
72EEBela Stantic, Guido Governatori, Abdul Sattar: Handling of current time in native XML databases. ADC 2006: 175-182
71EEVineet Padmanabhan, Guido Governatori, Shazia Wasim Sadiq, Robert Colomb, Antonino Rotolo: Process modelling: the deontic way. APCCM 2006: 75-84
70EEPakornpong Pothipruk, Guido Governatori: ALE Defeasible Description Logic. Australian Conference on Artificial Intelligence 2006: 110-119
69EEInsu Song, Guido Governatori: Hardware Implementation of Temporal Nonmonotonic Logics. Australian Conference on Artificial Intelligence 2006: 808-817
68 Ruopeng Lu, Shazia Wasim Sadiq, Guido Governatori: Utilizing Successful Work Practice for Business Process Evolution. BIS 2006: 58-76
67EEVineet Padmanabhan, Guido Governatori: A Fibred Tableau Calculus for Modal Logics of Agents. DALT 2006: 105-122
66EEMehmet A. Orgun, Ji Ma, Chuchang Liu, Guido Governatori: Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems. DASC 2006: 325-332
65EEGuido Governatori, Zoran Milosevic, Shazia Wasim Sadiq: Compliance checking between business processes and business contracts. EDOC 2006: 221-232
64EEVineet Padmanabhan, Guido Governatori: On Constructing Fibred Tableaux for BDI Logics. PRICAI 2006: 150-160
63EEGuido Governatori, Vineet Padmanabhan, Antonino Rotolo: Rule-Based Agents in Temporalised Defeasible Logic. PRICAI 2006: 31-40
62EEInsu Song, Guido Governatori: Affective Web Service Design. PRICAI 2006: 71-80
61 Insu Song, Guido Governatori: A Compact Argumentation System for Agent System Specification. STAIRS 2006: 26-37
60 Régis Riveret, Guido Governatori, Antonino Rotolo: Argumentation Semantics for Temporal Defeasible Logic. STAIRS 2006: 267-268
59EEGuido Governatori, Zoran Milosevic: A Formal Analysis of a Business Contract Language. Int. J. Cooperative Inf. Syst. 15(4): 659-685 (2006)
58EEGrigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: Embedding defeasible logic into logic programming. TPLP 6(6): 703-735 (2006)
2005
57 Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan: Observation-based Model for BDI-Agents. AAAI 2005: 190-195
56EEKaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen: A computationally grounded logic of knowledge, belief and certainty. AAMAS 2005: 149-156
55EEMehdi 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
54EEGuido Governatori, Zoran Milosevic: Dealing with contract violations: formalism and domain specific language. EDOC 2005: 46-57
53EEThomas Skylogiannis, Grigoris Antoniou, Nick Bassiliades, Guido Governatori: DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies. EEE 2005: 44-49
52 Guido Governatori, Antonino Rotolo, Giovanni Sartor: Temporalised Normative Positions in Defeasible Logic. ICAIL 2005: 25-34
51EEKaile Su, Abdul Sattar, Kewen Wang, Guido Governatori: Computationally Grounded Model of BDI-Agents. IJCAI 2005: 1581-1582
50 Guido Governatori, Monica Palmirani, Régis Riveret, Antonino Rotolo, Giovanni Sartor: Norm Modifications in Defeasible Logic. JURIX 2005: 13-22
49EEMehdi Dastani, Guido Governatori, Antonino Rotolo, Leendert W. N. van der Torre: Programming Cognitive Agents in Defeasible Logic. LPAR 2005: 621-636
48EEGuido Governatori, Duy Hoang: A Semantic Web Based Architecture for e-Contracts in Defeasible Logic. RuleML 2005: 145-159
47EEInsu Song, Guido Governatori: Nested Rules in Defeasible Logic. RuleML 2005: 204-208
46EEPakornpong Pothipruk, Guido Governatori: A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web. WISE 2005: 119-132
45EEGrigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: Embedding Defeasible Logic into Logic Programming CoRR abs/cs/0511055: (2005)
44EEMarlon Dumas, Lachlan Aldred, Guido Governatori, Arthur H. M. ter Hofstede: Probabilistic Automated Bidding in Multiple Auctions. Electronic Commerce Research 5(1): 25-49 (2005)
43EEGuido Governatori: Representing business contracts in RuleML. Int. J. Cooperative Inf. Syst. 14(2-3): 181-216 (2005)
42EEZoran Milosevic, Guido Governatori: Guest editors' introduction. Int. J. Cooperative Inf. Syst. 14(2-3): 73-76 (2005)
2004
41EEPeng Yew Cheow, Guido Governatori: Representing and Reasoning on XForms Document. ADC 2004: 141-150
40EEGuido Governatori, Antonino Rotolo, Shazia Wasim Sadiq: A Model of Dynamic Resource Allocation in Workflow Systems. ADC 2004: 197-206
39EEInsu Song, Guido Governatori, Robert Colomb: An Interaction Model for Affect Monitoring. Australian Conference on Artificial Intelligence 2004: 979-984
38EEGuido Governatori, Antonino Rotolo: Defeasible Logic: Agency, Intention and Obligation. DEON 2004: 114-128
37EEGuido Governatori: Defeasible Description Logics. RuleML 2004: 98-112
36EEJonathan 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)
35EEGuido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington: Argumentation Semantics for Defeasible Logic. J. Log. Comput. 14(5): 675-702 (2004)
2003
34EEBenjamin Johnston, Guido Governatori: An algorithm for the induction of defeasible logic theories from databases. ADC 2003: 75-83
33EEGuido Governatori, Alessio Lomuscio, Marek J. Sergot: A Tableaux System for Deontic Interpreted Systems. Australian Conference on Artificial Intelligence 2003: 339-351
32EEGuido 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
30EEGuido Governatori: On the Relative Complexity of Labelled Modal Tableaux. Electr. Notes Theor. Comput. Sci. 78: (2003)
2002
29EEGuido Governatori, Vineet Padmanabhan, Abdul Sattar: A Defeasible Logic of Policy-Based Intention. Australian Joint Conference on Artificial Intelligence 2002: 723
28EEGuido Governatori, Vineet Padmanabhan, Abdul Sattar: On Fibring Semantics for BDI Logics. JELIA 2002: 198-210
27EEMarlon 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
26EEMarlon 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
25EEMarlon 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)
24EEAlberto Artosi, Guido Governatori, Antonino Rotolo: Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations. J. Log. Comput. 12(6): 1027-1060 (2002)
2001
23EEVineet 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
21EEGrigoris 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
15EEGrigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher: A flexible framework for defeasible logics CoRR cs.AI/0003013: (2000)
14EEAlberto Artosi, Guido Governatori: A tableau methodology for deontic conditional logics CoRR cs.LO/0003050: (2000)
13EEGrigoris 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
11EEGuido 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
8EEDavid Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher: Revising Nonmonotonic Theories: The Case of Defeasible Logic. KI 1999: 101-112
7EEGrigoris 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

1Lachlan Aldred [26] [44]
2Grigoris Antoniou [7] [8] [13] [15] [17] [19] [20] [21] [35] [45] [53] [58] [78] [79] [84] [90] [96] [101] [102]
3Alberto Artosi [2] [3] [5] [6] [14] [16] [24]
4Nick Bassiliades (N. Bassiliades) [53] [78] [79] [101] [111]
5Paola Benassi [3]
6Antonis Bikakis [78] [84] [96]
7David Billington [7] [8] [13] [15] [17] [19] [20] [21] [35] [45] [58] [99]
8Jeff Blee [99]
9Guido Boella [100]
10Paola Cattabriga [2] [6]
11Qingliang Chen [56]
12Peng Yew Cheow [41]
13Robert Colomb [39] [71]
14Mehdi Dastani [49] [55] [80] [94]
15Nikos Dimaresis [84] [90] [96] [102]
16Marlon Dumas [22] [25] [26] [27] [44]
17Jonathan Gelati [36]
18Manolis Genetzakis [84] [96]
19Giannis Georgalis [84] [96]
20Aditya K. Ghose (Aditya Ghose) [113]
21Paolo Di Giusto [9] [10]
22Duy Hoang [48]
23Ian M. Hodkinson [77]
24Arthur H. M. ter Hofstede [22] [25] [26] [27] [44]
25Joris Hulstijn [85] [92] [100]
26Benjamin Johnston [31] [34]
27Efie Karouzaki [84] [96]
28Nikolas Kazepis [84] [96]
29Efstratios Kontopoulos [101]
30Dimitris Kosmadakis [84] [96]
31Manolis Kritsotakis [84] [96]
32Giannis Lilis [84] [96]
33Chuchang Liu [66]
34Alessio Lomuscio [33]
35Ruopeng Lu [68] [73] [88] [95] [112]
36Jenny Eriksson Lundström [81] [91]
37Xiangyu Luo [57]
38Alessandro Luppi [11]
39Ji Ma [66]
40Michael J. Maher [7] [8] [12] [13] [15] [17] [18] [19] [20] [21] [35] [45] [58]
41Zoran Milosevic [42] [54] [59] [65]
42Kioumars Namiri [89]
43Andrew Newman [103]
44Phillipa Oaks [22] [25]
45Mehmet A. Orgun [66]
46Vineet Padmanabhan [23] [28] [29] [32] [57] [63] [64] [67] [71] [73] [75] [81] [91] [105]
47Monica Palmirani [50] [87]
48Antonis Papadogiannakis [84] [96]
49Adrian Paschke [111]
50Panagiotis Pediaditis [84] [96]
51Duy Hoang Pham [103] [104] [108]
52Pakornpong Pothipruk [46] [70] [74]
53Simon Raboczi [103]
54Régis Riveret [50] [60] [82] [85] [86] [87] [92] [100]
55Andrew Rock [19]
56Bram Roth [86]
57Antonino Rotolo [3] [16] [24] [36] [38] [40] [49] [50] [52] [55] [60] [63] [71] [75] [80] [82] [83] [85] [86] [87] [92] [94] [97] [98] [100] [106] [107] [109]
58Nick Russell [26] [27]
59Ramakoti Sadananda [113]
60Shazia Wasim Sadiq (Shazia W. Sadiq) [40] [65] [68] [71] [73] [88] [89] [95] [112]
61Giovanni Sartor [5] [36] [50] [52] [87]
62Abdul Sattar [23] [28] [29] [51] [56] [57] [72] [99]
63Marek J. Sergot [33]
64Thomas Skylogiannis [53] [78]
65Insu Song [39] [47] [61] [62] [69] [76] [80] [94]
66Bela Stantic [72]
67Kaile Su [51] [56] [57]
68Paolo Terenziani [93]
69Constantinos Terzakis [84] [96]
70Subhasis Thakur [81] [91] [103] [104] [105] [108]
71Rena Theodosaki [84] [96]
72Leendert W. N. van der Torre (Leendert van der Torre) [49] [55] [80] [94] [100]
73Yde Venema [77]
74Kewen Wang [51] [57]
75Xiaoping Yang [112]
76Dimitris Zeginis [84] [96]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)