From KLM-style conditionals to defeasible modalities, and back.

Katarina Britz Ivan José Varzinczak

Published in: J. Appl. Non Class. Logics (2018)

Keyphrases

inheritance reasoning
propositional logic
belief revision
nonmonotonic reasoning
nonmonotonic inference

default logic
default rules
default reasoning
logic programming
defeasible logic

theoretically sound
neural network
conflicting information
modal logic
evolutionary algorithm

multi agent systems
update semantics
video sequences
real world