Browse by all authors Browse By Author Name - Governatori,+Guido

Browse Results (140 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

Page 1 of 3

Result Pages:    1 2 3  next › last »

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Antoniou, Grigoris, Maher, Michael J., Billington, David and Governatori, Guido (1999). A comparison of sceptical NAF-free logic programming approaches. In: M. Gelfond, N.Leone and G. Pfeifer, Logic Programming And Nonmonotonic Reasoning: Proceedings of the Logic Programming and Non-Monotonic Reasoning. 5th International Conference. Logic Programming and Non-Monotonic Reasoning. 5th International Conference, El Paso, TX, (347-356). December, 1999. doi:10.1007/3-540-46767-X_25 170 631 0 0
Governatori, Guido, Thakur, Subhasis and Pham, Duy Hoang (2008). A compliance model of trust. In: Enrico Francesconi, Giovanni Sartor and Daniela Tiscornia, Legal Knowledge and Information Systems. JURIX 2008 : the twenty-first annual conference, Florence, Italy, (118-127). 10-13 December 2008. doi:10.3233/978-1-58603-952-3-118 12   0 Cited 0 times in Scopus0 0
Governatori, Guido and Rotolo, Antonino (2006) A Computational Framework for Institutional Agency. 160 480
Governatori, Guido and Rotolo, Antonino (2003). A Computational Framework for Non-Monotonic Agency, Institutionalised Power and Multi-Agent Systems. In: Bourcier, Daniele, Jurix 2003, Utrecht Netherlands, (151-152). December, 2003. 203 443 1
Governatori, Guido, Gelati, Jonathan, Rotolo, Antonino and Sartor, Giovanni (2002). Actions, Institutions, Powers: Preliminary Notes. In: Lindemann, Gabriela, Moldt, Daniel, Paulucci, Mario and Yu, Bin, International Workshop on Regulated Agent-Based Social Systems: Theories and Applications (RASTA'02), Bologna, (131-147). 12 July, 2002. 250 734
Padmanabhan, Vineet, Governatori, Guido and Sattar, Abdul (2001). Actions Made Explicit in BDI. In: 14th Australian Joint Conference on Artificial Intelliegnce, Adelaide, Australia, (). 10-14 December, 2001. 217 852
Governatori, Guido and Rotolo, Antonino (2003). A Defeasible Logic of Institutional Agency. In: Brewka, Gerhard and Peppas, Pavlos, Proceedings of the IJCAI-03 Workshop on Nonmonotonic Reasoning, Action and Change. IJCAI-03 Workshop on Nonmonotonic Reasoning, Action and Change, Acapulco, Mexico, (97-104). 10-11 August, 2003. 238 801
Governatori, Guido, Nair, Vineet and Sattar, Abdul (2002). A Defeasible Logic of Policy-based Intention. In: B. McKay and J. Slaney, Advances in Artificial Intelligence, 15th Australian Joint Conference on Artificial Intelligence Proceedings. Australasian Workshop on Computational Logic 2002, Canberra, (9-20). 2-3 December, 2002. 245 478 7
Governatori, Guido and Nair, Vineet (2003). A Defeasible Logic of Policy-Based Intention. In: Gedeon, Tamas D. and Fung, Lance Chun Che, AI 2003: Advances in Artificial Intelligence, 16th Australian Conference on Artificial Intelligence Proceedings. 16th Australian Conference on Artificial Intelligence, Perth, Australia, (414-426). 3-5 December, 2003. doi:10.1007/b94701 238 1898 0
Governatori, Guido (1996). A Duplication and Loop Checking Free System for S4. In: Miglioli, P., Moscato, U., Mundici, D. and Ornaghi, M., 5th Workshop on Theorem Proving with Analytic Tableaux and Related Methods (Short Papers), Terrassini, Italy, (19-32). . 254 488
Antoniou, Grigoris, Billington, David, Governatori, Guido, Maher, Michael J. and Rock, Andrew (2000). A Family of Defeasible Reasoning Logics and its Implementation. In: Horn, Werner, 14th European Conference on Artificial Intelligence, , (459-463). . 280 784
Padmanabhan, Vineet and Governatori, Guido (2006). A Fibred Tableau Calculus for BDI Logics. In: Baldoni, Matteo and Endriss, Ulle, Declarative Agent Languages and Technologies (Dalt 2006), Hakodate, Hokkaido, Japan, (). 8 May, 2006. 210 361
Antoniou, Grigoris, Billington, David, Governatori, Guido and Maher, Michael J. (2000). A Flexible Framework For Defeasible Logics. In: 9th Workshop on Non-Monotonic Reasoning, Breckenridge, Colorado, (). 9-11 April, 2000. 192 492
Antoniou, Grigoris, Billington, David, Governatori, Guido and Maher, Michael J. (2000). A Flexible Framework For Defeasible Logics. In: American National Conference on Artificial Intelligence (AAAI-2000), , (401-405). . 184 783
Governatori, Guido and Milosevic, Zoran (2006) A Formal Analysis of a Business Contract Language. International Journal of Cooperative Information Systems, 15 4: 659-685. doi:10.1142/S0218843006001529 795 8792 21 Cited 35 times in Scopus35 0
Dumas, Marlon, Governatori, Guido, ter Hofstede, Arthur H. M and Oaks, Philippa (2002) A Formal Approach to Negotiating Agents Development. Electronic Commerce Research and Applications, 1 2: 193-207. doi:10.1016/S1567-4223(02)00016-9 210 1433 Cited 36 times in Scopus36 0
Governatori, Guido, Dumas, Marlon, ter Hofstede, Arthur H. M and Oaks, Philippa (2001). A Formal Approach To Protocols And Strategies For (Legal) Negotiation. In: Henry Prakken, Proceedings of the 8th international conference on Artificial intelligence and law. 8th International Conference on Artificial Intelligence and Law (ICAIL-01), St. Louis, Missouri, USA, (168-177). 21 - 25 May, 2001. doi:10.1145/383535.383555 290 3333 Cited 40 times in Scopus40 0
Pothipruk, Pakornpong and Governatori, Guido (2005). A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web. In: A. H. H. Ngu, M. Kitsuregawa, E. J. Neuhold, J. Y. Chung and Q. Z. Sheng, Proceedings of the 6th International Conference on Web Information Systems Engineering - WISE 2005. 6th International Conference on Web Information Systems Engineering - WISE 2005, New York, NY, USA, (119-132). 20-22 November 2005. doi:10.1007/11581062_10 324 1170 1 Cited 0 times in Scopus0 0
Governatori, Guido and Rotolo, Antonino (2002). A Gentzen System for Reasoning with Contrary-To-Duty Obligations: A Preliminary Study. In: Jones, Andrew J. I. and Horty, John, Proceedings of the Sixth International Workshop on Deontic Logic in Computer Science. Deon 2002. Sixth International Workshop on Deontic Logic in Computer Science, London, (97-116). 22-24 May, 2002. 309 791
Artosi, Alberto, Governatori, Guido and Rotolo, Antonino (2000). A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations. In: Dyckhoff, Roy, Tableaux 2000, St Andrews, Scotland, (82-97). Jul 03-07, 2000. 241 648 2
Wang, Miao and Governatori, Guido (2007). A Logic Framework of Normative-based Contract Management. In: Formal Methods in Electronic Commerce 2007 Workshop, Stanford University, Palo Alto, CA, (). 4 June, 2007. 156 1450
Sadiq, Shazia and Governatori, Guido (2010). A methodological framework for aligning business processes and regulatory compliance. In Jan Brocke and Michael Rosemann (Ed.), Handbook of business process management: 2. Strategic alignment, governance, people and culture (pp. 159-176) Berlin & Heidelberg: Springer-Verlag Berlin Heidelberg. 122  
Antoniou, Grigoris, Dimaresis, Nikos and Governatori, Guido (2009) A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems. Expert Systems with Applications, 36 2, Part 2: 4125-4134. doi:10.1016/j.eswa.2008.03.009 34   5 Cited 7 times in Scopus7 0
Artosi, Alberto, Cattabriga, Paola and Governatori, Guido (1997). A Modal Computational Framework for Default Reasoning. In: Brewka, Gerhard, Habel, Christopher and Nebel, Bernhard, KI-97, , (373-376). . 184 407
Lam, Ho Pun, Thakur, Subhasis, Governatori, Guido and Sattar, Abdul (2009). A model to coordinate UAVs in urban environments using defeasible logic. In: Hu, Yuh-Jong, Yeh, Ching-Long, Laun, Wolfgang, Governatori, Guido, Hall, John and Paschke, Adrian, Proceedings of the 3rd International RuleML Challenge. 3rd International RuleML Challenge, Las Vegas, Nevada, U.S.A., (1-8). 5-7 November 2009. 68  
Johnston, Benjamin and Governatori, Guido (2003). An algorithm for the induction Of defeasible logic theories from databases. In: Klaus-Dieter Schewe and Xiaofang Zhou, Database technologies: Proceedings of the Fourteenth Australasian Database Conference. Fourteenth Australasian Database Conference, Adelaide, Australia, (75-83). 4-7 February, 2003. 258 388
Di Giusto, Paolo and Governatori, Guido (1999). Analytic Modal Revision For Multi-Agent Systems. In: Barahona, Pedro and Alferes, Jose Julio, 9th Portuguese Conference on Artificial Intelligence, Evora, Portugal, (282-296). September, 1999. 195 538
Governatori, Guido and Milosevic, Zoran (2005). An approach for validating BCL contract specifications. In: Claudio Bartolini, Guido Governatori and Zoran Milosevic, The 9th International IEEE Enterprise Distributed Object Computing Conference, Enschede, Netherlands, (1-10). 19-23 September 2005. 278 1026
Dumas, Marlon, Governatori, Guido, ter Hofstede, Arthur H. M. and Russell, Nick (2002). An Architecture for Assembling Agents that Participate in Alternative Heterogeneous Auctions. In: Yanchun Zhang, Amjad Umar, Ee-Peng Lim and Ming-Chien Shan, PROCEEDINGS - GREAT LAKES SYMPOSIUM ON VLSI. 12th International Workshop on Reseach Issues in Data Engineering (RIDE-2EC 2002), San Jose, (75-83). 24 -25 February, 2002. doi:10.1109/RIDE.2002.995101 214 493 0 0
Governatori, Guido and Maher, Michael J. (2000). An Argumentation-Theoretic Characterization of Defeasible Logic. In: Horn, Werner, 14th European Conference on Artificial Intelligence, , (469-474). . 173 668
Eriksson Lundström, Jenny, Governatori, Guido, Thakur, Subhasis and Padmanabhan, Vineet (2008). An Asymmetric Protocol for Argumentation Games in Defeasible Logic. In: Ghose, Aditya and Governatori, Guido, Lecture Notes in Computer Science:Agent Computing and Multi-Agent Systems. 10 Pacific Rim International Workshop on Multi-Agents (PRIMA 2008), Bangkok, (219-231). 21-23 November, 2007. doi:10.1007/978-3-642-01639-4_19 89 454 Cited 0 times in Scopus0 0
Artosi, Alberto, Cattabriga, Paola and Governatori, Guido (1994). An Automated Approach to Normative Reasoning. In: Breuker, Joost, ECAI Workshop on Artificial Normative Reasoning, Amsterdam, (132-145). . 196 590
Di Giusto, Paolo and Governatori, Guido (1999). A New Approach To Base Revision. In: Barahona, Pedro and Alferes, Jose Julio, 9th Portuguese Conference on Artificial Intelligence, Evora, Portugal, (327-341). September, 1999. 150 505
Song, Insu, Governatori, Guido and Colomb, Robert (2004). An Interaction Model for Affect Monitoring. In: Geoff Webb and Xinghuo Yu, Lecture Notes in Computer Science: AI 2004: Advances in Artificial Intelligence. The Seventeenth Australian Joint Conference on Artificial Intelligence, Cairns, (979-984). 4-6 December, 2004. doi:10.1007/b104336 159 485 0 0
Weber, Ingo, Governatori, Guido and Hoffmann, Jörg (2008) Approximate Compliance Checking for Annotated Process Models. , School of Information Technology and Electrical Engineering, The University of Queensland. 114 193
Weber, Ingo, Governatori, Guido and Hoffmann, Joerg (2008). Approximate Compliance Checking for Annotated Process Models. In: Sadiq, Shazia, Indulska, Marta and Zur Muehlen, Michael, 1st International Workshop on Governance, Risk and Compliance - Applications in Information Systems (GRCIS'08). GRCIS'08: International Workshop on Governance, Risk and Compliance in Information Systems, Montpellier, (46-60). 17 June, 2008. 106 436 Cited 1 times in Scopus1
Gollapalli, Mohammed, Li, Xue, Wood, Ian and Governatori, Guido (2011). Approximate record matching using hash grams. In: Myra Spiliopoulou, Haixun Wang, Diane Cook, Jian Pei, Wei Wang, Osmar Zaiane and Xindong Wu, Proceedings of the 11th IEEE International Conference on Data Mining Workshops (ICDM 2011). 2011 IEEE 11th International Conference on Data Mining (ICDM 2011), Vancouver Canada, (504-511). 11-14 December 2011. doi:10.1109/ICDMW.2011.33 77 1 Cited 1 times in Scopus1 0
Dumas, Marlon, Aldred, Lachlan, Governatori, Guido, ter Hofstede, Arthur and Russell, Nick (2002). A Probabilistic Approach to Automated Bidding in Alternative Auctions. In: Proceedings of the 11th International Conference on the World Wide Web. 11th International Conference on the World Wide Web (WWW), Honolulu, Hawaii, USA, (99-108). 7-11 May, 2002. doi:10.1145/511446.511460 184 546 Cited 18 times in Scopus18 0
Artosi, Alberto, Cattabriga, Paola and Governatori, Guido (1995). A Prolog Implementation of KEM. In: Alpuente, Maria and Sessa, Maria I., GULP-PRODE'95, Salerno, (395-400). . 252 965
Governatori, Guido, Maher, Michael J., Antoniou, Grigoris and Billington, David (2000). Argumentation Semantics for Defeasible Logics. In: Mizoguchi, Riichiro and Slaney, John, PRICAI 2000, Melbourne, Australia, (27-37). August, 2000. 193 865
Governatori, Guido, Maher, Michael J., Antoniou, Grigoris and Billington, David (2004) Argumentation Semantics for Defeasible Logics. Journal of Logic and Computation, 14 5: 675-702. doi:10.1093/logcom/14.5.675 256 1769 72 Cited 107 times in Scopus107 0
Maher, Michael J. and Governatori, Guido (1999). A Semantic Decomposition of Defeasible Logic. In: American National Conference on Artificial Intelligence (AAAI-1999), Orlando, Florida, (299-305). 18-22 July, 1999. 191 1377
Governatori, Guido and Hoang, Duy Pham (2005). A Semantic Web Based Architecture for e-Contracts in Defeasible Logic. In: Asaf Adi, Suzette Stoutenburg and Said Tabet, Lecture Notes in Computer Science: Proceedings of the 1st International Conference on Rules and Rule Markup Languages for the Semantic Web. 1st International Conference on Rules and Rule Markup Languages for the Semantic Web, Galway, Ireland, (145-158). 10-12 November, 2005. doi:10.1007/11580072_12 259 1472 8 Cited 9 times in Scopus9 0
Antoniou, Grigoris, Dimaresis, Nikos and Governatori, Guido (2007). A System for Modal and Deontic Defeasible Reasoning. In: Orgun, Mehmet A. and Thornton, John, 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Queensland, (609-613). 2-6 December, 2007. 94 764 3
Artosi, Alberto and Governatori, Guido (1998). A Tableaux Methodology For Deontic Conditional Logics. In: DEON'98, 4h International Workshop on Deontic Logic in Computer Science, Bologna, Italy, (65-81). January, 1998. 433 882
Governatori, Guido, Lomuscio, Alessio and Sergot, Marek J. (2003). A Tableaux System for Deontic Interpreted Systems. In: Gedeon, Tamas D. and Fung, Lance Chun Che, AI2003: Advances in Artificial Intelligence. 16th Australian Conference on Artificial Intelligence, Perth, Australia, (339-351). 3-5 December, 2003. 213 597 1
Governatori, Guido and Rotolo, Antonino (2007). BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic. In: Guido Boella, Leendert van der Torre and Harko Verhagen, Dagstuhl Seminar Proceedings. Normative Multi-Agent Systems (NorMAS), Dagstuhl, Germany, (1-34). 18-23 March, 2007. 152 362
Governatori, Guido and Rotolo, Antonino (2008) BIO logical agents: Norms, beliefs, intentions in defeasible logic. Journal of Autonomous Agents and Multi Agent Systems, 17 1: 36-69. doi:10.1007/s10458-008-9030-4 113 800 17 Cited 45 times in Scopus45 0
Governatori, Guido and Rotolo, Antonino (2008). Changing Legal Systems: Abrogation and Annulment Part II: Temporalised Defeasible Logic. 56 24
Governatori, Guido and Rotolo, Antonino (2008). Changing Legal Systems: Abrogation and Annulment. Part II: Temporalised Defeasible Logic. In: 3rd International Workshop on Normative Multiagent Systems (NorMAS 2008), Luxembourg, (). 15-16 July 2008. 57 281

Page 1 of 3

Result Pages:    1 2 3  next › last »