An update logic for information systems.
Md. Aquil KhanMohua BanerjeeRoland RiekePublished in: Int. J. Approx. Reason. (2014)
Keyphrases
- information systems
- information technology
- health care
- classical logic
- modal logic
- logic programming
- nonmonotonic logics
- predicate logic
- multi valued
- information security
- data sets
- databases
- linear logic
- proof theory
- belief update
- business management
- digital circuits
- delay insensitive
- computational properties
- probabilistic logic
- public health
- description logics
- software engineering
- computer science
- case study