default search action

combined dblp search
author search
venue search
publication search

ask others

Guido Governatori

> Home > Persons

Person information

affiliation: CSIRO, Data61, Melbourne, Australia

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j78]
- view
  authority control:
- export record
  dblp key:
  - journals/ail/BhuiyanGBR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ail/BhuiyanGBR24
Hanif Bhuiyan, Guido Governatori, Andy Bond, Andry Rakotonirainy:
Traffic rules compliance checking of automated vehicle maneuvers. Artif. Intell. Law 32(1): 1-56 (2024)
[j77]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ail/WittHGB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ail/WittHGB24
Alice Witt, Anna Huggins, Guido Governatori, Joshua Buckley:
Encoding legislation: a methodology for enhancing technical validation, legal alignment and interdisciplinarity. Artif. Intell. Law 32(2): 293-324 (2024)
[j76]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ail/RobaldoBCCFGMPPSTZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ail/RobaldoBCCFGMPPSTZ24
Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Francesco Pacenza, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis, Jessica Zangari:
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies. Artif. Intell. Law 32(2): 505-555 (2024)
[j75]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/GovernatoriTR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/GovernatoriTR24
Guido Governatori, Silvano Colombo Tosatto, Antonino Rotolo:
Avoiding Pragmatic Oddity: a bottom-up Defeasible Deontic Logic. J. Log. Comput. 34(4): 698-727 (2024)
[c233]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/rulemlrr/GovernatoriAQMV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rulemlrr/GovernatoriAQMV24
Guido Governatori, Ilaria Angela Amantea, Marinella Quaranta, Marianna Molinari, Simone Vagnoni, Andrea Filippo Ferraris, Giuseppe Contissa, Monica Palmirani, Marco Busso, Marco Grosso:
Fair Shifts by the Rule: a Rule-based Compliance Methodology for Medical Rosters. RuleML+RR (Companion) 2024
[c232]
- view
  authority control:
- export record
  dblp key:
  - conf/rulemlrr/GovernatoriO24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rulemlrr/GovernatoriO24
Guido Governatori, Francesco Olivieri:
Ambiguities in Defeasible Logic: A Computational Efficient Framework and Algorithm. RuleML+RR 2024: 217-233
[c231]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/woa/CristaniOGB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/woa/CristaniOGB24
Matteo Cristani, Francesco Olivieri, Guido Governatori, Gabriele Buriola:
Simulating the Law in a Multi-Agent System. WOA 2024: 217-232
2023
[j74]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ail/FrancesconiG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ail/FrancesconiG23
Enrico Francesconi, Guido Governatori:
Patterns for legal compliance checking in a decidable framework of linked open data. Artif. Intell. Law 31(3): 445-464 (2023)
[j73]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/rss/BhuiyanGRWM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rss/BhuiyanGRWM23
Hanif Bhuiyan, Guido Governatori, Andry Rakotonirainy, Meng Weng Wong, Avishkar Mahajan:
Driving Decision Making of Autonomous Vehicle According to Queensland Overtaking Traffic Rules. Rev. Socionetwork Strateg. 17(2): 233-254 (2023)
[j72]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/BeestGCGTB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/BeestGCGTB23
Nick van Beest, Heerko Groefsema, Adrian Cryer, Guido Governatori, Silvano Colombo Tosatto, Hannah M. S. Burke:
Cross-Instance Regulatory Compliance Checking of Business Process Event Logs. IEEE Trans. Software Eng. 49(11): 4917-4931 (2023)
[c230]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ai3/PasettoCGOZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ai3/PasettoCGOZ23
Luca Pasetto, Matteo Cristani, Guido Governatori, Francesco Olivieri, Edoardo Zorzi:
Extraction of Defeasible Proofs as Explanations. AI³@AI*IA 2023
[c229]
- view
  authority control:
- export record
  dblp key:
  - conf/icail/GovernatoriR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icail/GovernatoriR23
Guido Governatori, Antonino Rotolo:
Deontic Ambiguities in Legal Reasoning. ICAIL 2023: 91-100
[c228]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/FlorioRGS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/FlorioRGS23
Cecilia Di Florio, Antonino Rotolo, Guido Governatori, Giovanni Sartor:
Stable Normative Explanations: From Argumentation to Deontic Logic. JELIA 2023: 123-131
[c227]
- view
  authority control:
- export record
  dblp key:
  - conf/jurix/NovelliGR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/NovelliGR23
Claudio Novelli, Guido Governatori, Antonino Rotolo:
Automating Business Process Compliance for the EU AI Act. JURIX 2023: 125-130
[c226]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/kes/CristaniGOPTVVZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kes/CristaniGOPTVVZ23
Matteo Cristani, Guido Governatori, Francesco Olivieri, Luca Pasetto, Francesco Tubini, Celeste Veronese, Alessandro Villa, Edoardo Zorzi:
The architecture of a reasoning system for Defeasible Deontic Logic. KES 2023: 4214-4224
[i26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-05156
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-05156
Cecilia Di Florio, Guido Governatori, Antonino Rotolo, Giovanni Sartor:
Stable Normative Explanations: From Argumentation to Deontic Logic. CoRR abs/2307.05156 (2023)
2022
[j71]
- view
  authority control:
- export record
  dblp key:
  - journals/ail/GovernatoriBVAF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ail/GovernatoriBVAF22
Guido Governatori, Trevor J. M. Bench-Capon, Bart Verheij, Michal Araszkiewicz, Enrico Francesconi, Matthias Grabmair:
Thirty years of Artificial Intelligence and Law: the first decade. Artif. Intell. Law 30(4): 481-519 (2022)
[j70]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ethicsit/NeufeldBCG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ethicsit/NeufeldBCG22
Emery A. Neufeld, Ezio Bartocci, Agata Ciabattoni, Guido Governatori:
Enforcing ethical goals over reinforcement-learning policies. Ethics Inf. Technol. 24(4): 43 (2022)
[j69]
- view
  - electronic edition @ collegepublications.co.uk (open access)
  - details & citations
- export record
  dblp key:
  - journals/flap/AmanteaRSGB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/flap/AmanteaRSGB22
Ilaria Angela Amantea, Livio Robaldo, Emilio Sulis, Guido Governatori, Guido Boella:
Business Process Modelling in Healthcare and Compliance Management: A Logical Framework. FLAP 9(4): 1131-1154 (2022)
[j68]
- view
  - electronic edition @ collegepublications.co.uk (open access)
  - details & citations
- export record
  dblp key:
  - journals/flap/AntoniouABBCGRS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/flap/AntoniouABBCGRS22
Grigoris Antoniou, Katie Atkinson, George Baryannis, Sotiris Batsakis, Luigo Di Caro, Guido Governatori, Livio Robaldo, Giovanni Siragusa, Ilias Tachmazidis:
Explainable Reasoning with Legal Big Data: A Layered Framework. FLAP 9(4): 1155-1170 (2022)
[c225]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiia/CristaniGOPTVVZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/CristaniGOPTVVZ22
Matteo Cristani, Guido Governatori, Francesco Olivieri, Luca Pasetto, Francesco Tubini, Celeste Veronese, Alessandro Villa, Edoardo Zorzi:
Houdini (unchained): An Effective Reasoner for Defeasible Logic. AI³@AI*IA 2022
[c224]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/GroefsemaBG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/GroefsemaBG22
Heerko Groefsema, N. R. T. P. van Beest, Guido Governatori:
On the Use of the Conformance and Compliance Keywords During Verification of Business Processes. BPM (Forum) 2022: 21-37
[c223]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/cilc/RobaldoBCCFGMPS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/RobaldoBCCFGMPS22
Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis:
Taking stock of available technologies for compliance checking on first-order knowledge. CILC 2022: 1-16
[c222]
- view
  authority control:
- export record
  dblp key:
  - conf/jurix/GovernatoriORC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/GovernatoriORC22
Guido Governatori, Francesco Olivieri, Antonino Rotolo, Matteo Cristani:
Stable Normative Explanations. JURIX 2022: 43-52
[c221]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/GovernatoriORC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/GovernatoriORC22
Guido Governatori, Francesco Olivieri, Antonino Rotolo, Matteo Cristani:
Inference to the Stable Explanations. LPNMR 2022: 245-258
[c220]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ruleml/BhuiyanGBR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/BhuiyanGBR22
Hanif Bhuiyan, Guido Governatori, Andy Bond, Andry Rakotonirainy:
Validation of Autonomous Vehicle Overtaking under Queensland Road Rules. RuleML+RR (Companion) 2022
[c219]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/CristaniGOR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/CristaniGOR22
Matteo Cristani, Guido Governatori, Francesco Olivieri, Antonino Rotolo:
From Defeasible Logic to Counterfactual Reasoning. RuleML+RR 2022: 65-80
[e22]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/2022
Guido Governatori, Anni-Yasmin Turhan:
Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings. Lecture Notes in Computer Science 13752, Springer 2022, ISBN 978-3-031-21540-7 [contents]
[i25]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-04553
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-04553
Guido Governatori, Silvano Colombo Tosatto, Antonino Rotolo:
Avoiding Pragmatic Oddity: A Bottom-up Defeasible Deontic Logic. CoRR abs/2209.04553 (2022)
[i24]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-12655
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-12655
Francesco Olivieri, Guido Governatori, Matteo Cristani, Antonino Rotolo, Abdul Sattar:
Deontic Meta-Rules. CoRR abs/2209.12655 (2022)
2021
[j67]
- view
  authority control:
- export record
  dblp key:
  - journals/ail/ArdilaGG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ail/ArdilaGG21
Julieth Patricia Castellanos Ardila, Barbara Gallina, Guido Governatori:
Compliance-aware engineering process plans: the case of space software engineering processes. Artif. Intell. Law 29(4): 587-627 (2021)
[j66]
- view
  - electronic edition @ collegepublications.co.uk (open access)
  - details & citations
- export record
  dblp key:
  - journals/flap/AntoniouBBGILRS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/flap/AntoniouBBGILRS21
Grigoris Antoniou, George Baryannis, Sotiris Batsakis, Guido Governatori, Mohammad Badiul Islam, Qing Liu, Livio Robaldo, Giovanni Siragusa, Ilias Tachmazidis:
Large-scale Legal Reasoning with Rules and Databases. FLAP 8(4): 911-940 (2021)
[j65]
- view
  - electronic edition @ collegepublications.co.uk (open access)
  - details & citations
- export record
  dblp key:
  - journals/flap/TamargoMRG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/flap/TamargoMRG21
Luciano H. Tamargo, Diego C. Martínez, Antonino Rotolo, Guido Governatori:
Time, Defeasible Logic and Belief Revision: Pathways to Legal Dynamics. FLAP 8(4): 993-1022 (2021)
[j64]
- view
  - electronic edition @ collegepublications.co.uk (open access)
  - details & citations
- export record
  dblp key:
  - journals/flap/TosattoG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/flap/TosattoG21
Silvano Colombo Tosatto, Guido Governatori:
Computational Complexity of Compliance and Conformance: Drawing a Line Between Theory and Practice. FLAP 8(4): 1023-1064 (2021)
[j63]
- view
  - electronic edition @ collegepublications.co.uk (open access)
  - details & citations
- export record
  dblp key:
  - journals/flap/GovernatoriMO21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/flap/GovernatoriMO21
Guido Governatori, Michael J. Maher, Francesco Olivieri:
Strategic Argumentation. FLAP 8(6): 1679-1748 (2021)
[j62]
- view
  authority control:
- export record
  dblp key:
  - journals/kbs/LiuIG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/kbs/LiuIG21
Qing Liu, Mohammad Badiul Islam, Guido Governatori:
Towards an efficient rule-based framework for legal reasoning. Knowl. Based Syst. 224: 107082 (2021)
[j61]
- view
  authority control:
- export record
  dblp key:
  - journals/tsc/GhooshchiBGO21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsc/GhooshchiBGO21
Nina Ghanbari Ghooshchi, Nick van Beest, Guido Governatori, Francesco Olivieri:
Synthesis of Regulation Compliant Business Processes. IEEE Trans. Serv. Comput. 14(4): 1179-1193 (2021)
[c218]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cade/NeufeldBCG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/NeufeldBCG21
Emery A. Neufeld, Ezio Bartocci, Agata Ciabattoni, Guido Governatori:
A Normative Supervisor for Reinforcement Learning Agents. CADE 2021: 565-576
[c217]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/deon/GovernatoriTR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deon/GovernatoriTR21
Guido Governatori, Silvano Colombo Tosatto, Antonino Rotolo:
A Defeasible Deontic Logic for Pragmatic Oddity. DEON 2021: 239-254
[c216]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/deon/GovernatoriR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deon/GovernatoriR21
Guido Governatori, Antonino Rotolo:
Is Free Choice Permission Admissible in Classical Deontic Logic? DEON 2021: 255-271
[c215]
- view
  authority control:
- export record
  dblp key:
  - conf/edoc/AmanteaRSBG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edoc/AmanteaRSBG21
Ilaria Angela Amantea, Livio Robaldo, Emilio Sulis, Guido Boella, Guido Governatori:
Semi-automated checking for regulatory compliance in e-Health. EDOC Workshops 2021: 318-325
[c214]
- view
  authority control:
- export record
  dblp key:
  - conf/icail/GovernatoriO21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icail/GovernatoriO21
Guido Governatori, Francesco Olivieri:
Unravel legal references in defeasible deontic logic. ICAIL 2021: 69-78
[c213]
- view
  authority control:
- export record
  dblp key:
  - conf/icail/WittHGB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icail/WittHGB21
Alice Witt, Anna Huggins, Guido Governatori, Joshua Buckley:
Converting copyright legislation into machine-executable code: interpretation, coding validation and legal alignment. ICAIL 2021: 139-148
[c212]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/OlivieriGC021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/OlivieriGC021
Francesco Olivieri, Guido Governatori, Matteo Cristani, Abdul Sattar:
Computing Defeasible Meta-logic. JELIA 2021: 69-84
[c211]
- view
  authority control:
- export record
  dblp key:
  - conf/jurix/GovernatoriOR0C21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/GovernatoriOR0C21
Guido Governatori, Francesco Olivieri, Antonino Rotolo, Abdul Sattar, Matteo Cristani:
Computing Private International Law. JURIX 2021: 181-190
[e21]
- view
  authority control:
- export record
  dblp key:
  - conf/pricai/2021-1
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pricai/2021-1
Duc Nghia Pham, Thanaruk Theeramunkong, Guido Governatori, Fenrong Liu:
PRICAI 2021: Trends in Artificial Intelligence - 18th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2021, Hanoi, Vietnam, November 8-12, 2021, Proceedings, Part I. Lecture Notes in Computer Science 13031, Springer 2021, ISBN 978-3-030-89187-9 [contents]
[e20]
- view
  authority control:
- export record
  dblp key:
  - conf/pricai/2021-2
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pricai/2021-2
Duc Nghia Pham, Thanaruk Theeramunkong, Guido Governatori, Fenrong Liu:
PRICAI 2021: Trends in Artificial Intelligence - 18th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2021, Hanoi, Vietnam, November 8-12, 2021, Proceedings, Part II. Lecture Notes in Computer Science 13032, Springer 2021, ISBN 978-3-030-89362-0 [contents]
[e19]
- view
  authority control:
- export record
  dblp key:
  - conf/pricai/2021-3
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pricai/2021-3
Duc Nghia Pham, Thanaruk Theeramunkong, Guido Governatori, Fenrong Liu:
PRICAI 2021: Trends in Artificial Intelligence - 18th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2021, Hanoi, Vietnam, November 8-12, 2021, Proceedings, Part III. Lecture Notes in Computer Science 13033, Springer 2021, ISBN 978-3-030-89369-9 [contents]
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2105-05431
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-05431
Silvano Colombo Tosatto, Guido Governatori, Nick van Beest:
Proving Regulatory Compliance: A Computational Complexity Analysis of Elementary Variants. CoRR abs/2105.05431 (2021)
[i22]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2105-08867
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-08867
Liming Zhu, Xiwei Xu, Qinghua Lu, Guido Governatori, Jon Whittle:
AI and Ethics - Operationalising Responsible AI. CoRR abs/2105.08867 (2021)
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2110-07710
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-07710
Ilaria Angela Amantea, Livio Robaldo, Emilio Sulis, Guido Boella, Guido Governatori:
Semi-automated checking for regulatory compliance in e-Health. CoRR abs/2110.07710 (2021)
2020
[c210]
- view
  authority control:
- export record
  dblp key:
  - conf/aicol/TosattoGR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aicol/TosattoGR20
Silvano Colombo Tosatto, Guido Governatori, Antonino Rotolo:
Principles and Semantics: Modelling Violations for Normative Reasoning. AICOL 2020: 75-89
[c209]
- view
  authority control:
- export record
  dblp key:
  - conf/edoc/TosattoGB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edoc/TosattoGB20
Silvano Colombo Tosatto, Guido Governatori, Nick van Beest:
Verifying Compliance of Process Compositions Through Certification of its Components. EDOC 2020: 87-96
[c208]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/jurix/BhuiyanGBDIR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/BhuiyanGBDIR20
Hanif Bhuiyan, Guido Governatori, Andy Bond, Sébastien Demmel, Mohammad Badiul Islam, Andry Rakotonirainy:
Traffic Rules Encoding Using Defeasible Deontic Logic. JURIX 2020: 3-12
[c207]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/jurix/GovernatoriR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/GovernatoriR20
Guido Governatori, Antonino Rotolo:
Free Choice Permission in Defeasible Deontic Logic. JURIX 2020: 93-102
[c206]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/GovernatoriRK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/GovernatoriRK20
Guido Governatori, Pompeu Casanovas Romeu, Louis de Koker:
On the Formal Representation of the Australian Spent Conviction Scheme. RuleML+RR 2020: 177-185
[e18]
- view
- export record
  dblp key:
  - conf/jurix/2019mirel
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/2019mirel
Giovanni Casini, Luigi Di Caro, Guido Governatori, Valentina Leone, Réka Markovich:
Proceedings of the 4th International Workshop on MIning and REasoning with Legal texts co-located with the 32nd International Conference on Legal Knowledge and Information Systems (JURIX 2019), Madrid, Spain, December 11, 2019. CEUR Workshop Proceedings 2632, CEUR-WS.org 2020 [contents]
[e17]
- view
- export record
  dblp key:
  - conf/semweb/2020asld
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/2020asld
Manolis Koubarakis, Harith Alani, Grigoris Antoniou, Kalina Bontcheva, John G. Breslin, Diego Collarana, Elena Demidova, Stefan Dietze, Simon Gottschalk, Guido Governatori, Aidan Hogan, Freddy Lécué, Elena Montiel-Ponsoda, Axel-Cyrille Ngonga Ngomo, Sofia Pinto, Muhammad Saleem, Raphaël Troncy, Eleni Tsalapati, Ricardo Usbeck, Ruben Verborgh:
Joint Proceedings of Workshops AI4LEGAL2020, NLIWOD, PROFILES 2020, QuWeDa 2020 and SEMIFORM2020 Colocated with the 19th International Semantic Web Conference (ISWC 2020), Virtual Conference, November, 2020. CEUR Workshop Proceedings 2722, CEUR-WS.org 2020 [contents]
[i20]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2001-10148
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2001-10148
Silvano Colombo Tosatto, Guido Governatori, Nick van Beest:
Business Process Full Compliance with Respect to a Set of Conditional Obligation in Polynomial Time. CoRR abs/2001.10148 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j60]
- view
  authority control:
