Programming Normative Artifacts with Declarative Obligations and Prohibitions.
Nick A. M. TinnemeierMehdi DastaniJohn-Jules Ch. MeyerLeendert W. N. van der TorrePublished in: IAT (2009)
Keyphrases
- normative systems
- programming language
- high quality
- multi agent systems
- object oriented design
- object oriented programming
- declarative programming
- databases
- operational semantics
- knowledge representation
- programming environment
- multi agent
- deontic logic
- high level
- programming environments
- agent architecture
- development environment
- programming course
- logical framework
- declarative language
- knowledge base
- machine learning