Logic of Knowledge and Belief in the Design of an Integrity Kernel for an Office Information System (Abstract).
James F. PetersSheela RamannaElizabeth A. UngerPublished in: ACM Conference on Computer Science (1990)
Keyphrases
- information systems
- expert systems
- knowledge management
- design process
- knowledge based systems
- domain knowledge
- case study
- modal operators
- knowledge representation
- knowledge discovery
- engineering design
- conceptual model
- epistemic states
- machine learning
- design theory
- knowledge level
- design principles
- domain experts
- knowledge acquisition
- object oriented
- data model
- information technology