Default Logic Knowledge Management in a Multi-agent System.
Dominik RyzkoHenryk RybinskiPublished in: WI-IAT (3) (2014)
Keyphrases
- default logic
- knowledge management
- default theories
- nonmonotonic reasoning
- default reasoning
- autoepistemic logic
- nonmonotonic logics
- default rules
- logic programming
- case study
- modal logic
- fixed point
- information technology
- extended logic programs
- information systems
- classical logic
- software engineering
- sufficient conditions
- higher order
- defeasible logic
- training data