Skip to main navigation Skip to search Skip to main content

Valid model semantics for logic programs

  • Catriel Beeri*
  • , Raghu Ramakrishnan
  • , Divesh Srivastava
  • , S. Sudarshan
  • *Corresponding author for this work

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

10 Scopus citations

Fingerprint

Dive into the research topics of 'Valid model semantics for logic programs'. Together they form a unique fingerprint.
Sort by

Computer Science

Keyphrases