Efficient evaluation of a class of ordered logic programs

DOI10.1016/S0169-023X(96)00050-XzbMATH Open0904.68036MaRDI QIDQ4398692FDOQ4398692

Authors: N. Leone, Clara Pizzutit, Pasquale Rullo 

Publication date: 22 July 1998

Published in: Data & Knowledge Engineering (Search for Journal in Brave)

Recommendations

• Well-founded semantics and stratification for ordered logic programs
• Well-founded ordered search: Goal-directed bottom-up evaluation of well-founded models
• A Fixpoint Semantics for Ordered Logic
• Ordered Logic Programming with Sets

zbMATH Keywords

fixpoint semanticswell-founded semanticsordered logic programmingquasi-stratified programs

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (11)

• Title not available (Why is that?)
• A partial evaluation framework for order-sorted equational programs modulo axioms
• Title not available (Why is that?)
• Fast Offline Partial Evaluation of Large Logic Programs
• Dynamic reordering of alternatives for definite logic programs
• Title not available (Why is that?)
• Well-founded semantics and stratification for ordered logic programs
• An efficient reasoning method on logic programming using partial evaluation in vector spaces
• Fast algorithms for deciding the equivalence of propositional operator programs on ordered semigroup scales
• Enhancing disjunctive logic programming systems by SAT checkers
• Comparison of Scoring and Order Approach in Description Logic $\mathcal{EL(D)}$

This page was built for publication: Efficient evaluation of a class of ordered logic programs

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