Borhan: A Novel System for Prioritized Default Logic.
Alireza ShahbaziMohammad Hossein KhojastehBehrouz Minaei-BidgoliPublished in: CoRR (2023)
Keyphrases
- default logic
- default theories
- default reasoning
- nonmonotonic reasoning
- logic programming
- nonmonotonic logics
- autoepistemic logic
- default rules
- modal logic
- fixed point
- extended logic programs
- classical logic
- defeasible logic
- truth maintenance systems
- databases
- programming language
- relational databases
- machine learning