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