- export record
  dblp key:
  - journals/aamas/RiveretGGRPS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aamas/RiveretGGRPS19
Régis Riveret, Yang Gao, Guido Governatori, Antonino Rotolo, Jeremy Pitt, Giovanni Sartor:
A probabilistic argumentation framework for reinforcement learning agents - Towards a mentalistic approach to agent profiles. Auton. Agents Multi Agent Syst. 33(1-2): 216-274 (2019)
[j59]
- view
  authority control:
- export record
  dblp key:
  - journals/ail/TamargoMRG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ail/TamargoMRG19
Luciano H. Tamargo, Diego C. Martínez, Antonino Rotolo, Guido Governatori:
An axiomatic characterization of temporalised belief revision in the law. Artif. Intell. Law 27(4): 347-367 (2019)
[j58]
- view
  authority control:
- export record
  dblp key:
  - journals/ais/AhmedVG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ais/AhmedVG19
Javed Ahmed, Serena Villata, Guido Governatori:
Information and friend segregation for online social networks: a user study. AI Soc. 34(4): 753-766 (2019)
[j57]
- view
  - electronic edition @ collegepublications.co.uk (open access)
  - details & citations
- export record
  dblp key:
  - journals/flap/GovernatoriR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/flap/GovernatoriR19
Guido Governatori, Antonino Rotolo:
Time and Compensation Mechanisms in Checking Legal Compliance. FLAP 6(5): 815-846 (2019)
[j56]
- view
  - electronic edition @ collegepublications.co.uk (open access)
  - details & citations
- export record
  dblp key:
  - journals/flap/TosattoGBO19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/flap/TosattoGBO19
Silvano Colombo Tosatto, Guido Governatori, Nick van Beest, Francesco Olivieri:
Efficient Full Compliance Checking of Concurrent Components for business Process Models. FLAP 6(5): 963-998 (2019)
[j55]
- view
  authority control:
- export record
  dblp key:
  - journals/ijar/GovernatoriOCS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijar/GovernatoriOCS19
Guido Governatori, Francesco Olivieri, Matteo Cristani, Simone Scannapieco:
Revision of defeasible preferences. Int. J. Approx. Reason. 104: 205-230 (2019)
[c205]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/TosattoGB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/TosattoGB19
Silvano Colombo Tosatto, Guido Governatori, Nick van Beest:
Checking Regulatory Compliance: Will We Live to See It? BPM 2019: 119-138
[c204]
- view
  authority control:
- export record
  dblp key:
  - conf/icail/GovernatoriRRV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icail/GovernatoriRRV19
Guido Governatori, Antonino Rotolo, Régis Riveret, Serena Villata:
Modelling Dialogues for Optimal Legislation. ICAIL 2019: 229-233
[c203]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/OlivieriGC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/OlivieriGC19
Francesco Olivieri, Guido Governatori, Matteo Cristani:
Advancements in Resource-Driven Substructural Defeasible Logic. JELIA 2019: 247-258
[c202]
- view
  authority control:
- export record
  dblp key:
  - conf/jsai/FerraroLTOIBG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jsai/FerraroLTOIBG19
Gabriela Ferraro, Ho-Pun Lam, Silvano Colombo Tosatto, Francesco Olivieri, Mohammad Badiul Islam, Nick van Beest, Guido Governatori:
Automatic Extraction of Legal Norms: Evaluation of Natural Language Processing Tools. JSAI-isAI Workshops 2019: 64-81
[c201]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/jurix/BhuiyanOGIBR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/BhuiyanOGIBR19
Hanif Bhuiyan, Francesco Olivieri, Guido Governatori, Mohammad Badiul Islam, Andy Bond, Andry Rakotonirainy:
A Methodology for Encoding Regulatory Rules. MIREL@JURIX 2019
[c200]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/jurix/GovernatoriR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/GovernatoriR19
Guido Governatori, Antonino Rotolo:
Legislative Dialogues with Incomplete Information. JURIX 2019: 93-102
[c199]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/jurix/FrancesconiG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/FrancesconiG19
Enrico Francesconi, Guido Governatori:
Legal Compliance in a Linked Open Data Framework. JURIX 2019: 175-180
[c198]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/jurix/Governatori19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/Governatori19
Guido Governatori:
A Short Note on the Chisholm Paradox. MIREL@JURIX 2019
[c197]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/jurix/GovernatoriM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/GovernatoriM19
Guido Governatori, Robert Mullins:
Deontic Closure and Conflict in Legal Reasoning. JURIX 2019: 181-186
[c196]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/jurix/GovernatoriR19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/GovernatoriR19a
Guido Governatori, Antonino Rotolo:
A Computational Model for Pragmatic Oddity. JURIX 2019: 187-192
[c195]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/CristaniOG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/CristaniOG19
Matteo Cristani, Francesco Olivieri, Guido Governatori:
Non-monotonic Collective Decisions. PRIMA 2019: 387-404
[c194]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1908-05737
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-05737
Francesco Olivieri, Guido Governatori, Claudio Tomazzoli, Matteo Cristani:
Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes. DICE-FOPARA@ETAPS 2019: 1-14
[e16]
- view
- export record
  dblp key:
  - conf/ruleml/2019s
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/2019s
Ahmet Soylu, Sotiris Moschoyiannis, Guido Governatori, Mantas Simkus, Petros S. Stefaneas, Alexander Steen, Adrian Giurca:
Proceedings of the 13th RuleML+RR 2019 Doctoral Consortium and Rule Challenge, September 16-19, 2019 - Bolzano, Italy co-located with 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019) 5th Global Conference on Artificial Intelligence (GCAI 2019) 15th Reasoning Web Summer School (RW 2019) DecisionCAMP 2019 (DecisionCAMP 2019), Bolzano, Italy, September 16-24, 2019. CEUR Workshop Proceedings 2438, CEUR-WS.org 2019 [contents]
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1905-07696
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-07696
Guido Governatori, Antonino Rotolo:
Is Free Choice Permission Admissible in Classical Deontic Logic? CoRR abs/1905.07696 (2019)
2018
[j54]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/ail/DymitrukMLGDGV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ail/DymitrukMLGDGV18
Maria Dymitruk, Réka Markovich, Ruta Liepina, Mirna El Ghosh, Robert van Doesburg, Guido Governatori, Bart Verheij:
Research in progress: report on the ICAIL 2017 doctoral consortium. Artif. Intell. Law 26(1): 49-97 (2018)
[j53]
- view
  authority control:
