The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Guido Governatori: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
    A Flexible Framework for Defeasible Logics. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2000, pp:405-410 [Conf]
  2. Michael J. Maher, Guido Governatori
    A Semantic Decomposition of Defeasible Logics. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1999, pp:299-305 [Conf]
  3. Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan
    Observation-based Model for BDI-Agents. [Citation Graph (0, 0)][DBLP]
    AAAI, 2005, pp:190-195 [Conf]
  4. Guido Governatori, Antonino Rotolo, Shazia Wasim Sadiq
    A Model of Dynamic Resource Allocation in Workflow Systems. [Citation Graph (0, 0)][DBLP]
    ADC, 2004, pp:197-206 [Conf]
  5. Benjamin Johnston, Guido Governatori
    An algorithm for the induction of defeasible logic theories from databases. [Citation Graph (0, 0)][DBLP]
    ADC, 2003, pp:75-83 [Conf]
  6. Peng Yew Cheow, Guido Governatori
    Representing and Reasoning on XForms Document. [Citation Graph (0, 0)][DBLP]
    ADC, 2004, pp:141-150 [Conf]
  7. Bela Stantic, Guido Governatori, Abdul Sattar
    Handling of current time in native XML databases. [Citation Graph (0, 0)][DBLP]
    ADC, 2006, pp:175-182 [Conf]
  8. Ruopeng Lu, Shazia Wasim Sadiq, Vineet Padmanabhan, Guido Governatori
    Using a temporal constraint network for business process execution. [Citation Graph (0, 0)][DBLP]
    ADC, 2006, pp:157-166 [Conf]
  9. Pakornpong Pothipruk, Guido Governatori
    An optimization for query answering on ALC database. [Citation Graph (0, 0)][DBLP]
    ADC, 2006, pp:129-137 [Conf]
  10. Alberto Artosi, Paola Cattabriga, Guido Governatori
    A Prolog Implementation of Kem. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE, 1995, pp:395-400 [Conf]
  11. Guido Governatori, Alessandro Luppi
    Labelled Tableaux for Non-normal Modal Logics. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1999, pp:119-130 [Conf]
  12. Vineet Padmanabhan, Guido Governatori, Shazia Wasim Sadiq, Robert Colomb, Antonino Rotolo
    Process modelling: the deontic way. [Citation Graph (0, 0)][DBLP]
    APCCM, 2006, pp:75-84 [Conf]
  13. Guido Governatori, Antonino Rotolo, Vineet Padmanabhan
    The cost of social agents. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:513-520 [Conf]
  14. Insu Song, Guido Governatori
    Designing agent chips. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:1311-1313 [Conf]
  15. Kaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen
    A computationally grounded logic of knowledge, belief and certainty. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2005, pp:149-156 [Conf]
  16. Mehdi Dastani, Guido Governatori, Antonino Rotolo, Leendert W. N. van der Torre
    Preferences of Agents in Defeasible Logic. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2005, pp:695-704 [Conf]
  17. Guido Governatori, Alessio Lomuscio, Marek J. Sergot
    A Tableaux System for Deontic Interpreted Systems. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2003, pp:339-351 [Conf]
  18. Guido Governatori, Vineet Padmanabhan
    A Defeasible Logic of Policy-Based Intention. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2003, pp:414-426 [Conf]
  19. Guido Governatori, Vineet Padmanabhan, Abdul Sattar
    A Defeasible Logic of Policy-Based Intention. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 2002, pp:723- [Conf]
  20. Vineet Padmanabhan, Guido Governatori, Abdul Sattar
    Actions Made Explicit in BDI. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 2001, pp:390-401 [Conf]
  21. Pakornpong Pothipruk, Guido Governatori
    ALE Defeasible Description Logic. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2006, pp:110-119 [Conf]
  22. Insu Song, Guido Governatori
    Hardware Implementation of Temporal Nonmonotonic Logics. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2006, pp:808-817 [Conf]
  23. Insu Song, Guido Governatori, Robert Colomb
    An Interaction Model for Affect Monitoring. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2004, pp:979-984 [Conf]
  24. Ruopeng Lu, Shazia Wasim Sadiq, Guido Governatori
    Utilizing Successful Work Practice for Business Process Evolution. [Citation Graph (0, 0)][DBLP]
    BIS, 2006, pp:58-76 [Conf]
  25. Vineet Padmanabhan, Guido Governatori
    A Fibred Tableau Calculus for Modal Logics of Agents. [Citation Graph (0, 0)][DBLP]
    DALT, 2006, pp:105-122 [Conf]
  26. Mehmet A. Orgun, Ji Ma, Chuchang Liu, Guido Governatori
    Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems. [Citation Graph (0, 0)][DBLP]
    DASC, 2006, pp:325-332 [Conf]
  27. Alberto Artosi, Guido Governatori, Giovanni Sartor
    Towards a Computational Treatment of Deontic Defeasibility. [Citation Graph (0, 0)][DBLP]
    DEON, 1996, pp:27-46 [Conf]
  28. Guido Governatori, Antonino Rotolo
    Defeasible Logic: Agency, Intention and Obligation. [Citation Graph (0, 0)][DBLP]
    DEON, 2004, pp:114-128 [Conf]
  29. Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, Andrew Rock
    A Family of Defeasible Reasoning Logics and its Implementation. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:459-463 [Conf]
  30. Guido Governatori, Michael J. Maher
    An Argumentation-Theoretic Characterization of Defeasible Logic. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:469-473 [Conf]
  31. Guido Governatori, Zoran Milosevic
    Dealing with contract violations: formalism and domain specific language. [Citation Graph (0, 0)][DBLP]
    EDOC, 2005, pp:46-57 [Conf]
  32. Thomas Skylogiannis, Grigoris Antoniou, Nick Bassiliades, Guido Governatori
    DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies. [Citation Graph (0, 0)][DBLP]
    EEE, 2005, pp:44-49 [Conf]
  33. Paolo Di Giusto, Guido Governatori
    Analytic Modal Revision for Multi-agent Systems. [Citation Graph (0, 0)][DBLP]
    EPIA, 1999, pp:282-296 [Conf]
  34. Paolo Di Giusto, Guido Governatori
    A New Approach to Base Revision. [Citation Graph (0, 0)][DBLP]
    EPIA, 1999, pp:327-341 [Conf]
  35. Guido Governatori
    Labelling Ideality and Subideality. [Citation Graph (0, 0)][DBLP]
    FAPR, 1996, pp:291-304 [Conf]
  36. Guido Governatori, Marlon Dumas, Arthur H. M. ter Hofstede, Phillipa Oaks
    A formal approach to legal negotiation. [Citation Graph (0, 0)][DBLP]
    ICAIL, 2001, pp:168-177 [Conf]
  37. Guido Governatori, Antonino Rotolo, Giovanni Sartor
    Temporalised Normative Positions in Defeasible Logic. [Citation Graph (0, 0)][DBLP]
    ICAIL, 2005, pp:25-34 [Conf]
  38. Benjamin Johnston, Guido Governatori
    Induction of Defeasible Logic Theories in the Legal Domain. [Citation Graph (0, 0)][DBLP]
    ICAIL, 2003, pp:204-213 [Conf]
  39. Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori
    Computationally Grounded Model of BDI-Agents. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:1581-1582 [Conf]
  40. Alberto Artosi, Paola Benassi, Guido Governatori, Antonino Rotolo
    Labelled Proofs for Quantified Modal Logic. [Citation Graph (0, 0)][DBLP]
    JELIA, 1996, pp:70-86 [Conf]
  41. Guido Governatori, Vineet Padmanabhan, Abdul Sattar
    On Fibring Semantics for BDI Logics. [Citation Graph (0, 0)][DBLP]
    JELIA, 2002, pp:198-210 [Conf]
  42. David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher
    Revising Nonmonotonic Theories: The Case of Defeasible Logic. [Citation Graph (0, 0)][DBLP]
    KI, 1999, pp:101-112 [Conf]
  43. Alberto Artosi, Paola Cattabriga, Guido Governatori
    A Modal Computational Framework for Default Reasoning. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:373-376 [Conf]
  44. Mehdi Dastani, Guido Governatori, Antonino Rotolo, Leendert W. N. van der Torre
    Programming Cognitive Agents in Defeasible Logic. [Citation Graph (0, 0)][DBLP]
    LPAR, 2005, pp:621-636 [Conf]
  45. Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori
    A Comparison of Sceptical NAF-Free Logic Programming Approaches. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:347-356 [Conf]
  46. Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington
    Argumentation Semantics for Defeasible Logics. [Citation Graph (0, 0)][DBLP]
    PRICAI, 2000, pp:27-37 [Conf]
  47. Guido Governatori, Vineet Padmanabhan, Antonino Rotolo
    Rule-Based Agents in Temporalised Defeasible Logic. [Citation Graph (0, 0)][DBLP]
    PRICAI, 2006, pp:31-40 [Conf]
  48. Vineet Padmanabhan, Guido Governatori
    On Constructing Fibred Tableaux for BDI Logics. [Citation Graph (0, 0)][DBLP]
    PRICAI, 2006, pp:150-160 [Conf]
  49. Insu Song, Guido Governatori
    Affective Web Service Design. [Citation Graph (0, 0)][DBLP]
    PRICAI, 2006, pp:71-80 [Conf]
  50. Marlon Dumas, Guido Governatori, Arthur H. M. ter Hofstede, Nick Russell
    An Architecture for Assembling Agents that Participate in Alternative Heterogeneous Auctions. [Citation Graph (0, 0)][DBLP]
    RIDE, 2002, pp:75-83 [Conf]
  51. Guido Governatori
    Defeasible Description Logics. [Citation Graph (0, 0)][DBLP]
    RuleML, 2004, pp:98-112 [Conf]
  52. Guido Governatori, Duy Hoang
    A Semantic Web Based Architecture for e-Contracts in Defeasible Logic. [Citation Graph (0, 0)][DBLP]
    RuleML, 2005, pp:145-159 [Conf]
  53. Insu Song, Guido Governatori
    Nested Rules in Defeasible Logic. [Citation Graph (0, 0)][DBLP]
    RuleML, 2005, pp:204-208 [Conf]
  54. Alberto Artosi, Guido Governatori, Antonino Rotolo
    A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:82-97 [Conf]
  55. Guido Governatori
    Labelled Tableaux for Multi-Modal Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1995, pp:79-94 [Conf]
  56. Pakornpong Pothipruk, Guido Governatori
    A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web. [Citation Graph (0, 0)][DBLP]
    WISE, 2005, pp:119-132 [Conf]
  57. Marlon Dumas, Lachlan Aldred, Guido Governatori, Arthur H. M. ter Hofstede, Nick Russell
    A probabilistic approach to automated bidding in alternative auctions. [Citation Graph (0, 0)][DBLP]
    WWW, 2002, pp:99-108 [Conf]
  58. Jonathan Gelati, Antonino Rotolo, Giovanni Sartor, Guido Governatori
    Normative autonomy and normative co-ordination: Declarative power, representation, and mandate. [Citation Graph (0, 0)][DBLP]
    Artif. Intell. Law, 2004, v:12, n:1-2, pp:53-81 [Journal]
  59. Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
    A flexible framework for defeasible logics [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  60. Alberto Artosi, Guido Governatori
    A tableau methodology for deontic conditional logics [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  61. Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
    Representation results for defeasible logic [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  62. Marlon Dumas, Lachlan Aldred, Guido Governatori, Arthur H. M. ter Hofstede
    Probabilistic Automated Bidding in Multiple Auctions. [Citation Graph (0, 0)][DBLP]
    Electronic Commerce Research, 2005, v:5, n:1, pp:25-49 [Journal]
  63. Marlon Dumas, Guido Governatori, Arthur H. M. ter Hofstede, Phillipa Oaks
    A formal approach to negotiating agents development. [Citation Graph (0, 0)][DBLP]
    Electronic Commerce Research and Applications, 2002, v:1, n:2, pp:193-207 [Journal]
  64. Guido Governatori
    On the Relative Complexity of Labelled Modal Tableaux. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:78, n:, pp:- [Journal]
  65. Guido Governatori
    Representing business contracts in RuleML. [Citation Graph (0, 0)][DBLP]
    Int. J. Cooperative Inf. Syst., 2005, v:14, n:2-3, pp:181-216 [Journal]
  66. Zoran Milosevic, Guido Governatori
    Guest editors' introduction. [Citation Graph (0, 0)][DBLP]
    Int. J. Cooperative Inf. Syst., 2005, v:14, n:2-3, pp:73-76 [Journal]
  67. Alberto Artosi, Guido Governatori, Antonino Rotolo
    Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2002, v:12, n:6, pp:1027-1060 [Journal]
  68. Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington
    Argumentation Semantics for Defeasible Logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2004, v:14, n:5, pp:675-702 [Journal]
  69. Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
    Representation results for defeasible logic. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2001, v:2, n:2, pp:255-287 [Journal]
  70. Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
    Embedding defeasible logic into logic programming. [Citation Graph (0, 0)][DBLP]
    TPLP, 2006, v:6, n:6, pp:703-735 [Journal]
  71. Shazia Wasim Sadiq, Guido Governatori, Kioumars Namiri
    Modeling Control Objectives for Business Process Compliance. [Citation Graph (0, 0)][DBLP]
    BPM, 2007, pp:149-164 [Conf]
  72. Régis Riveret, Antonino Rotolo, Guido Governatori
    Interaction between Normative Systems and Cognitive agents in Temporal Modal Defeasible Logic. [Citation Graph (0, 0)][DBLP]
    Normative Multi-agent Systems, 2007, pp:- [Conf]
  73. Guido Governatori, Antonino Rotolo
    BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic. [Citation Graph (0, 0)][DBLP]
    Normative Multi-agent Systems, 2007, pp:- [Conf]
  74. Guido Governatori, Zoran Milosevic, Shazia Wasim Sadiq
    Compliance checking between business processes and business contracts. [Citation Graph (0, 0)][DBLP]
    EDOC, 2006, pp:221-232 [Conf]
  75. Guido Governatori, Antonino Rotolo, Régis Riveret, Monica Palmirani, Giovanni Sartor
    Variants of temporal defeasible logics for modelling norm modifications. [Citation Graph (0, 0)][DBLP]
    ICAIL, 2007, pp:155-159 [Conf]
  76. Bram Roth, Régis Riveret, Antonino Rotolo, Guido Governatori
    Strategic argumentation: a game theoretical investigation. [Citation Graph (0, 0)][DBLP]
    ICAIL, 2007, pp:81-90 [Conf]
  77. Nick Bassiliades, Grigoris Antoniou, Guido Governatori
    Proof Explanation in the DR-DEVICE System. [Citation Graph (0, 0)][DBLP]
    RR, 2007, pp:249-258 [Conf]

  78. Labelled modal tableaux. [Citation Graph (, )][DBLP]


  79. A conceptually rich model of business process compliance. [Citation Graph (, )][DBLP]


  80. Contextual deliberation of cognitive agents in defeasible logic. [Citation Graph (, )][DBLP]


  81. Dialogue Games in Defeasible Logic. [Citation Graph (, )][DBLP]


  82. A System for Modal and Deontic Defeasible Reasoning. [Citation Graph (, )][DBLP]


  83. Characterising Deadlines in Temporal Modal Defeasible Logic. [Citation Graph (, )][DBLP]


  84. Temporal Extensions to Defeasible Logic. [Citation Graph (, )][DBLP]


  85. Defining Adaptation Constraints for Business Process Variants. [Citation Graph (, )][DBLP]


  86. Compliance Aware Business Process Design. [Citation Graph (, )][DBLP]


  87. Detecting Regulatory Compliance for Business Process Models through Semantic Annotations. [Citation Graph (, )][DBLP]


  88. Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories. [Citation Graph (, )][DBLP]


  89. Modelling and Reasoning Languages for Social Networks Policies. [Citation Graph (, )][DBLP]


  90. Extending a Defeasible Reasoner with Modal and Deontic Logic Operators. [Citation Graph (, )][DBLP]


  91. Time and Defeasibility in FIPA ACL Semantics. [Citation Graph (, )][DBLP]


  92. Levels of Modalities for BDI Logic. [Citation Graph (, )][DBLP]


  93. How Do Agents Comply with Norms? [Citation Graph (, )][DBLP]


  94. Implementing Temporal Defeasible Logic for Modeling Legal Reasoning. [Citation Graph (, )][DBLP]


  95. A Logical Understanding of Legal Interpretation. [Citation Graph (, )][DBLP]


  96. Proof Explanation for the Semantic Web Using Defeasible Logic. [Citation Graph (, )][DBLP]


  97. An Asymmetric Protocol for Argumentation Games in Defeasible Logic. [Citation Graph (, )][DBLP]


  98. Settling on the Group's Goals: An n-Person Argumentation Game Approach. [Citation Graph (, )][DBLP]


  99. Knowledge Assessment: A Modal Logic Approach. [Citation Graph (, )][DBLP]


  100. Contextual Agent Deliberation in Defeasible Logic. [Citation Graph (, )][DBLP]


  101. Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain. [Citation Graph (, )][DBLP]


  102. The Making of SPINdle. [Citation Graph (, )][DBLP]


  103. On Extending RuleML for Modal Defeasible Logic. [Citation Graph (, )][DBLP]


  104. A system for modal and deontic defeasible reasoning. [Citation Graph (, )][DBLP]


  105. Changing Legal Systems: Abrogation and Annulment. Part II: Temporalised Defeasible Logic. [Citation Graph (, )][DBLP]


  106. Argumentation Semantics for Temporal Defeasible Logic. [Citation Graph (, )][DBLP]


  107. A Compact Argumentation System for Agent System Specification. [Citation Graph (, )][DBLP]


  108. An Algorithm for Business Process Compliance. [Citation Graph (, )][DBLP]


  109. A Compliance Model of Trust. [Citation Graph (, )][DBLP]


  110. On the Representation of Deadlines in a Rental Agreement. [Citation Graph (, )][DBLP]


  111. Norm Modifications in Defeasible Logic. [Citation Graph (, )][DBLP]


  112. BIO logical agents: Norms, beliefs, intentions in defeasible logic. [Citation Graph (, )][DBLP]


  113. Modal tableaux for verifying stream authentication protocols. [Citation Graph (, )][DBLP]


  114. A computational framework for institutional agency. [Citation Graph (, )][DBLP]


  115. Embedding Defeasible Logic into Logic Programming [Citation Graph (, )][DBLP]


  116. DR-NEGOTIATE - A system for automated agent negotiation with defeasible logic-based strategies. [Citation Graph (, )][DBLP]


  117. Proof explanation for a nonmonotonic Semantic Web rules language. [Citation Graph (, )][DBLP]


  118. On managing business processes variants. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.012secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002