On Supporting Strong and Default Negation in Answer-Set Program Updates

Martin Slota, Ana Bazzan, Martin Balaz, Karim Pichara, João Leite,

Publisher	Springer
Series	Lecture Notes in Computer Science
Volume	8864
ISBN	978-3-319-12026-3
Publisher	Springer
Series	Lecture Notes in Computer Science
Volume	8864
ISBN	978-3-319-12026-3

Publication