On Strong and Default Negation in Logic Program Updates (Extended Version).

Martin Slota Martin Baláz João Leite

Published in: CoRR (2014)

Keyphrases

logic program updates
logic programs
logic programming
answer sets
fixpoint
artificial intelligence
high level
natural language
expert systems
knowledge representation
integrity constraints