Minimal founded semantics for disjunctive logic programs and deductive databases

DOI10.1017/S1471068403001704zbMath1085.68018OpenAlexW2135819447MaRDI QIDQ4819005

Sergio Greco, Gianluigi Greco, Filippo Furfaro

Publication date: 24 September 2004

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068403001704

zbMATH Keywords

semanticsminimal modelsdisjunctive deductive databasesdisjunctive logic programsstable models

Mathematics Subject Classification ID

Database theory (68P15) Logic programming (68N17)

This page was built for publication: Minimal founded semantics for disjunctive logic programs and deductive databases