Login / Signup
The Role of Deontic Logic in the Specification of Information Systems.
John-Jules Ch. Meyer
Roel J. Wieringa
Frank Dignum
Published in:
Logics for Databases and Information Systems (1998)
Keyphrases
</>
deontic logic
information systems
knowledge representation language
update semantics
legal reasoning
social aspects
information technology
knowledge management
health care
information security
specification language
databases
high level
inference rules