Propositional Information Systems.
Jürg KohlasRolf HaenniSerafín MoralPublished in: J. Log. Comput. (1999)
Keyphrases
- information systems
- propositional logic
- information technology
- health care
- first order logic
- distributed information systems
- design science
- databases
- digital libraries
- default logic
- multi valued
- database
- project management
- sound and complete axiomatization
- satisfiability testing
- social aspects
- probabilistic logic
- information security
- expert systems
- computer science
- bayesian networks