A note on the limitations of utilizing logic for federated information systems.
Magnus BomanPaul JohanessonPublished in: CNKBS (1992)
Keyphrases
- data sources
- information systems
- databases
- modal logic
- information technology
- distributed information systems
- deontic logic
- data sets
- learning algorithm
- knowledge management
- logic programming
- health care
- automated reasoning
- classical logic
- truth values
- proof theory
- computer systems
- information security
- information retrieval
- logical framework
- design science