Abduction in well-founded semantics and generalized stable models via tabled dual programs

Research output: Contribution to journalArticle

46 Citations (Scopus)

Fingerprint Dive into the research topics of 'Abduction in well-founded semantics and generalized stable models via tabled dual programs'. Together they form a unique fingerprint.

Engineering & Materials Science