- export record
  dblp key:
  - journals/ail/HashmiG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ail/HashmiG18
Mustafa Hashmi, Guido Governatori:
Norms modeling constructs of business process compliance management frameworks: a conceptual evaluation. Artif. Intell. Law 26(3): 251-305 (2018)
[j52]
- view
  authority control:
- export record
  dblp key:
  - journals/ail/IslamG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ail/IslamG18
Mohammad Badiul Islam, Guido Governatori:
RuleRS: a rule-based architecture for decision support systems. Artif. Intell. Law 26(4): 315-344 (2018)
[j51]
- view
  authority control:
- export record
  dblp key:
  - journals/ail/GovernatoriIMRS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ail/GovernatoriIMRS18
Guido Governatori, Florian Idelberger, Zoran Milosevic, Régis Riveret, Giovanni Sartor, Xiwei Xu:
On legal contracts, imperative and declarative smart contracts, and blockchain systems. Artif. Intell. Law 26(4): 377-409 (2018)
[j50]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/RiveretBGGRS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/RiveretBGGRS18
Régis Riveret, Pietro Baroni, Yang Gao, Guido Governatori, Antonino Rotolo, Giovanni Sartor:
A labelling framework for probabilistic argumentation. Ann. Math. Artif. Intell. 83(1): 21-71 (2018)
[j49]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/CalardoGR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/CalardoGR18
Erica Calardo, Guido Governatori, Antonino Rotolo:
Sequence Semantics for Modelling Reason-based Preferences. Fundam. Informaticae 158(1-3): 217-238 (2018)
[j48]
- view
  authority control:
- export record
  dblp key:
  - journals/kais/HashmiGLW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/kais/HashmiGLW18
Mustafa Hashmi, Guido Governatori, Ho-Pun Lam, Moe Thandar Wynn:
Are we done with business process compliance: state of the art and challenges ahead. Knowl. Inf. Syst. 57(1): 79-133 (2018)
[j47]
- view
  authority control:
- export record
  dblp key:
  - journals/tmis/MendlingWABCDDC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tmis/MendlingWABCDDC18
Jan Mendling, Ingo Weber, Wil M. P. van der Aalst, Jan vom Brocke, Cristina Cabanillas, Florian Daniel, Søren Debois, Claudio Di Ciccio, Marlon Dumas, Schahram Dustdar, Avigdor Gal, Luciano García-Bañuelos, Guido Governatori, Richard Hull, Marcello La Rosa, Henrik Leopold, Frank Leymann, Jan Recker, Manfred Reichert, Hajo A. Reijers, Stefanie Rinderle-Ma, Andreas Solti, Michael Rosemann, Stefan Schulte, Munindar P. Singh, Tijs Slaats, Mark Staples, Barbara Weber, Matthias Weidlich, Mathias Weske, Xiwei Xu, Liming Zhu:
Blockchains for Business Process Management - Challenges and Opportunities. ACM Trans. Manag. Inf. Syst. 9(1): 4:1-4:16 (2018)
[c193]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/deon/GovernatoriORRV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deon/GovernatoriORRV18
Guido Governatori, Francesco Olivieri, Régis Riveret, Antonino Rotolo, Serena Villata:
Dialogues on Moral Theories. DEON 2018: 139-155
[c192]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/jurix/ArdilaGG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/ArdilaGG18
Julieth Patricia Castellanos Ardila, Barbara Gallina, Guido Governatori:
Lessons Learned while Formalizing ISO 26262 for Compliance Checking. TERECOM@JURIX 2018: 5-16
[c191]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/jurix/BatsakisBGTA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/BatsakisBGTA18
Sotiris Batsakis, George Baryannis, Guido Governatori, Ilias Tachmazidis, Grigoris Antoniou:
Legal Representation and Reasoning in Practice: A Critical Comparison. JURIX 2018: 31-40
[c190]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/jurix/PalmiraniG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/PalmiraniG18
Monica Palmirani, Guido Governatori:
Modelling Legal Knowledge for GDPR Compliance Checking. JURIX 2018: 101-110
[c189]
- view
  authority control:
- export record
  dblp key:
  - conf/kesamsta/CristaniOTG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kesamsta/CristaniOTG18
Matteo Cristani, Francesco Olivieri, Claudio Tomazzoli, Guido Governatori:
Sending Messages in Social Networks. KES-AMSTA 2018: 123-133
[c188]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/GovernatoriRR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/GovernatoriRR18
Guido Governatori, Antonino Rotolo, Régis Riveret:
A Deontic Argumentation Framework Based on Deontic Defeasible Logic. PRIMA 2018: 484-492
[c187]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/OlivieriGCBT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/OlivieriGCBT18
Francesco Olivieri, Guido Governatori, Matteo Cristani, Nick van Beest, Silvano Colombo Tosatto:
Resource-Driven Substructural Defeasible Logic. PRIMA 2018: 594-602
[c186]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/Governatori18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/Governatori18
Guido Governatori:
Modal Rules: Extending Defeasible Logic with Modal Operators. RuleML+RR 2018: 9-30
[c185]
- view
  authority control:
- export record
  dblp key:
  - conf/rweb/Governatori18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rweb/Governatori18
Guido Governatori:
Practical Normative Reasoning with Defeasible Deontic Logic. RW 2018: 1-25
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1809-03656
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1809-03656
Francesco Olivieri, Guido Governatori, Matteo Cristani, Nick van Beest, Silvano Colombo Tosatto:
Resource-driven Substructural Defeasible Logic. CoRR abs/1809.03656 (2018)
2017
[j46]
- view
  authority control:
- export record
  dblp key:
  - journals/aim/FoderGAB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aim/FoderGAB17
Paul Fodor, Guido Governatori, José Júlio Alferes, Leopoldo E. Bertossi:
RuleML (Web Rule Symposium) 2016 Report. AI Mag. 38(1): 109-110 (2017)
[j45]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/GovernatoriM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/GovernatoriM17
Guido Governatori, Michael J. Maher:
Annotated defeasible logic. Theory Pract. Log. Program. 17(5-6): 819-836 (2017)
[c184]
- view
  authority control:
- export record
  dblp key:
  - conf/aicol/DragoniVRG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aicol/DragoniVRG17
Mauro Dragoni, Serena Villata, Williams Rizzi, Guido Governatori:
Combining Natural Language Processing Approaches for Rule Extraction from Legal Documents. AICOL 2017: 287-300
[c183]
- view
  authority control:
- export record
  dblp key:
  - conf/assri/OlivieriGBG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/assri/OlivieriGBG17
Francesco Olivieri, Guido Governatori, Nick van Beest, Nina Ghanbari Ghooshchi:
Declarative Approaches for Compliance by Design. ASSRI 2017: 80-97
[c182]
- view
  authority control:
- export record
  dblp key:
  - conf/edoc/GhooshchiBGOS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edoc/GhooshchiBGOS17
Nina Ghanbari Ghooshchi, Nick van Beest, Guido Governatori, Francesco Olivieri, Abdul Sattar:
Visualisation of Compliant Declarative Business Processes. EDOC 2017: 89-94
[c181]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/jurix/GandonGV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/GandonGV17
Fabien Gandon, Guido Governatori, Serena Villata:
Normative Requirements as Linked Data. JURIX 2017: 1-10
[c180]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/jurix/Governatori17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/Governatori17
Guido Governatori:
A Short Introduction to the Regorous Compliance by Design Methodology. TERECOM@JURIX 2017: 7-13
[c179]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/jurix/TamargoMRG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/TamargoMRG17
Luciano H. Tamargo, Diego C. Martínez, Antonino Rotolo, Guido Governatori:
Temporalised Belief Revision in the Law. JURIX 2017: 49-58
[e15]
- view
  authority control:
- export record
  dblp key:
  - conf/icail/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icail/2017
Jeroen Keppens, Guido Governatori:
Proceedings of the 16th edition of the International Conference on Artificial Intelligence and Law, ICAIL 2017, London, United Kingdom, June 12-16, 2017. ACM 2017, ISBN 978-1-4503-4891-1 [contents]
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/MendlingWABCDDC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MendlingWABCDDC17
Jan Mendling, Ingo Weber, Wil M. P. van der Aalst, Jan vom Brocke, Cristina Cabanillas, Florian Daniel, Søren Debois, Claudio Di Ciccio, Marlon Dumas, Schahram Dustdar, Avigdor Gal, Luciano García-Bañuelos, Guido Governatori, Richard Hull, Marcello La Rosa, Henrik Leopold, Frank Leymann, Jan Recker, Manfred Reichert, Hajo A. Reijers, Stefanie Rinderle-Ma, Andreas Rogge-Solti, Michael Rosemann, Stefan Schulte, Munindar P. Singh, Tijs Slaats, Mark Staples, Barbara Weber, Matthias Weidlich, Mathias Weske, Xiwei Xu, Liming Zhu:
Blockchains for Business Process Management - Challenges and Opportunities. CoRR abs/1704.03610 (2017)
[i16]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/GovernatoriM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GovernatoriM17
Guido Governatori, Michael J. Maher:
Annotated Defeasible Logic. CoRR abs/1707.04734 (2017)
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1708-00109
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1708-00109
Régis Riveret, Pietro Baroni, Yang Gao, Guido Governatori, Antonino Rotolo, Giovanni Sartor:
A Labelling Framework for Probabilistic Argumentation. CoRR abs/1708.00109 (2017)
2016
[j44]
- view
  authority control:
- export record
  dblp key:
  - journals/ail/KravariBG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ail/KravariBG16
Kalliopi Kravari, Nick Bassiliades, Guido Governatori:
A policy-based B2C e-Contract management workflow methodology using semantic web agents. Artif. Intell. Law 24(2): 93-131 (2016)
[j43]
- view
  authority control:
- export record
  dblp key:
  - journals/isf/HashmiGW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isf/HashmiGW16
Mustafa Hashmi, Guido Governatori, Moe Thandar Wynn:
Normative requirements for regulatory compliance: An abstract formal framework. Inf. Syst. Frontiers 18(3): 429-455 (2016)
[j42]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/GovernatoriOSRC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/GovernatoriOSRC16
Guido Governatori, Francesco Olivieri, Simone Scannapieco, Antonino Rotolo, Matteo Cristani:
The rationale behind the concept of goal. Theory Pract. Log. Program. 16(3): 296-324 (2016)
[c178]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/atal/RiveretG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/RiveretG16
Régis Riveret, Guido Governatori:
On Learning Attacks in Probabilistic Abstract Argumentation. AAMAS 2016: 653-661
[c177]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/WeberXRGPM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/WeberXRGPM16
Ingo Weber, Xiwei Xu, Régis Riveret, Guido Governatori, Alexander Ponomarev, Jan Mendling:
Untrusted Business Process Monitoring and Execution Using Blockchain. BPM 2016: 329-347
[c176]
- view
  authority control:
- export record
  dblp key:
  - conf/comma/LamGR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/comma/LamGR16
Ho-Pun Lam, Guido Governatori, Régis Riveret:
On ASPIC⁺ and Defeasible Logic. COMMA 2016: 359-370
[c175]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/deon/GovernatoriOCR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deon/GovernatoriOCR16
Guido Governatori, Francesco Olivieri, Erica Calardo, Antonino Rotolo:
Sequence Semantics for Norms and Obligations. DEON 2016: 93-108
[c174]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/BaroniGR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/BaroniGR16
Pietro Baroni, Guido Governatori, Régis Riveret:
On Labelling Statements in Multi-Labelling Argumentation. ECAI 2016: 489-497
[c173]
- view
  authority control:
