Computing Defeasible Meta-logic.

Francesco Olivieri Guido Governatori Matteo Cristani Abdul Sattar

Published in: JELIA (2021)

Keyphrases

defeasible logic
deontic logic
classical logic
meta level
database
default logic
practical reasoning
conflicting information
real time
artificial intelligence
multi agent
natural language
theorem proving
logical framework
nonmonotonic logics
meta reasoning