Guido Governatori
13 SlideShares 11 Followers 3 Followings
Personal Information
Organization / Workplace
Brisbane, Australia Australia
Occupation
Senior Principal Researcher at NICTA
Industry
Education
Website
www.governatori.net
About
My research interests are in logic and reasoning and how to use them for applications in the domains of normative reasoning, business processes and multi-agent systems. My aim is to provide conceptually sound model for formalisation in the above domains. Specialties: artificial intelligence, knowledge representation, normative reasoning, business process compliance
Contact Details
Tags
business process compliance regulatory compliance computational law defeasible logic digital legislation smart contracts business process management deontic logic business process regtech regulatory technology formal model of norms computational contracts regulation as a platform blockchain deontic logic paradox possible world semantics regorous database linear temporal logic permission contrary-to-duty paradox defeas argumentation complexity normative requirements normative reasoning temporal logic social networks policy
See more

Presentations

(13)
See all

ICT Support for Business Process Compliance

10 years ago • 1283 Views

Modelling and Reasoning Languages for Social Networks Policies

10 years ago • 330 Views

Thou Shalt is not You Will

10 years ago • 342 Views

Strategic Argumentation is NP-complete

9 years ago • 372 Views

Practical Non-Monotonic Reasoning

8 years ago • 2561 Views

Thou Shalt is not You Will

8 years ago • 191 Views

The Regorous Approach to Business Process Compliance

8 years ago • 310 Views

No Time for Compliance

8 years ago • 337 Views

The Journey to Business Process Compliance. Are We There Yet?

8 years ago • 614 Views

Sequence Semantics for Norms and Obligations

7 years ago • 215 Views

Computational Law at Data61

6 years ago • 291 Views

Data61's Regulation as a Platform (RaaP)

6 years ago • 604 Views

Australia's RegTech Opportunities (in a digital-first world)

5 years ago • 296 Views

Likes

(2)

ICT Support for Business Process Compliance

Guido Governatori • 10 years ago

Modelling and Reasoning Languages for Social Networks Policies

Guido Governatori • 10 years ago
Personal Information
Organization / Workplace
Brisbane, Australia Australia
Occupation
Senior Principal Researcher at NICTA
Industry
Education
Website
www.governatori.net
About
My research interests are in logic and reasoning and how to use them for applications in the domains of normative reasoning, business processes and multi-agent systems. My aim is to provide conceptually sound model for formalisation in the above domains. Specialties: artificial intelligence, knowledge representation, normative reasoning, business process compliance
Tags
business process compliance regulatory compliance computational law defeasible logic digital legislation smart contracts business process management deontic logic business process regtech regulatory technology formal model of norms computational contracts regulation as a platform blockchain deontic logic paradox possible world semantics regorous database linear temporal logic permission contrary-to-duty paradox defeas argumentation complexity normative requirements normative reasoning temporal logic social networks policy
See more