Login / Signup
Dynamic Preference Logic meets Iterated Belief Change: Representation Results and Postulates Characterization.
Marlo Souza
Álvaro F. Moreira
Renata Vieira
Published in:
CoRR (2021)
Keyphrases
</>
horn logic
multi valued
user preferences
image representation
automated reasoning
multi attribute
relation algebra
logical representation
knowledge representation
multi agent systems
user profiles
logic programming
predicate calculus
formal theory
belief update
individual preferences
knowledge base