Stratified partial-order logic programming

DOI10.1007/3-540-45153-6_22MaRDI QIDQ4530041zbMATH OpenFDO

Authors Juan Carlos Nieves, Mauricio Osorio Galindo

Publication date 7 May 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

• Semantics of partial-order programs
• 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
• Combining description logics with stratified logic programs in knowledge representation
• scientific article; zbMATH DE number 4147555 (Why is no real title available?)
• Semantics of partial-order programs
• Partial order programming (revisited)
• Partial deduction for structured logic programming

This page was built for publication: Stratified partial-order logic programming

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