Personal Information
Unternehmen/Arbeitsplatz
Brisbane, Australia Australia
Beruf
Senior Principal Researcher at NICTA
Branche
Education
Webseite
www.governatori.net
Info
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
Mehr anzeigen
Präsentationen
(13)Gefällt mir
(2)ICT Support for Business Process Compliance
Guido Governatori
•
Vor 10 Jahren
Modelling and Reasoning Languages for Social Networks Policies
Guido Governatori
•
Vor 10 Jahren
Personal Information
Unternehmen/Arbeitsplatz
Brisbane, Australia Australia
Beruf
Senior Principal Researcher at NICTA
Branche
Education
Webseite
www.governatori.net
Info
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
Mehr anzeigen