- export record
  dblp key:
  - conf/ekaw/GovernatoriHLVP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ekaw/GovernatoriHLVP16
Guido Governatori, Mustafa Hashmi, Ho-Pun Lam, Serena Villata, Monica Palmirani:
Semantic Business Process Regulatory Compliance Checking Using LegalRuleML. EKAW 2016: 746-761
[c172]
- view
  authority control:
- export record
  dblp key:
  - conf/jurix/MalerbaRG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/MalerbaRG16
Alessandra Malerba, Antonino Rotolo, Guido Governatori:
Interpretation Across Legal Systems. JURIX 2016: 83-92
[c171]
- view
  - electronic edition @ aaai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/kr/BaroniGLR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/BaroniGLR16
Pietro Baroni, Guido Governatori, Ho-Pun Lam, Régis Riveret:
On the Justification of Statements in Argumentation-based Reasoning. KR 2016: 521-524
[c170]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/GovernatoriOCRC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/GovernatoriOCRC16
Guido Governatori, Francesco Olivieri, Erica Calardo, Antonino Rotolo, Matteo Cristani:
Sequence Semantics for Normative Agents. PRIMA 2016: 230-246
[c169]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/IdelbergerGRS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/IdelbergerGRS16
Florian Idelberger, Guido Governatori, Régis Riveret, Giovanni Sartor:
Evaluation of Logic-Based Smart Contracts for Blockchain Systems. RuleML 2016: 167-183
[e14]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/2016
José Júlio Alferes, Leopoldo E. Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman:
Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings. Lecture Notes in Computer Science 9718, Springer 2016, ISBN 978-3-319-42018-9 [contents]
2015
[j41]
- view
  authority control:
- export record
  dblp key:
  - journals/fcsc/TosattoK0KGT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fcsc/TosattoK0KGT15
Silvano Colombo Tosatto, Pierre Kelsen, Qin Ma, Marwane El Kharbili, Guido Governatori, Leendert W. N. van der Torre:
Algorithms for tractable compliance problems. Frontiers Comput. Sci. 9(1): 55-74 (2015)
[j40]
- view
  authority control:
- export record
  dblp key:
  - journals/scpe/DamPGIX15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scpe/DamPGIX15
Hoa Khanh Dam, Jeremy V. Pitt, Guido Governatori, Takayuki Ito, Yang Xu:
Introduction to the Special Issue on Principles and Practices in Multi-Agent Systems. Scalable Comput. Pract. Exp. 16(4): iii (2015)
[j39]
- view
  authority control:
- export record
  dblp key:
  - journals/tsc/TosattoGK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsc/TosattoGK15
Silvano Colombo Tosatto, Guido Governatori, Pierre Kelsen:
Business Process Regulatory Compliance is Hard. IEEE Trans. Serv. Comput. 8(6): 958-970 (2015)
[c168]
- view
  authority control:
- export record
  dblp key:
  - conf/edoc/GovernatoriGK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edoc/GovernatoriGK15
Guido Governatori, Georg Grossmann, Jens Kolb:
Message from the EVL-BP 2015 Workshop Co-Chairs. EDOC Workshops 2015: 1-3
[c167]
- view
  authority control:
- export record
  dblp key:
  - conf/edoc/GovernatoriH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edoc/GovernatoriH15
Guido Governatori, Mustafa Hashmi:
No Time for Compliance. EDOC 2015: 9-18
[c166]
- view
  authority control:
- export record
  dblp key:
  - conf/edoc/Governatori15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edoc/Governatori15
Guido Governatori:
The Regorous Approach to Process Compliance. EDOC Workshops 2015: 33-40
[c165]
- view
  authority control:
- export record
  dblp key:
  - conf/icail/Governatori15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icail/Governatori15
Guido Governatori:
Thou shalt is not you will. ICAIL 2015: 63-68
[c164]
- view
  authority control:
- export record
  dblp key:
  - conf/icail/RotoloGS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icail/RotoloGS15
Antonino Rotolo, Guido Governatori, Giovanni Sartor:
Deontic defeasible reasoning in legal interpretation: two options for modelling interpretive arguments. ICAIL 2015: 99-108
[c163]
- view
  authority control:
- export record
  dblp key:
  - conf/icail/IslamG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icail/IslamG15
Mohammad Badiul Islam, Guido Governatori:
RuleOMS: a rule-based online management system. ICAIL 2015: 187-191
[c162]
- view
  authority control:
- export record
  dblp key:
  - conf/jurix/Governatori15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/Governatori15
Guido Governatori:
Burden of Compliance and Burden of Violation. JURIX 2015: 31-40
[c161]
- view
  authority control:
- export record
  dblp key:
  - conf/jurix/GovernatoriH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/GovernatoriH15
Guido Governatori, Mustafa Hashmi:
Permissions in Deontic Event-Calculus. JURIX 2015: 181-182
[c160]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/CalardoGR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/CalardoGR15
Erica Calardo, Guido Governatori, Antonino Rotolo:
Semantics for Modelling Reason-Based Preferences. PRIMA 2015: 101-117
[c159]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/OlivieriCG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/OlivieriCG15
Francesco Olivieri, Matteo Cristani, Guido Governatori:
Compliant Business Processes with Exclusive Choices from Agent Specification. PRIMA 2015: 603-612
[c158]
- view
  authority control:
- export record
  dblp key:
  - conf/rweb/AthanGPPW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rweb/AthanGPPW15
Tara Athan, Guido Governatori, Monica Palmirani, Adrian Paschke, Adam Z. Wyner:
LegalRuleML: Design Principles and Foundations. Reasoning Web 2015: 151-188
[p4]
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/GovernatoriR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/GovernatoriR15
Guido Governatori, Antonino Rotolo:
Logics for Legal Dynamics. Logic in the Theory and Practice of Lawmaking 2015: 323-356
[p3]
- view
  authority control:
- export record
  dblp key:
  - series/ihis/SadiqG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/ihis/SadiqG15
Shazia Wasim Sadiq, Guido Governatori:
Managing Regulatory Compliance in Business Processes. Handbook on Business Process Management (2) 2015: 265-288
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/GovernatoriOSRC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GovernatoriOSRC15
Guido Governatori, Francesco Olivieri, Simone Scannapieco, Antonino Rotolo, Matteo Cristani:
The Rationale behind the Concept of Goal. CoRR abs/1512.04021 (2015)
2014
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/FisherTDG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/FisherTDG14
Michael Fisher, Leendert W. N. van der Torre, Mehdi Dastani, Guido Governatori:
Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIII). J. Log. Comput. 24(6): 1251-1252 (2014)
[c157]
- view
  authority control:
- export record
  dblp key:
  - conf/deon/CalardoGR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deon/CalardoGR14
Erica Calardo, Guido Governatori, Antonino Rotolo:
A Preference-Based Semantics for CTD Reasoning. DEON 2014: 49-64
[c156]
- view
  authority control:
- export record
  dblp key:
  - conf/deon/TosattoGK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deon/TosattoGK14
Silvano Colombo Tosatto, Guido Governatori, Pierre Kelsen:
Detecting Deontic Conflicts in Dynamic Settings. DEON 2014: 65-80
[c155]
- view
  authority control:
- export record
  dblp key:
  - conf/ecai/GovernatoriOSRC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/GovernatoriOSRC14
Guido Governatori, Francesco Olivieri, Simone Scannapieco, Antonino Rotolo, Matteo Cristani:
Strategic Argumentation is NP-Complete. ECAI 2014: 399-404
[c154]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ecsi/AhmedGTV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsi/AhmedGTV14
Javed Ahmed, Guido Governatori, Leendert W. N. van der Torre, Serena Villata:
Social Interaction Based Audience Segregation for Online Social Networks. ECSI 2014: 186-197
[c153]
- view
  authority control:
- export record
  dblp key:
  - conf/eumas/GovernatoriMORS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eumas/GovernatoriMORS14
Guido Governatori, Michael J. Maher, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco:
Strategic Argumentation Under Grounded Semantics is NP-Complete. EUMAS 2014: 379-387
[c152]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/jurix/AthanGPPW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/AthanGPPW14
Tara Athan, Guido Governatori, Monica Palmirani, Adrian Paschke, Adam Z. Wyner:
Legal Interpretations in LegalRuleML. SW4LAW+DC@JURIX 2014
[c151]
- view
  authority control:
- export record
  dblp key:
  - conf/jurix/GovernatoriORSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/GovernatoriORSS14
Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco, Giovanni Sartor:
Two Faces of Strategic Argumentation in the Law. JURIX 2014: 81-90
[c150]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/AllaireG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/AllaireG14
Marc Allaire, Guido Governatori:
On the Equivalence of Defeasible Deontic Logic and Temporal Defeasible Logic. PRIMA 2014: 74-90
[c149]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/GovernatoriOSC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/GovernatoriOSC14
Guido Governatori, Francesco Olivieri, Simone Scannapieco, Matteo Cristani:
The Hardness of Revising Defeasible Preferences. RuleML 2014: 168-177
[c148]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/HashmiGW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/HashmiGW14
Mustafa Hashmi, Guido Governatori, Moe Thandar Wynn:
Modeling Obligations with Event-Calculus. RuleML 2014: 296-310
[c147]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/semweb/GovernatoriLRVAG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/GovernatoriLRVAG14
Guido Governatori, Ho-Pun Lam, Antonino Rotolo, Serena Villata, Ghislain Auguste Atemezing, Fabien Gandon:
LIVE: a Tool for Checking Licenses Compatibility between Vocabularies and Data. ISWC (Posters & Demos) 2014: 77-80
[c146]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/semweb/CardellinoVGGLR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/CardellinoVGGLR14
Cristian Cardellino, Serena Villata, Fabien Gandon, Guido Governatori, Ho-Pun Lam, Antonino Rotolo:
Licentia: a Tool for Supporting Users in Data Licensing on the Web of Data. ISWC (Posters & Demos) 2014: 277-280
[c145]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/semweb/GovernatoriLRVAG14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/GovernatoriLRVAG14a
Guido Governatori, Ho-Pun Lam, Antonino Rotolo, Serena Villata, Ghislain Auguste Atemezing, Fabien Gandon:
Checking Licenses Compatibility between Vocabularies and Data. COLD 2014
[e13]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/2014
Hoa Khanh Dam, Jeremy V. Pitt, Yang Xu, Guido Governatori, Takayuki Ito:
PRIMA 2014: Principles and Practice of Multi-Agent Systems - 17th International Conference, Gold Coast, QLD, Australia, December 1-5, 2014. Proceedings. Lecture Notes in Computer Science 8861, Springer 2014, ISBN 978-3-319-13190-0 [contents]
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/Governatori14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Governatori14
Guido Governatori:
ICT Support for Regulatory Compliance of Business Processes. CoRR abs/1403.6865 (2014)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/Governatori14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Governatori14a
Guido Governatori:
Thou Shalt is not You Will. CoRR abs/1404.1685 (2014)
2013
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/it/Governatori13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/it/Governatori13
Guido Governatori:
Business Process Compliance: An Abstract Normative Framework. it Inf. Technol. 55(6): 231-238 (2013)
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/jphil/GovernatoriORS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jphil/GovernatoriORS13
Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco:
Computing Strong and Weak Permissions in Defeasible Logic. J. Philos. Log. 42(6): 799-829 (2013)
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/LamG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/LamG13
Ho-Pun Lam, Guido Governatori:
Towards a model of UAVs navigation in urban canyon through defeasible logic. J. Log. Comput. 23(2): 373-395 (2013)
[c144]
- view
  authority control:
- export record
  dblp key:
  - conf/apbpm/HashmiG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apbpm/HashmiG13
Mustafa Hashmi, Guido Governatori:
A Methodological Evaluation of Business Process Compliance Management Frameworks. AP-BPM 2013: 106-115
[c143]
- view
  authority control:
- export record
  dblp key:
  - conf/assri/HashmiGW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/assri/HashmiGW13
Mustafa Hashmi, Guido Governatori, Moe Thandar Wynn:
Normative Requirements for Business Process Compliance. ASSRI 2013: 100-116
[c142]
- view
  authority control:
- export record
  dblp key:
  - conf/edoc/TosattoGK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edoc/TosattoGK13
