Personal Information
Entreprise/Lieu de travail
Brisbane, Australia Australia
Profession
Senior Principal Researcher at NICTA
Secteur d’activité
Education
Site Web
www.governatori.net
À propos
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
Mots-clés
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
Tout plus
- Présentations
- Documents
- Infographies