Computing Standard Inferences under Rational and Relevant Semantics in Defeasible EL_bot.

Maximilian Pensel Anni-Yasmin Turhan

Published in: Description Logics (2018)

Keyphrases

update semantics
decision making
logic programming
semantic information
closely related
defeasible reasoning
formal model
formal semantics
defeasible logic
deontic logic