scientific article; zbMATH DE number 4200183

MaRDI QIDQ3348900zbMATH OpenFDO

Authors Hugo Volger

Publication date 1990

zbMATH Keywords

declarative semanticsdisjunctive deductive databasedisjunctive logic programsextended Herbrand structuresgeneralized logic programsh-core modelsinitial modelsminimal Herbrand modelsyntactic characterizationuniversal Horn theories

Mathematics Subject Classification ID

Models of other mathematical theories (03C65) Logic programming (68N17) Database theory (68P15)

Recommendations

• scientific article; zbMATH DE number 25192
• Static semantics for normal and disjunctive logic programs
• On the partial semantics for disjunctive deductive databases
• scientific article; zbMATH DE number 4112085
• scientific article; zbMATH DE number 1453064

Cited in

(14)

• Relating minimal models and pre-requisite-free normal defaults
• Interpreting disjunctive logic programs based on a strong sense of disjunction
• Model reconciliation in logic programs
• DiMo -- discrete modelling using propositional logic
• Bottom-up computation of perfect models for disjunctive theories
• scientific article; zbMATH DE number 5079838 (Why is no real title available?)
• Disjunction in modal description logics
• scientific article; zbMATH DE number 4112085 (Why is no real title available?)
• Expressiveness of stable model semantics for disjunctive logic programs with functions
• scientific article; zbMATH DE number 1114054 (Why is no real title available?)
• Minimal model generation for refined answering of generalized queries in disjunctive deductive databases
• Generic models of logic programs
• Disjunctive logic programs with existential quantification in rule heads
• Filter models for conjunctive-disjunctive \(\lambda\)-calculi

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3348900)