Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions

Fabrizio Riguzzi, Terrance Swift

Research output: Chapter in Book/Report/Conference proceedingConference contribution

24 Scopus citations

Fingerprint

Dive into the research topics of 'Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions'. Together they form a unique fingerprint.

Engineering & Materials Science