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. 242 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 170 631 0 0
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 167 248 Cited 19 times in Scopus19 0
Governatori, Guido and Rotolo, Antonino (2006) A Computational Framework for Institutional Agency. 160 476
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
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. 342 1282
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
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. 51  
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 851
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. 234 801
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, 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. 243 478 7
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
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 153 1109 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 146 386 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. 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 781
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 3332 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
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. 76 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. 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
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 143 361 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. 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
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. 377 2900
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
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 410 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. 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 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. 238 439
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
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 (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
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
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. 116 556
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

Page 1 of 4

Result Pages:    1 2 3 4  next › last »