Silvano Colombo Tosatto, Guido Governatori, Pierre Kelsen:
Towards an Abstract Framework for Compliance. EDOC Workshops 2013: 79-88
[c141]
- view
  authority control:
- export record
  dblp key:
  - conf/icail/AthanBGPPW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icail/AthanBGPPW13
Tara Athan, Harold Boley, Guido Governatori, Monica Palmirani, Adrian Paschke, Adam Z. Wyner:
OASIS LegalRuleML. ICAIL 2013: 3-12
[c140]
- view
  authority control:
- export record
  dblp key:
  - conf/icail/GovernatoriROS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icail/GovernatoriROS13
Guido Governatori, Antonino Rotolo, Francesco Olivieri, Simone Scannapieco:
Legal contractions: a logical analysis. ICAIL 2013: 63-72
[c139]
- view
  authority control:
- export record
  dblp key:
  - conf/icail/GovernatoriS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icail/GovernatoriS13
Guido Governatori, Sidney Shek:
Regorous: a business process compliance checker. ICAIL 2013: 245-246
[c138]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/TosattoKGK0T13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/TosattoKGK0T13
Silvano Colombo Tosatto, Marwane El Kharbili, Guido Governatori, Pierre Kelsen, Qin Ma, Leendert W. N. van der Torre:
Algorithms for Basic Compliance Problems. ICST Workshops 2013: 2-7
[c137]
- view
  authority control:
- export record
  dblp key:
  - conf/jurix/GovernatoriLRVG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/GovernatoriLRVG13
Guido Governatori, Ho-Pun Lam, Antonino Rotolo, Serena Villata, Fabien Gandon:
Heuristics for Licenses Composition. JURIX 2013: 77-86
[c136]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/OlivieriGSC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/OlivieriGSC13
Francesco Olivieri, Guido Governatori, Simone Scannapieco, Matteo Cristani:
Compliant Business Process Design by Declarative Specifications. PRIMA 2013: 213-228
[c135]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/ScannapiecoGOC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/ScannapiecoGOC13
Simone Scannapieco, Guido Governatori, Francesco Olivieri, Matteo Cristani:
A Methodology for Plan Revision under Norm and Outcome Compliance. PRIMA 2013: 324-339
[c134]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/AthanBGPPW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/AthanBGPPW13
Tara Athan, Harold Boley, Guido Governatori, Monica Palmirani, Adrian Paschke, Adam Z. Wyner:
LegalRuleML: From Metamodel to Use Cases - (A Tutorial). RuleML 2013: 13-18
[c133]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/GovernatoriORSC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/GovernatoriORSC13
Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco, Matteo Cristani:
Picking Up the Best Goal - An Analytical Study in Defeasible Logic. RuleML 2013: 99-113
[c132]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/GovernatoriR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/GovernatoriR13
Guido Governatori, Antonino Rotolo:
Computing Temporal Defeasible Logic. RuleML 2013: 114-128
[c131]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ruleml/WynerG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/WynerG13
Adam Z. Wyner, Guido Governatori:
A Study on Translating Regulatory Rules from Natural Language to Defeasible Logics. RuleML (2) 2013
[c130]
- view
  authority control:
- export record
  dblp key:
  - conf/semweb/GovernatoriRVG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/semweb/GovernatoriRVG13
