Iterated Logic Program Updates.

João Alexandre Leite Luís Moniz Pereira

Published in: IJCSLP (1998)

Keyphrases

logic program updates
logic programs
minimal change
answer sets
logic programming
belief revision
database
description logics
propositional logic