scientific article; zbMATH DE number 1890623

MaRDI QIDQ4800166zbMATH OpenFDO

Authors James Delgrande, Torsten Schaub, Hans Tompits

Publication date 18 May 2003

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Logic programming (68N17) Theory of compilers and interpreters (68N20)

Recommendations

• Efficient evaluation of a class of ordered logic programs
• scientific article; zbMATH DE number 44623
• scientific article; zbMATH DE number 1696789
• Declarative compilation for constraint logic programming
• scientific article; zbMATH DE number 4164128
• scientific article; zbMATH DE number 549957
• Towards resource handling in logic programming: The PPL framework and fits semantics
• scientific article; zbMATH DE number 1761431
• Ordered completion for logic programs with aggregates

Cited in

(5)

• Translating LPOD and CR-\(\mathrm{Prolog}_2\) into standard answer set programs
• scientific article; zbMATH DE number 3881852 (Why is no real title available?)
• Computing preferred answer sets in answer set programming
• Foundations of Information and Knowledge Systems
• A framework for compiling preferences in logic programs

Describes a project that uses

Uses Software

• Smodels

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