Ranges of Strong Modal Nonmonotonic Logics.
V. Wiktor MarekGrigori SchwarzMiroslaw TruszczynskiPublished in: Nonmonotonic and Inductive Logic (1990)
Keyphrases
- nonmonotonic logics
- modal logic
- propositional logic
- default logic
- nonmonotonic reasoning
- defeasible logic
- default theories
- formal specification
- computational intelligence
- classical logic
- machine learning
- inference rules
- data mining
- database
- fuzzy rules
- business process
- logic programming
- software development
- genetic algorithm