scientific article; zbMATH DE number 1890623

zbMATH Open1010.68772MaRDI QIDQ4800166FDOQ4800166

Authors: James Delgrande, Torsten Schaub, Hans Tompits 

Publication date: 18 May 2003

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (5)

• Translating LPOD and CR-\(\mathrm{Prolog}_2\) into standard answer set programs
• Title not available (Why is that?)
• Computing preferred answer sets in answer set programming
• Foundations of Information and Knowledge Systems
• A framework for compiling preferences in logic programs

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)