Guido Governatori, Antonino Rotolo, Serena Villata, Fabien Gandon:
One License to Compose Them All - A Deontic Logic Approach to Data Licensing on the Web of Data. ISWC (1) 2013: 151-166
[p2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/SinghABCCCDEFFGGDHKLMNSTVV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/SinghABCCCDEFFGGDHKLMNSTVV13
Munindar P. Singh, Matthew Arrott, Tina Balke, Amit K. Chopra, Rob Christiaanse, Stephen Cranefield, Frank Dignum, Davide Eynard, Emilia Farcas, Nicoletta Fornara, Fabien Gandon, Guido Governatori, Hoa Khanh Dam, Joris Hulstijn, Ingolf Krüger, Ho-Pun Lam, Michael Meisinger, Pablo Noriega, Bastin Tony Roy Savarimuthu, Kartik Tadanki, Harko Verhagen, Serena Villata:
The Uses of Norms. Normative Multi-Agent Systems 2013: 191-229
[e12]
- view
- export record
  dblp key:
  - conf/dagstuhl/2013dfu4
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/2013dfu4
Giulia Andrighetto, Guido Governatori, Pablo Noriega, Leendert W. N. van der Torre:
Normative Multi-Agent Systems. Dagstuhl Follow-Ups 4, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2013, ISBN 978-3-939897-51-4 [contents]
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/GovernatoriOSRC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GovernatoriOSRC13
Guido Governatori, Francesco Olivieri, Simone Scannapieco, Antonino Rotolo, Matteo Cristani:
Strategic Argumentation is NP-Complete. CoRR abs/1312.4287 (2013)
2012
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/ail/Bench-CaponAAABBBBCFGGLLLMPSSTTVWW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ail/Bench-CaponAAABBBBCFGGLLLMPSSTTVWW12
Trevor J. M. Bench-Capon, Michal Araszkiewicz, Kevin D. Ashley, Katie Atkinson, Floris Bex, Filipe Borges, Danièle Bourcier, Paul Bourgine, Jack G. Conrad, Enrico Francesconi, Thomas F. Gordon, Guido Governatori, Jochen L. Leidner, David D. Lewis, Ronald Prescott Loui, L. Thorne McCarty, Henry Prakken, Frank Schilder, Erich Schweighofer, Paul Thompson, Alex Tyrrell, Bart Verheij, Douglas N. Walton, Adam Z. Wyner:
A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law. Artif. Intell. Law 20(3): 215-319 (2012)
[j33]
- view
  authority control:
- export record
  dblp key:
  - journals/artmed/StanticTGBS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/artmed/StanticTGBS12
Bela Stantic, Paolo Terenziani, Guido Governatori, Alessio Bottrighi, Abdul Sattar:
An implicit approach to deal with periodically repeated medical data. Artif. Intell. Medicine 55(3): 149-162 (2012)
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/isf/HoffmannWG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isf/HoffmannWG12
Jörg Hoffmann, Ingo Weber, Guido Governatori:
On compliance checking for clausal constraints in annotated process models. Inf. Syst. Frontiers 14(2): 155-177 (2012)
[c129]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/aamas/ThakurGS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aamas/ThakurGS12
Subhasis Thakur, Guido Governatori, Abdul Sattar:
On modeling punishment in multi-agent systems. AAMAS 2012: 1375-1376
[c128]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/LamGSH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/LamGSH12
Ho-Pun Lam, Guido Governatori, Ken Satoh, Hiroshi Hosobe:
Distributed Defeasible Speculative Reasoning in Ambient Environment. CLIMA 2012: 43-60
[c127]
- view
  authority control:
- export record
  dblp key:
  - conf/deon/GovernatoriRC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deon/GovernatoriRC12
Guido Governatori, Antonino Rotolo, Erica Calardo:
Possible World Semantics for Defeasible Deontic Logic. DEON 2012: 46-60
[c126]
- view
  authority control:
- export record
  dblp key:
  - conf/jurix/GovernatoriORS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/GovernatoriORS12
Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco:
Narrowing Legal Concepts. JURIX 2012: 51-60
[c125]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ruleml/GovernatoriS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/GovernatoriS12
Guido Governatori, Sidney Shek:
Rule Based Business Process Compliance. RuleML (2) 2012
[c124]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/HashmiGW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/HashmiGW12
Mustafa Hashmi, Guido Governatori, Moe Thandar Wynn:
Business Process Data Compliance. RuleML 2012: 32-46
[e11]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/2012
Michael Fisher, Leon van der Torre, Mehdi Dastani, Guido Governatori:
Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings. Lecture Notes in Computer Science 7486, Springer 2012, ISBN 978-3-642-32896-1 [contents]
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1206-5833
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1206-5833
Guido Governatori, Francesco Olivieri, Simone Scannapieco, Matteo Cristani:
Revision of Defeasible Logic Preferences. CoRR abs/1206.5833 (2012)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1212-0079
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1212-0079
Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco:
Computing Strong and Weak Permissions in Defeasible Logic. CoRR abs/1212.0079 (2012)
[i8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/AndrighettoGNT12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/AndrighettoGNT12
Giulia Andrighetto, Guido Governatori, Pablo Noriega, Leon van der Torre:
Normative Multi-Agent Systems (Dagstuhl Seminar 12111). Dagstuhl Reports 2(3): 23-49 (2012)
2011
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/eis/GovernatoriI11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eis/GovernatoriI11
Guido Governatori, Renato Iannella:
A modelling and reasoning framework for social networks policies. Enterp. Inf. Syst. 5(1): 145-167 (2011)
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/ijswis/KontopoulosBGA11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijswis/KontopoulosBGA11
Efstratios Kontopoulos, Nick Bassiliades, Guido Governatori, Grigoris Antoniou:
A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web. Int. J. Semantic Web Inf. Syst. 7(1): 18-43 (2011)
[j29]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/japll/OrgunGLRS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/japll/OrgunGLRS11
Mehmet A. Orgun, Guido Governatori, Chuchang Liu, Mark Reynolds, Abdul Sattar:
Special issue on logics for intelligent agents and multi-agent systems. J. Appl. Log. 9(4): 221-222 (2011)
[j28]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/japll/BleeBGS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/japll/BleeBGS11
Jeff Blee, David Billington, Guido Governatori, Abdul Sattar:
Levels of modality for BDI Logic. J. Appl. Log. 9(4): 250-273 (2011)
[j27]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/japll/BoellaGHRRT11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/japll/BoellaGHRRT11
Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo, Leendert W. N. van der Torre:
Time and defeasibility in FIPA ACL semantics. J. Appl. Log. 9(4): 274-288 (2011)
[c123]
- view
  authority control:
- export record
  dblp key:
  - conf/adma/GollapalliLWG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adma/GollapalliLWG11
Mohammed Gollapalli, Xue Li, Ian A. Wood, Guido Governatori:
Ontology Guided Data Linkage Framework for Discovering Meaningful Data Facts. ADMA (2) 2011: 252-265
[c122]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/GovernatoriR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/GovernatoriR11
Guido Governatori, Antonino Rotolo:
Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance. CLIMA 2011: 364-382
[c121]
- view
  authority control:
- export record
  dblp key:
  - conf/icail/Governatori11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icail/Governatori11
Guido Governatori:
On the relationship between Carneades and Defeasible Logic. ICAIL 2011: 31-40
[c120]
- view
  authority control:
- export record
  dblp key:
  - conf/icail/PalmiraniGC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icail/PalmiraniGC11
Monica Palmirani, Guido Governatori, Giuseppe Contissa:
Modelling temporal legal rules. ICAIL 2011: 131-135
[c119]
- view
  authority control:
- export record
  dblp key:
  - conf/icdm/GollapalliLWG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdm/GollapalliLWG11
Mohammed Gollapalli, Xue Li, Ian A. Wood, Guido Governatori:
Approximate Record Matching Using Hash Grams. ICDM Workshops 2011: 504-511
[c118]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iicai/PadmanabhanSGB11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iicai/PadmanabhanSGB11
Vineet Padmanabhan, Abdul Sattar, Guido Governatori, Kollapalli Ramesh Babu:
Incorporating Temporal Planning Within a BDI Architecture. IICAI 2011: 1618-1636
[c117]
- view
  authority control:
- export record
  dblp key:
  - conf/jurix/GovernatoriORS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/GovernatoriORS11
Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco:
Three Concepts of Defeasible Permission. JURIX 2011: 63-72
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/LamG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/LamG11
Ho-Pun Lam, Guido Governatori:
What Are the Necessity Rules in Defeasible Reasoning? LPNMR 2011: 187-192
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/miwai/PadmanabhanGS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/miwai/PadmanabhanGS11
Vineet Padmanabhan, Guido Governatori, Abdul Sattar:
Fibred BDI Logics: Completeness Preservation in the Presence of Interaction Axioms. MIWAI 2011: 63-74
[c114]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/GovernatoriOSC11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/GovernatoriOSC11
Guido Governatori, Francesco Olivieri, Simone Scannapieco, Matteo Cristani:
Designing for Compliance: Norms and Goals. RuleML America 2011: 282-297
[c113]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/PalmiraniGRTBP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/PalmiraniGRTBP11
Monica Palmirani, Guido Governatori, Antonino Rotolo, Said Tabet, Harold Boley, Adrian Paschke:
LegalRuleML: XML-Based Rules and Norms. RuleML America 2011: 298-312
[e10]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/2011
David Kinny, Jane Yung-jen Hsu, Guido Governatori, Aditya K. Ghose:
Agents in Principle, Agents in Practice - 14th International Conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011. Proceedings. Lecture Notes in Computer Science 7047, Springer 2011, ISBN 978-3-642-25043-9 [contents]
[e9]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/2011e
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/2011e
Nick Bassiliades, Guido Governatori, Adrian Paschke:
Rule-Based Reasoning, Programming, and Applications - 5th International Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011. Proceedings. Lecture Notes in Computer Science 6826, Springer 2011, ISBN 978-3-642-22545-1 [contents]
2010
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/GovernatoriR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/GovernatoriR10
Guido Governatori, Antonino Rotolo:
Changing legal systems: legal abrogations and annulments in Defeasible Logic. Log. J. IGPL 18(1): 157-194 (2010)
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/tkde/BassiliadesGPD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tkde/BassiliadesGPD10
Nick Bassiliades, Guido Governatori, Adrian Paschke, Jürgen Dix:
Guest Editors' Introduction: Rule Representation, Interchange, and Reasoning in Distributed, Heterogeneous Environments. IEEE Trans. Knowl. Data Eng. 22(11): 1489-1491 (2010)
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/BillingtonAGM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/BillingtonAGM10
David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher:
An inclusion theorem for defeasible logics. ACM Trans. Comput. Log. 12(1): 6:1-6:27 (2010)
[c112]
- view
  - electronic edition @ westernsydney.edu.au (open access)
  - details & citations
- export record
  dblp key:
  - conf/apccm/GovernatoriR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apccm/GovernatoriR10
Guido Governatori, Antonino Rotolo:
A conceptually rich model of business process compliance. APCCM 2010: 3-12
[c111]
- view
  authority control:
- export record
  dblp key:
  - conf/icarcv/SongGD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icarcv/SongGD10
Insu Song, Guido Governatori, Joachim Diederich:
Automatic synthesis of reactive agents. ICARCV 2010: 970-975
[c110]
- view
  authority control:
- export record
  dblp key:
  - conf/jurix/GovernatoriS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/GovernatoriS10
Guido Governatori, Giovanni Sartor:
Burdens of Proof in Monological Argumentation. JURIX 2010: 57-66
[c109]
- view
  authority control:
- export record
  dblp key:
  - conf/jurix/PalmiraniGC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/PalmiraniGC10
Monica Palmirani, Guido Governatori, Giuseppe Contissa:
Temporal Dimensions in Rules Modelling. JURIX 2010: 159-162
[c108]
- view
  - electronic edition @ aaai.org (archived)
  - details & citations
- export record
  dblp key:
  - conf/kr/BoellaGRT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/BoellaGRT10
Guido Boella, Guido Governatori, Antonino Rotolo, Leendert W. N. van der Torre:
A Logical Understanding of Legal Interpretation. KR 2010
[c107]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/medinfo/StanticTSBG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/medinfo/StanticTSBG10
Bela Stantic, Paolo Terenziani, Abdul Sattar, Alessio Bottrighi, Guido Governatori:
Towards an implicit treatment of periodically-repeated medical data. MedInfo 2010: 1131-1135
[c106]
- view
  authority control:
- export record
  dblp key:
  - conf/re/Governatori10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/Governatori10
Guido Governatori:
Law, logic and business processes. RELAW 2010: 1-10
[c105]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/GovernatoriOSC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/GovernatoriOSC10
Guido Governatori, Francesco Olivieri, Simone Scannapieco, Matteo Cristani:
Superiority Based Revision of Defeasible Theories. RuleML 2010: 104-118
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/GovernatoriR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/GovernatoriR10
Guido Governatori, Antonino Rotolo:
Norm Compliance in Business Process Modeling. RuleML 2010: 194-209
[c103]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ruleml/KamadaGS10a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/KamadaGS10a
Aqueo Kamada, Guido Governatori, Shazia Wasim Sadiq:
SBVR based Business Contract and Business Rule IDE. RuleML Challenge 2010
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/LamG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/LamG10
Ho-Pun Lam, Guido Governatori:
On the Problem of Computing Ambiguity Propagation and Well-Founded Semantics in Defeasible Logic. RuleML 2010: 119-127
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/KamadaGS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/KamadaGS10
Aqueo Kamada, Guido Governatori, Shazia Wasim Sadiq:
Transformation of SBVR Compliant Business Rules to Executable FCL Rules. RuleML 2010: 153-161
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/KravariKBG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/KravariKBG10
Kalliopi Kravari, Grammati-Eirini Kastori, Nick Bassiliades, Guido Governatori:
A Contract Agreement Policy-Based Workflow Methodology for Agents Interacting in the Semantic Web. RuleML 2010: 225-239
[e8]
- view
  authority control:
- export record
  dblp key:
  - conf/clima/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/clima/2010
Jürgen Dix, João Leite, Guido Governatori, Wojtek Jamroga:
Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings. Lecture Notes in Computer Science 6245, Springer 2010, ISBN 978-3-642-14976-4 [contents]
[e7]
- view
  authority control:
- export record
  dblp key:
  - conf/deon/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deon/2010
Guido Governatori, Giovanni Sartor:
Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings. Lecture Notes in Computer Science 6181, Springer 2010, ISBN 978-3-642-14182-9 [contents]

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/aamas/OrgunGL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aamas/OrgunGL09
Mehmet A. Orgun, Guido Governatori, Chuchang Liu:
Modal tableaux for verifying stream authentication protocols. Auton. Agents Multi Agent Syst. 19(1): 53-75 (2009)
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/dke/LuSG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dke/LuSG09
Ruopeng Lu, Shazia Wasim Sadiq, Guido Governatori:
On managing business processes variants. Data Knowl. Eng. 68(7): 642-664 (2009)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/eswa/AntoniouDG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eswa/AntoniouDG09
Grigoris Antoniou, Nikos Dimaresis, Guido Governatori:
A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems. Expert Syst. Appl. 36(2): 4125-4134 (2009)
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/GovernatoriPRS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/GovernatoriPRS09
Guido Governatori, Vineet Padmanabhan, Antonino Rotolo, Abdul Sattar:
A defeasible logic for modelling policy-based intentions and motivational attitudes. Log. J. IGPL 17(3): 227-265 (2009)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/ijbpim/GovernatoriP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijbpim/GovernatoriP09
Guido Governatori, Duy Hoang Pham:
DR-CONTRACT: an architecture for e-contracts in defeasible logic. Int. J. Bus. Process. Integr. Manag. 4(3): 187-199 (2009)
[j18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jucs/PhamGT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jucs/PhamGT09
Duy Hoang Pham, Guido Governatori, Subhasis Thakur:
Extended Defeasible Reasoning for Common Goals in n-Person Argumentation Games. J. Univers. Comput. Sci. 15(13): 2653-2675 (2009)
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/bis/LuSGY09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bis/LuSGY09
Ruopeng Lu, Shazia Wasim Sadiq, Guido Governatori, Xiaoping Yang:
Defining Adaptation Constraints for Business Process Variants. BIS 2009: 145-156
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/edoc/GovernatoriI09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edoc/GovernatoriI09
Guido Governatori, Renato Iannella:
Modelling and Reasoning Languages for Social Networks Policies. EDOC 2009: 193-200
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/iat/GovernatoriR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iat/GovernatoriR09
Guido Governatori, Antonino Rotolo:
How Do Agents Comply with Norms? Web Intelligence/IAT Workshops 2009: 488-491
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/jsai/GovernatoriRR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jsai/GovernatoriRR09
Guido Governatori, Antonino Rotolo, Rossella Rubino:
Implementing Temporal Defeasible Logic for Modeling Legal Reasoning. JSAI-isAI Workshops 2009: 45-58
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/jurix/BoellaGRT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/BoellaGRT09
Guido Boella, Guido Governatori, Antonino Rotolo, Leendert W. N. van der Torre:
Lex Minus Dixit Quam Voluit, Lex Magis Dixit Quam Voluit: A Formal Study on Legal Compliance and Interpretation. AICOL Workshops 2009: 162-183
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/GordonGR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/GordonGR09
Thomas F. Gordon, Guido Governatori, Antonino Rotolo:
Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain. RuleML 2009: 282-296
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/LamG09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/LamG09
Ho-Pun Lam, Guido Governatori:
The Making of SPINdle. RuleML 2009: 315-322
[c92]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ruleml/LamTGS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/LamTGS09
Ho-Pun Lam, Subhasis Thakur, Guido Governatori, Abdul Sattar:
A Model to Coordinate UAVs in Urban Environments Using Defeasible Logic. RuleML Challenge 2009
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/igi/09/GovernatoriS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/igi/09/GovernatoriS09
Guido Governatori, Shazia W. Sadiq:
The Journey to Business Process Compliance. Handbook of Research on Business Process Modeling 2009: 426-454
[e6]
- view
  - table of contents in dblp
  - details & citations
- export record
  dblp key:
  - conf/jurix/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/2009
Guido Governatori:
Legal Knowledge and Information Systems - JURIX 2009: The Twenty-Second Annual Conference on Legal Knowledge and Information Systems, Rotterdam, The Netherlands, 16-18 December 2009. Frontiers in Artificial Intelligence and Applications 205, IOS Press 2009, ISBN 978-1-60750-082-7 [contents]
[e5]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/2007
Aditya K. Ghose, Guido Governatori, Ramakoti Sadananda:
Agent Computing and Multi-Agent Systems, 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers. Lecture Notes in Computer Science 5044, Springer 2009, ISBN 978-3-642-01638-7 [contents]
[e4]
- view
- export record
  dblp key:
  - conf/ruleml/2009c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/2009c
Yuh-Jong Hu, Ching-Long Yeh, Wolfgang Laun, Guido Governatori, John Hall, Adrian Paschke:
Proceedings of the 3rd International RuleML-2009 Challenge, collocated with the 3rd International Symposium on Rules, Applications and Interoperability (RuleML-2009), Las Vegas, Nevada, USA, November 5-7, 2009. CEUR Workshop Proceedings 549, CEUR-WS.org 2009 [contents]
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/2009
Guido Governatori, John Hall, Adrian Paschke:
Rule Interchange and Applications, International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings. Lecture Notes in Computer Science 5858, Springer 2009, ISBN 978-3-642-04984-2 [contents]
[i7]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/GovernatoriR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/GovernatoriR09
Guido Governatori, Antonino Rotolo:
How Do Agents Comply with Norms? Normative Multi-Agent Systems 2009
2008
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/aamas/GovernatoriR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aamas/GovernatoriR08
Guido Governatori, Antonino Rotolo:
BIO logical agents: Norms, beliefs, intentions in defeasible logic. Auton. Agents Multi Agent Syst. 17(1): 36-69 (2008)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/ail/GovernatoriR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ail/GovernatoriR08
Guido Governatori, Antonino Rotolo:
A computational framework for institutional agency. Artif. Intell. Law 16(1): 25-52 (2008)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/dke/AntoniouBDGGGKKKKLPPTTZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dke/AntoniouBDGGGKKKKLPPTTZ08
Grigoris Antoniou, Antonis Bikakis, Nikos Dimaresis, Manolis Genetzakis, Giannis Georgalis, Guido Governatori, Efie Karouzaki, Nikolaos Kazepis, Dimitris Kosmadakis, Manolis Kritsotakis, Giannis Lilis, Antonis Papadogiannakis, Panagiotis Pediaditis, Constantinos Terzakis, Rena Theodosaki, Dimitris Zeginis:
Proof explanation for a nonmonotonic Semantic Web rules language. Data Knowl. Eng. 64(3): 662-687 (2008)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/ijecommerce/BartoliniGM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijecommerce/BartoliniGM08
Claudio Bartolini, Guido Governatori, Zoran Milosevic:
Introduction to the Special Issue: Electronic Contract Architectures and Languages. Int. J. Electron. Commer. 12(4): 5-8 (2008)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/ism/LuSG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ism/LuSG08
Ruopeng Lu, Shazia Wasim Sadiq, Guido Governatori:
Measurement of Compliance Distance in Business Processes. Inf. Syst. Manag. 25(4): 344-355 (2008)
[c91]
- view
  - electronic edition @ aiml.net (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiml/Governatori08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/Governatori08
Guido Governatori:
Labelled modal tableaux. Advances in Modal Logic 2008: 87-110
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/GovernatoriHSW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/GovernatoriHSW08
Guido Governatori, Jörg Hoffmann, Shazia Wasim Sadiq, Ingo Weber:
Detecting Regulatory Compliance for Business Process Models through Semantic Annotations. Business Process Management Workshops 2008: 5-17
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/deon/GovernatoriR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deon/GovernatoriR08
Guido Governatori, Antonino Rotolo:
Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories. DEON 2008: 3-18
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/iat/KontopoulosBGA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iat/KontopoulosBGA08
Efstratios Kontopoulos, Nick Bassiliades, Guido Governatori, Grigoris Antoniou:
Extending a Defeasible Reasoner with Modal and Deontic Logic Operators. Web Intelligence/IAT Workshops 2008: 626-629
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/iat/BoellaGHRRT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iat/BoellaGHRRT08
Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo, Leendert W. N. van der Torre:
Time and Defeasibility in FIPA ACL Semantics. Web Intelligence/IAT Workshops 2008: 634-637
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/iat/BleeBGS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iat/BleeBGS08
Jeff Blee, David Billington, Guido Governatori, Abdul Sattar:
Levels of Modalities for BDI Logic. Web Intelligence/IAT Workshops 2008: 647-650
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/jurix/GovernatoriTP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/GovernatoriTP08
Guido Governatori, Subhasis Thakur, Duy Hoang Pham:
A Compliance Model of Trust. JURIX 2008: 118-127
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/jurix/GovernatoriR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/GovernatoriR08
Guido Governatori, Antonino Rotolo:
An Algorithm for Business Process Compliance. JURIX 2008: 186-191
[c83]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/normas/GovernatoriR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/normas/GovernatoriR08
Guido Governatori, Antonino Rotolo:
Changing Legal Systems: Abrogation and Annulment. Part II: Temporalised Defeasible Logic. NORMAS 2008: 112-127
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/PadmanabhanGT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/PadmanabhanGT08
Vineet Padmanabhan, Guido Governatori, Subhasis Thakur:
Knowledge Assessment: A Modal Logic Approach. PRIMA 2008: 315-322
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/PhamTG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/PhamTG08
Duy Hoang Pham, Subhasis Thakur, Guido Governatori:
Settling on the Group's Goals: An n-Person Argumentation Game Approach. PRIMA 2008: 328-339
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/PhamGRNT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/PhamGRNT08
Duy Hoang Pham, Guido Governatori, Simon Raboczi, Andrew Newman, Subhasis Thakur:
On Extending RuleML for Modal Defeasible Logic. RuleML 2008: 89-103
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/AntoniouDG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/AntoniouDG08
Grigoris Antoniou, Nikos Dimaresis, Guido Governatori:
A system for modal and deontic defeasible reasoning. SAC 2008: 2261-2265
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/2008
Nick Bassiliades, Guido Governatori, Adrian Paschke:
Rule Representation, Interchange and Reasoning on the Web, International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings. Lecture Notes in Computer Science 5321, Springer 2008, ISBN 978-3-540-88807-9 [contents]
2007
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/dke/SkylogiannisABGB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dke/SkylogiannisABGB07
Thomas Skylogiannis, Grigoris Antoniou, Nick Bassiliades, Guido Governatori, Antonis Bikakis:
DR-NEGOTIATE - A system for automated agent negotiation with defeasible logic-based strategies. Data Knowl. Eng. 63(2): 362-380 (2007)
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/DastaniGRST07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/DastaniGRST07
Mehdi Dastani, Guido Governatori, Antonino Rotolo, Insu Song, Leendert W. N. van der Torre:
Contextual deliberation of cognitive agents in defeasible logic. AAMAS 2007: 148
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/GovernatoriT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/GovernatoriT07
Guido Governatori, Paolo Terenziani:
Temporal Extensions to Defeasible Logic. Australian Conference on Artificial Intelligence 2007: 476-485
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/GovernatoriHRR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/GovernatoriHRR07
Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo:
Characterising Deadlines in Temporal Modal Defeasible Logic. Australian Conference on Artificial Intelligence 2007: 486-496
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/ThakurGPL07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/ThakurGPL07
Subhasis Thakur, Guido Governatori, Vineet Padmanabhan, Jenny Eriksson Lundström:
Dialogue Games in Defeasible Logic. Australian Conference on Artificial Intelligence 2007: 497-506
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/AntoniouDG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/AntoniouDG07
Grigoris Antoniou, Nikos Dimaresis, Guido Governatori:
A System for Modal and Deontic Defeasible Reasoning. Australian Conference on Artificial Intelligence 2007: 609-613
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/LuSG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/LuSG07
Ruopeng Lu, Shazia Wasim Sadiq, Guido Governatori:
Compliance Aware Business Process Design. Business Process Management Workshops 2007: 120-131
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/SadiqGN07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/SadiqGN07
Shazia Wasim Sadiq, Guido Governatori, Kioumars Namiri:
Modeling Control Objectives for Business Process Compliance. BPM 2007: 149-164
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/icail/RothRRG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icail/RothRRG07
Bram Roth, Régis Riveret, Antonino Rotolo, Guido Governatori:
Strategic argumentation: a game theoretical investigation. ICAIL 2007: 81-90
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/icail/GovernatoriRRPS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icail/GovernatoriRRPS07
Guido Governatori, Antonino Rotolo, Régis Riveret, Monica Palmirani, Giovanni Sartor:
Variants of temporal defeasible logics for modelling norm modifications. ICAIL 2007: 155-159
[c69]
- view
  - electronic edition @ iospress.nl
  - details & citations
- export record
  dblp key:
  - conf/jurix/GovernatoriHRR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/GovernatoriHRR07
Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo:
On the Representation of Deadlines in a Rental Agreement. JURIX 2007: 169-170
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/ksem/AntoniouBDGGGKKKKLPPTTZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ksem/AntoniouBDGGGKKKKLPPTTZ07
Grigoris Antoniou, Antonis Bikakis, Nikos Dimaresis, Manolis Genetzakis, Giannis Georgalis, Guido Governatori, Efie Karouzaki, Nikolaos Kazepis, Dimitris Kosmadakis, Manolis Kritsotakis, Giannis Lilis, Antonis Papadogiannakis, Panagiotis Pediaditis, Constantinos Terzakis, Rena Theodosaki, Dimitris Zeginis:
Proof Explanation for the Semantic Web Using Defeasible Logic. KSEM 2007: 186-197
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/DastaniGRST07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/DastaniGRST07
Mehdi Dastani, Guido Governatori, Antonino Rotolo, Insu Song, Leendert W. N. van der Torre:
Contextual Agent Deliberation in Defeasible Logic. PRIMA 2007: 98-109
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/LundstromGTP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/LundstromGTP07
Jenny Eriksson Lundström, Guido Governatori, Subhasis Thakur, Vineet Padmanabhan:
An Asymmetric Protocol for Argumentation Games in Defeasible Logic. PRIMA 2007: 219-231
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/rr/BassiliadesAG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rr/BassiliadesAG07
Nick Bassiliades, Grigoris Antoniou, Guido Governatori:
Proof Explanation in the DR-DEVICE System. RR 2007: 249-258
[i6]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/GovernatoriR07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/GovernatoriR07
Guido Governatori, Antonino Rotolo:
BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic. Normative Multi-agent Systems 2007
[i5]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/RiveretRG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/RiveretRG07
Régis Riveret, Antonino Rotolo, Guido Governatori:
Interaction between Normative Systems and Cognitive agents in Temporal Modal Defeasible Logic. Normative Multi-agent Systems 2007
2006
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/ijcis/GovernatoriM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijcis/GovernatoriM06
Guido Governatori, Zoran Milosevic:
A Formal Analysis of a Business Contract Language. Int. J. Cooperative Inf. Syst. 15(4): 659-685 (2006)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/AntoniouBGM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/AntoniouBGM06
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher:
Embedding defeasible logic into logic programming. Theory Pract. Log. Program. 6(6): 703-735 (2006)
[c64]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/adc/PothiprukG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adc/PothiprukG06
Pakornpong Pothipruk, Guido Governatori:
An optimization for query answering on ALC database. ADC 2006: 129-137
[c63]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/adc/LuSPG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adc/LuSPG06
Ruopeng Lu, Shazia Wasim Sadiq, Vineet Padmanabhan, Guido Governatori:
Using a temporal constraint network for business process execution. ADC 2006: 157-166
[c62]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/adc/StanticGS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adc/StanticGS06
Bela Stantic, Guido Governatori, Abdul Sattar:
Handling of current time in native XML databases. ADC 2006: 175-182
[c61]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/apccm/PadmanabhanGSCR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apccm/PadmanabhanGSCR06
Vineet Padmanabhan, Guido Governatori, Shazia Wasim Sadiq, Robert M. Colomb, Antonino Rotolo:
Process modelling: the deontic way. APCCM 2006: 75-84
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/GovernatoriRP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/GovernatoriRP06
Guido Governatori, Antonino Rotolo, Vineet Padmanabhan:
The cost of social agents. AAMAS 2006: 513-520
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/SongG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/SongG06
Insu Song, Guido Governatori:
Designing agent chips. AAMAS 2006: 1311-1313
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/PothiprukG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/PothiprukG06
Pakornpong Pothipruk, Guido Governatori:
ALE Defeasible Description Logic. Australian Conference on Artificial Intelligence 2006: 110-119
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/SongG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/SongG06
Insu Song, Guido Governatori:
Hardware Implementation of Temporal Nonmonotonic Logics. Australian Conference on Artificial Intelligence 2006: 808-817
[c56]
- view
- export record
  dblp key:
  - conf/bis/LuSG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bis/LuSG06
Ruopeng Lu, Shazia Wasim Sadiq, Guido Governatori:
Utilizing Successful Work Practice for Business Process Evolution. BIS 2006: 58-76
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/PadmanabhanG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/PadmanabhanG06
Vineet Padmanabhan, Guido Governatori:
A Fibred Tableau Calculus for Modal Logics of Agents. DALT 2006: 105-122
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/dasc/OrgunMLG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dasc/OrgunMLG06
Mehmet A. Orgun, Ji Ma, Chuchang Liu, Guido Governatori:
Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems. DASC 2006: 325-332
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/edoc/GovernatoriMS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edoc/GovernatoriMS06
Guido Governatori, Zoran Milosevic, Shazia Wasim Sadiq:
Compliance checking between business processes and business contracts. EDOC 2006: 221-232
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/pricai/GovernatoriPR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pricai/GovernatoriPR06
Guido Governatori, Vineet Padmanabhan, Antonino Rotolo:
Rule-Based Agents in Temporalised Defeasible Logic. PRICAI 2006: 31-40
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/pricai/SongG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pricai/SongG06
Insu Song, Guido Governatori:
Affective Web Service Design. PRICAI 2006: 71-80
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/pricai/PadmanabhanG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pricai/PadmanabhanG06
Vineet Padmanabhan, Guido Governatori:
On Constructing Fibred Tableaux for BDI Logics. PRICAI 2006: 150-160
[c49]
- view
  - electronic edition @ iospress.nl
  - details & citations
- export record
  dblp key:
  - conf/stairs/SongG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stairs/SongG06
Insu Song, Guido Governatori:
A Compact Argumentation System for Agent System Specification. STAIRS 2006: 26-37
[c48]
- view
  - electronic edition @ iospress.nl
  - details & citations
- export record
  dblp key:
  - conf/stairs/RiveretGR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stairs/RiveretGR06
Régis Riveret, Guido Governatori, Antonino Rotolo:
Argumentation Semantics for Temporal Defeasible Logic. STAIRS 2006: 267-268
[e1]
- view
- export record
  dblp key:
  - conf/aiml/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/2006
Guido Governatori, Ian M. Hodkinson, Yde Venema:
Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006. College Publications 2006, ISBN 1-904987-20-6 [contents]
2005
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/ecr/DumasAGH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ecr/DumasAGH05
Marlon Dumas, Lachlan Aldred, Guido Governatori, Arthur H. M. ter Hofstede:
Probabilistic Automated Bidding in Multiple Auctions. Electron. Commer. Res. 5(1): 25-49 (2005)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/ijcis/MilosevicG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijcis/MilosevicG05
Zoran Milosevic, Guido Governatori:
Guest editors' introduction. Int. J. Cooperative Inf. Syst. 14(2-3): 73-76 (2005)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/ijcis/Governatori05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijcis/Governatori05
Guido Governatori:
Representing business contracts in RuleML. Int. J. Cooperative Inf. Syst. 14(2-3): 181-216 (2005)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jphil/GovernatoriR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jphil/GovernatoriR05
Guido Governatori, Antonino Rotolo:
On the Axiomatisation of Elgesem's Logic of Agency and Ability. J. Philos. Log. 34(4): 403-431 (2005)
[c47]
- view
  - electronic edition @ aaai.org (archived)
  - details & citations
- export record
  dblp key:
  - conf/aaai/SuSWLGP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/SuSWLGP05
Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan:
Observation-based Model for BDI-Agents. AAAI 2005: 190-195
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/SuSGC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/SuSGC05
Kaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen:
A computationally grounded logic of knowledge, belief and certainty. AAMAS 2005: 149-156
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/DastaniGRT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/DastaniGRT05
Mehdi Dastani, Guido Governatori, Antonino Rotolo, Leendert W. N. van der Torre:
Preferences of Agents in Defeasible Logic. Australian Conference on Artificial Intelligence 2005: 695-704
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/edoc/GovernatoriM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edoc/GovernatoriM05
Guido Governatori, Zoran Milosevic:
Dealing with contract violations: formalism and domain specific language. EDOC 2005: 46-57
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/eee/SkylogiannisABG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eee/SkylogiannisABG05
Thomas Skylogiannis, Grigoris Antoniou, Nick Bassiliades, Guido Governatori:
DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies. EEE 2005: 44-49
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/icail/GovernatoriRS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icail/GovernatoriRS05
Guido Governatori, Antonino Rotolo, Giovanni Sartor:
Temporalised Normative Positions in Defeasible Logic. ICAIL 2005: 25-34
[c41]
- view
  - electronic edition @ ijcai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ijcai/SuSWG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/SuSWG05
Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori:
Computationally Grounded Model of BDI-Agents. IJCAI 2005: 1581-1582
[c40]
- view
  - electronic edition @ iospress.nl
  - details & citations
- export record
  dblp key:
  - conf/jurix/GovernatoriPRRS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jurix/GovernatoriPRRS05
Guido Governatori, Monica Palmirani, Régis Riveret, Antonino Rotolo, Giovanni Sartor:
Norm Modifications in Defeasible Logic. JURIX 2005: 13-22
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/DastaniGRT05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/DastaniGRT05
Mehdi Dastani, Guido Governatori, Antonino Rotolo, Leendert W. N. van der Torre:
Programming Cognitive Agents in Defeasible Logic. LPAR 2005: 621-636
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/GovernatoriH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/GovernatoriH05
Guido Governatori, Duy Hoang:
A Semantic Web Based Architecture for e-Contracts in Defeasible Logic. RuleML 2005: 145-159
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/SongG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/SongG05
Insu Song, Guido Governatori:
Nested Rules in Defeasible Logic. RuleML 2005: 204-208
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/wise/PothiprukG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wise/PothiprukG05
Pakornpong Pothipruk, Guido Governatori:
A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web. WISE 2005: 119-132
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-cs-0511055
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0511055
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher:
Embedding Defeasible Logic into Logic Programming. CoRR abs/cs/0511055 (2005)
2004
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/ail/GelatiRSG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ail/GelatiRSG04
Jonathan Gelati, Antonino Rotolo, Giovanni Sartor, Guido Governatori:
Normative autonomy and normative co-ordination: Declarative power, representation, and mandate. Artif. Intell. Law 12(1-2): 53-81 (2004)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/GovernatoriMAB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/GovernatoriMAB04
Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington:
Argumentation Semantics for Defeasible Logic. J. Log. Comput. 14(5): 675-702 (2004)
[c35]
- view
  - electronic edition @ westernsydney.edu.au
  - details & citations
- export record
  dblp key:
  - conf/adc/CheowG04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adc/CheowG04
Peng Yew Cheow, Guido Governatori:
Representing and Reasoning on XForms Document. ADC 2004: 141-150
[c34]
- view
  - electronic edition @ westernsydney.edu.au
  - details & citations
- export record
  dblp key:
  - conf/adc/GovernatoriRS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adc/GovernatoriRS04
Guido Governatori, Antonino Rotolo, Shazia Wasim Sadiq:
A Model of Dynamic Resource Allocation in Workflow Systems. ADC 2004: 197-206
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/SongGC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/SongGC04
Insu Song, Guido Governatori, Robert M. Colomb:
An Interaction Model for Affect Monitoring. Australian Conference on Artificial Intelligence 2004: 979-984
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/deon/GovernatoriR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deon/GovernatoriR04
Guido Governatori, Antonino Rotolo:
Defeasible Logic: Agency, Intention and Obligation. DEON 2004: 114-128
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/ruleml/Governatori04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ruleml/Governatori04
Guido Governatori:
Defeasible Description Logics. RuleML 2004: 98-112
2003
[c30]
- view
  - electronic edition @ westernsydney.edu.au
  - details & citations
- export record
  dblp key:
  - conf/adc/JohnstonG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adc/JohnstonG03
Benjamin Johnston, Guido Governatori:
An algorithm for the induction of defeasible logic theories from databases. ADC 2003: 75-83
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/GovernatoriLS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/GovernatoriLS03
Guido Governatori, Alessio Lomuscio, Marek J. Sergot:
A Tableaux System for Deontic Interpreted Systems. Australian Conference on Artificial Intelligence 2003: 339-351
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/GovernatoriP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/GovernatoriP03
Guido Governatori, Vineet Padmanabhan:
A Defeasible Logic of Policy-Based Intention. Australian Conference on Artificial Intelligence 2003: 414-426
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/icail/JohnstonG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icail/JohnstonG03
Benjamin Johnston, Guido Governatori:
Induction of Defeasible Logic Theories in the Legal Domain. ICAIL 2003: 204-213
[c26]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Governatori03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Governatori03
Guido Governatori:
On the Relative Complexity of Labelled Modal Tableaux. CATS 2003: 40-57
2002
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ecra/DumasGHO02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ecra/DumasGHO02
Marlon Dumas, Guido Governatori, Arthur H. M. ter Hofstede, Phillipa Oaks:
A formal approach to negotiating agents development. Electron. Commer. Res. Appl. 1(2): 193-207 (2002)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/ArtosiGR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/ArtosiGR02
Alberto Artosi, Guido Governatori, Antonino Rotolo:
Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations. J. Log. Comput. 12(6): 1027-1060 (2002)
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/GovernatoriPS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/GovernatoriPS02
Guido Governatori, Vineet Padmanabhan, Abdul Sattar:
A Defeasible Logic of Policy-Based Intention. Australian Joint Conference on Artificial Intelligence 2002: 723
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/GovernatoriPS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/GovernatoriPS02
Guido Governatori, Vineet Padmanabhan, Abdul Sattar:
On Fibring Semantics for BDI Logics. JELIA 2002: 198-210
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/ride/DumasGHR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ride/DumasGHR02
Marlon Dumas, Guido Governatori, Arthur H. M. ter Hofstede, Nick Russell:
An Architecture for Assembling Agents that Participate in Alternative Heterogeneous Auctions. RIDE 2002: 75-83
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/www/DumasAGHR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/www/DumasAGHR02
Marlon Dumas, Lachlan Aldred, Guido Governatori, Arthur H. M. ter Hofstede, Nick Russell:
A probabilistic approach to automated bidding in alternative auctions. WWW 2002: 99-108
2001
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/AntoniouBGM01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/AntoniouBGM01
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher:
Representation results for defeasible logic. ACM Trans. Comput. Log. 2(2): 255-287 (2001)
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/PadmanabhanGS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/PadmanabhanGS01
Vineet Padmanabhan, Guido Governatori, Abdul Sattar:
Actions Made Explicit in BDI. Australian Joint Conference on Artificial Intelligence 2001: 390-401
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/icail/GovernatoriDHO01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icail/GovernatoriDHO01
Guido Governatori, Marlon Dumas, Arthur H. M. ter Hofstede, Phillipa Oaks:
A formal approach to legal negotiation. ICAIL 2001: 168-177
2000
[c19]
- view
  - electronic edition @ aaai.org (archived)
  - details & citations
- export record
  dblp key:
  - conf/aaai/AntoniouBGM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/AntoniouBGM00
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher:
A Flexible Framework for Defeasible Logics. AAAI/IAAI 2000: 405-410
[c18]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ecai/AntoniouBGMR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/AntoniouBGMR00
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, Andrew Rock:
A Family of Defeasible Reasoning Logics and its Implementation. ECAI 2000: 459-463
[c17]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ecai/GovernatoriM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/GovernatoriM00
Guido Governatori, Michael J. Maher:
An Argumentation-Theoretic Characterization of Defeasible Logic. ECAI 2000: 469-473
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/pricai/GovernatoriMAB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pricai/GovernatoriMAB00
Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington:
Argumentation Semantics for Defeasible Logics. PRICAI 2000: 27-37
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/ArtosiGR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/ArtosiGR00
Alberto Artosi, Guido Governatori, Antonino Rotolo:
A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations. TABLEAUX 2000: 82-97
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/cs-AI-0003013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-AI-0003013
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher:
A flexible framework for defeasible logics. CoRR cs.AI/0003013 (2000)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/cs-LO-0003050
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-LO-0003050
Alberto Artosi, Guido Governatori:
A tableau methodology for deontic conditional logics. CoRR cs.LO/0003050 (2000)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/cs-LO-0003082
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/cs-LO-0003082
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher:
Representation results for defeasible logic. CoRR cs.LO/0003082 (2000)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c14]
- view
  - electronic edition @ aaai.org (archived)
  - details & citations
- export record
  dblp key:
  - conf/aaai/MaherG99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/MaherG99
Michael J. Maher, Guido Governatori:
A Semantic Decomposition of Defeasible Logics. AAAI/IAAI 1999: 299-305
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/aiia/GovernatoriL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/GovernatoriL99
Guido Governatori, Alessandro Luppi:
Labelled Tableaux for Non-normal Modal Logics. AI*IA 1999: 119-130
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/epia/GiustoG99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/epia/GiustoG99
Paolo Di Giusto, Guido Governatori:
Analytic Modal Revision for Multi-agent Systems. EPIA 1999: 282-296
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/epia/GiustoG99a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/epia/GiustoG99a
Paolo Di Giusto, Guido Governatori:
A New Approach to Base Revision. EPIA 1999: 327-341
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/ki/BillingtonAGM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/BillingtonAGM99
David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher:
Revising Nonmonotonic Theories: The Case of Defeasible Logic. KI 1999: 101-112
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/lpnmr/AntoniouMBG99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/AntoniouMBG99
Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori:
A Comparison of Sceptical NAF-Free Logic Programming Approaches. LPNMR 1999: 347-356
1997
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/ki/ArtosiCG97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ki/ArtosiCG97
Alberto Artosi, Paola Cattabriga, Guido Governatori:
A Modal Computational Framework for Default Reasoning. KI 1997: 373-376
1996
[c7]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/aiml/ArtosiBGR96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/ArtosiBGR96
Alberto Artosi, Paola Benassi, Guido Governatori, Antonino Rotolo:
Shakespearian Modal Logic: A Labelled Treatment of Modal Identity. Advances in Modal Logic 1996: 1-21
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/deon/ArtosiGS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/deon/ArtosiGS96
Alberto Artosi, Guido Governatori, Giovanni Sartor:
Towards a Computational Treatment of Deontic Defeasibility. DEON 1996: 27-46
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/fapr/Governatori96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fapr/Governatori96
Guido Governatori:
Labelling Ideality and Subideality. FAPR 1996: 291-304
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/ArtosiBGR96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/ArtosiBGR96
Alberto Artosi, Paola Benassi, Guido Governatori, Antonino Rotolo:
Labelled Proofs for Quantified Modal Logic. JELIA 1996: 70-86
1995
[c3]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/agp/ArtosiCG95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agp/ArtosiCG95
Alberto Artosi, Paola Cattabriga, Guido Governatori:
A Prolog Implementation of Kem. GULP-PRODE 1995: 395-400
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/Governatori95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/Governatori95
Guido Governatori:
Labelled Tableaux for Multi-Modal Logics. TABLEAUX 1995: 79-94
1994
[c1]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/iclp/ArtosiCG94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iclp/ArtosiCG94
Alberto Artosi, Paola Cattabriga, Guido Governatori:
KED: A Deontic Theorem Prover. ICLP Workshop: Legal Application of Logic Programming 1994

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.