Keyphrases
- information systems
- information technology
- logic programming
- classical logic
- distributed information systems
- modal logic
- defeasible logic
- legacy systems
- predicate logic
- sound and complete axiomatization
- data sets
- business management
- epistemic logic
- truth values
- nonmonotonic logics
- set theory
- conceptual models
- multi valued
- knowledge management
- decision making
- neural network