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. 244 615 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 172 642 1 0
Governatori, Guido and Rotolo, Antonino (2006) A Computational Framework for Institutional Agency. 161 504
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 170 251 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. 206 448 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. 346 1305
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. 53  
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 859
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 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 1907 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. 250 487 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). . 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
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 156 1127 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 149 395 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. 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 797
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 8918 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 1457 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 3386 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
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. 77 368
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
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 145 363 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. 158 1458
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
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. 378 2925
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
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 181 415 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. 197 545
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 463 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 514
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 488 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. 241 475
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 454 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 186 567 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 (2000). Argumentation Semantics for Defeasible Logics. In: Mizoguchi, Riichiro and Slaney, John, PRICAI 2000, Melbourne, Australia, (27-37). August, 2000. 195 885
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 1795 73 Cited 108 times in Scopus108 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. 118 563
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

Page 1 of 4

Result Pages:    1 2 3 4  next › last »