scientific article; zbMATH DE number 4090844

MaRDI QIDQ3817650zbMATH OpenFDO

Authors V. S. Subrahmanian

Publication date 1988

zbMATH Keywords

completenessHerbrand universelogic programmingPrologquantitative Horn clausesSemantics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Quantitative Logic Programming Revisited
• Quantified logic programs, revisited
• Qualified logic programming with bivalued predicates
• Quantitative deduction and its fixpoint theory
• Quantitative disjunctive logic programming: Semantics and computation

Cited in

(9)

• Paraconsistent logic programming
• Quantitative disjunctive logic programming: Semantics and computation
• Qualified logic programming with bivalued predicates
• Monotonic qualitative logic programs: computation and applications
• Quantified logic programs, revisited
• A metalogic programming approach: language, semantics and applications
• scientific article; zbMATH DE number 2043558 (Why is no real title available?)
• The query topology in logic programming
• Quantitative Logic Programming Revisited

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 Q3817650)