Logical Information Systems: from Taxonomies to Logics.
Sébastien FerréOlivier RidouxPublished in: DEXA Workshops (2007)
Keyphrases
- information systems
- expressive power
- truth values
- information technology
- modal logic
- inference rules
- logical representation
- inconsistent knowledge
- nonmonotonic logics
- propositional calculus
- database
- legacy systems
- conditional logic
- conceptual models
- dynamic logic
- decision procedures
- logical framework
- project management
- web services
- neural network
- data sets