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

Martin Slota, Martin Balaz, João Alexandre Carvalho Pinheiro Leite

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Fingerprint

Dive into the research topics of 'On Supporting Strong and Default Negation in Answer-Set Program Updates'. Together they form a unique fingerprint.
Sort by

Keyphrases

Computer Science