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 172 643 1 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. 161 505
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. 206 448 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. 252 739
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. 218 860
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. 259 825
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. 250 488 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 242 1908 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). . 259 494
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). . 283 791
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 367
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. 194 496
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). . 186 798
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 798 8922 21 Cited 38 times in Scopus38 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 212 1460 Cited 40 times in Scopus40 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 293 3391 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 1174 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. 313 803
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. 244 653 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. 158 1459
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. 129  
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 37   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). . 186 436
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. 69  
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. 262 395
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. 197 546
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. 279 1043
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 216 503 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). . 177 671
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 94 464 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). . 199 606
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. 152 515
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 161 489 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. 117 197
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. 108 455 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 186 568 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). . 255 972
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 258 1796 73 Cited 108 times in Scopus108 0
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. 195 886
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. 193 1386
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 265 1501 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. 95 774 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. 437 888
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 609 1
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 115 830 17 Cited 45 times in Scopus45 0
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. 155 373
Governatori, Guido and Rotolo, Antonino (2008). Changing Legal Systems: Abrogation and Annulment Part II: Temporalised Defeasible Logic. 57 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 »