An ASP-based solver for parametrized-difference revision.

Theofanis I. Aravanis

Published in: J. Log. Comput. (2022)

Keyphrases

answer set programming
web applications
knowledge base
bayesian networks
learning environment
search algorithm
logic programming
belief revision
belief update
revision operators