Personal Information
Organização/Local de trabalho
Brisbane, Australia Australia
Cargo
Senior Principal Researcher at NICTA
Setor
Education
Site
www.governatori.net
Sobre
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
Marcadores
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
Ver mais
Apresentações
(13)Gostaram
(2)ICT Support for Business Process Compliance
Guido Governatori
•
Há 10 anos
Modelling and Reasoning Languages for Social Networks Policies
Guido Governatori
•
Há 10 anos
Personal Information
Organização/Local de trabalho
Brisbane, Australia Australia
Cargo
Senior Principal Researcher at NICTA
Setor
Education
Site
www.governatori.net
Sobre
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
Marcadores
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
Ver mais