Browse by all authors Browse By Author ID - Governatori, Guido

Browse Results (159 results found)

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

Page 1 of 4

Result Pages:    1 2 3 4  next › last »

Refine

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Song, I. and Governatori, G. (2006). A Compact Argumentation System for Agent System Specification. In: Peppas, Pavlos, P. Peppas and A. Perini, STAIRS 2006, Proceedings of the Third Starting AI Researchers' Symposium. Third Starting AI Researchers' Symposium (STAIRS'06), Riva del Garda, Italy, (26-37). 28-29 August, 2006. 241 603 0
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 169 631 0 0
Governatori, Guido and Rotolo, Antonino (2006) A Computational Framework for Institutional Agency. 158 466
Governatori, G and Rotolo, A (2008) A computational framework for institutional agency. Artificial Intelligence and Law, 16 1: 25-52. doi:10.1007/s10506-007-9056-y 163 246 Cited 19 times in Scopus19 0
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. 202 442 1
Su, K., Sattar, A., Governatori, G. and Chen, Q. (2005). A Computationally Grounded Logic of Knowledge, Belief and Certainty. In: S. Kraus, M. P. Singh, S. Koening, M. Wooldridge, F. Dignum and V. Dignum, Proceedings of the 4th International Joint Conference of Autonomous Agents and Multiagent Systems. 4th International Conference on Autonomous Agents and Multiagent Systems, Utrecht, The Netherlands, (149-156). 25-29 July, 2005. 339 1278
Governatori, G., Gelati, J., Rotolo, A. and Sartor, G. (2002). Actions, institutions, powers: Preliminary notes. In: G. Lindemann, D. Moldt, M. Paolucci and B. Yu, Proceedings of the International Workshop on Regulated Agent-Based Social Systems: Theories and Applications. International Workshop on Regulated Agent-Based Social Systems: Theories and Applications, Bologna, Italy, (131-147). 16 July, 2002. 50  
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. 249 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. 215 843
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. 225 789
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. 241 476 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 237 1897 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). . 251 480
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). . 278 782
Song, I. and Governatori, G. (2006). Affective Web Service Design. In: Yang, Qian and Webb, Geoff, PRICAI 2006: Trends In Artificial Intelligence, Proceedings of the 9th Pacific Rim International Conference on Artifical Intelligence. 9th Pacific Rim International Conference on Artificial Intelligence, Guilin, Guanxi, China, (71-80). 7-11 August, 2006. doi:10.1007/11801603_10 152 1107 1 0
Padmanabhan, V. and Governatori, G (2006). A Fibred Tableau Calculus for Modal Logics of Agents. In: Baldoni, Matteo and Endriss, Ulle, Declarative Agent Languages and Technologies IV, 4th International Workshop, DALT 2006. Declarative Agent Languages and Technologies IV, DALT 2006, Hakodate, Japan, (105-122). 8 May, 2006. doi:10.1007/11961536_8 145 385 1 0
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. 191 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). . 183 775
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 792 8751 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 209 1425 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 3317 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 323 1170 1 Cited 0 times in Scopus0 0
Pham, D.H., Governatori, G and Raboczi, S (2008). Agents adapt to majority behaviours. In: Cao, T. and Ho, T., Addendum Contributions to the IEEE International Conference on Research, Innovation and Vision for the Future in Computing and Communication Technologies. 2008 IEEE International Conference on Research, Innovation and Vision for the Future in Computing and Communication Technologies, Ho Chi Minh City, Vietnam, (7-12). 13-17 July, 2008. 75 366
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. 301 781
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. 239 646 2
Pothipruk, P. and Governatori, G (2006). ALE Defeasible Description Logic. In: Sattar, Abdul and Kang, Byeong Ho, AI 2006: Advances in Artificial Intelligence, 19th Australian Joint Conference on Artificial Intelligence. 19th Australian Joint Conference on Artificial Intelligence, Hobart, Tasmania, (110-119). 4-8 December, 2006. doi:10.1007/11941439_15 142 354 1 0
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. 155 1449
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. 120  
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 33   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). . 183 407
Governatori, G., Rotolo, A. and Sadiq, S. W. (2004). A Model of Dynamic Resource Allocation in Workflow Systems. In: Schewe, Klaus-Dieter and Williams, Hugh E., Database Technologies 2004. Fifteenth Australasian Database Conference, Dunedin, NZ, (197-206). 18-22 January, 2004. 376 2885
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. 257 383
Orgun, M. A., Ma, J., Liu, C. and Governatori, G. (2006). Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems. In: Y. Dai, M. Hinkey and Y.Pan, Proceedings of the 2nd IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC'06). 2nd IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC'06), Indiana University, Purdue University, Indianapolis, (325-332). 29 September 29 - 1 October, 2006. doi:10.1109/DASC.2006.19 179 400 0 Cited 3 times in Scopus3 0
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. 194 537
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. 277 1017
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 210 491 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). . 172 667
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 88 446 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). . 195 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. 149 502
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 158 483 0 0
Pothipruk, P. and Governatori, G (2005). An Optimization for Query Answering on ALC Database. In: G. Dobbie and J. Bailey, Proceedings of 17th Australasian Database Conference (ADC2006). 17th Australasian Database Conference (ADC2006), Hobart, Tasmania, Australia, (129-137). 16-19 January, 2006. 237 432
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. 105 428 Cited 1 times in Scopus1
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 189
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 182 540 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). . 250 963
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. 192 858
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 255 1763 70 Cited 104 times in Scopus104 0
Riveret, R., Governatori, G and Rotolo, A. (2006). Argumentation Semantics for Temporal Defeasible Logic. In: Peppas, Pavlos, Perini, Anna and Penserini, Loris, STAIRS 2006, Proceedings of the Third Starting AI Researchers' Symposium. Third European Starting AI Researcher Symposium (STAIRS '06), Riva del Garda, Italy, (267-268). 28-29 August, 2006. 115 551
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. 190 1369

Page 1 of 4

Result Pages:    1 2 3 4  next › last »