XSB: A system for efficiently computing well-founded semantics

Prasad Rao, Konstantinos Sagonas, Terrance Swift, David S. Warren, Juliana Freire

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

43 Scopus citations

Fingerprint

Dive into the research topics of 'XSB: A system for efficiently computing well-founded semantics'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science