Reasoning on with Defeasibility in ASP.
Loris BozzatoThomas EiterLuciano SerafiniPublished in: Theory Pract. Log. Program. (2022)
Keyphrases
- answer set programming
- deontic logic
- reasoning process
- knowledge base
- web applications
- reasoning tasks
- legal reasoning
- databases
- model based reasoning
- knowledge representation and reasoning
- reasoning systems
- default reasoning
- graphical representation
- uncertain information
- logic programs
- knowledge representation
- consistency checking
- formal models
- bayesian networks
- real time
- reasoning mechanisms