Browse By Depositor - Guido Governatori

Browse Results (103 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 »


 Browse By Depositor - Guido Governatori:
  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, 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, 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, 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 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
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, 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. 208 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 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
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
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
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
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
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
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
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 594 1
Governatori, Guido, Milosevic, Zoran and Sadiq, Shazia (2006). Compliance checking between business processes and business contracts. In: Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06). 10th International Enterprise Distributed Object Computing Conference (EDOC 2006), Hong Kong, China, (221-232). 16-20 October 2006. doi:10.1109/EDOC.2006.22 186 3706 36 Cited 102 times in Scopus102 0
Su, K., Sattar, A., Wang, K. and Governatori, G. (2005). Computationally Grounded Model of BDI-Agents. In: L.P. Kaelbling and A. Saffiotti, Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05). International Joint Conference on Artificial Inteligence, Edinburgh, Scotland, (1581-1582). 30 July - 5 August, 2005. 225 646
Governatori, Guido and Milosevic, Zoran (2005). Dealing with contract violations: Formalism and domain specific language. In: Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05). Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05), Enschede, The Netherlands, (46-57). 19-23 September, 2005. doi:10.1109/EDOC.2005.13 244 2117 0 Cited 16 times in Scopus16 0
Gabbay, Dov M. and Governatori, Guido (1998). Dealing with Label Dependent Deontic Modalities. In McNamara, Paul and Prakken, Henry (Ed.), Norms, Logics and Information Systems. New Studies in Deontic Logic (pp. 311-330) : IOS Press. 156 632
Gelati, Jonathan, Governatori, Guido, Rotolo, Antonino and Sartor, Giovanni (2002). Declarative Power, Representation, and Mandate: A Formal Anaysis. In: Bench-Capon, Trevor, Daskalopulu, Aspassia and Winkels, Radboudb, Jurix 2002, London, (41-52). December, 2002. 243 1574
Governatori, Guido (2004). Defeasible Description Logics. In: Antoniou, Grigoris and Boley, Harold, Rules And Rule Markup Languages For The Semantic Web, Proceedings. Third International Workshop on Rules and Rule Markup Languages for the Semantic Web, Hiroshima, Japan, (98-112). 8 November, 2004. 196 1998 5
Governatori, Guido and Rotolo, Antonino (2004). Defeasible Logic: Agency, Intention and Obligation. In: Lomuscio, Alession and Nute, Donald, Deontic Logic In Computer Science, Proceedings. 7th International Workshop on Deontic Logic in Computer Science, DEON 2004, Madeira, Spain, (114-128). 26-28 May, 2004. 188 2869 31
Governatori, Guido, ter Hofstede, Arthur H. M. and Oaks, Philippa (2000). Defeasible Logic for Automated Negotiation. In: P. M. Swatman,, 5th CollECTeR Conference on Electronic Commerce. CollECTeR, Brisbane, Queensland, Australia, (). 13-14 December, 2000. 338 949
Song, I. and Governatori, G. (2006). Designing Agent Chips. In: P. Stone and G. Weiss, Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems. Fifth International Joint Conference on Autonomous Agents & Multi Agent Systems, Hakodate, Hokkaido, Japan, (1311-1311). 8-12 May, 2006. 133 399

Page 1 of 3

Result Pages:    1 2 3  next › last »