scientific article; zbMATH DE number 1738693

MaRDI QIDQ4530041zbMATH OpenFDO

Authors Mauricio Osorio, Juan Carlos Nieves

Publication date 7 May 2002

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2056/20560225

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 1301745
• Well-founded semantics and stratification for ordered logic programs
• Towards logic programs with ordered and unordered disjunction
• Extending and implementing the stable model semantics
• Efficient evaluation of a class of ordered logic programs

Cited in

(7)

• The expressive power of stratified logic programs with value invention
• Theory of partial-order programming
• scientific article; zbMATH DE number 1696722 (Why is no real title available?)
• scientific article; zbMATH DE number 4147555 (Why is no real title available?)
• scientific article; zbMATH DE number 1301745 (Why is no real title available?)
• Partial order programming (revisited)
• Partial deduction for structured logic programming

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