scientific article; zbMATH DE number 1884404

MaRDI QIDQ4798024zbMATHFDO

Authors Christian Anger, Kathrin Konczak, T. Linke

Publication date 18 March 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2173/21730406.htm

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Graph theory (including graph drawing) in computer science (68R10) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1765678
• scientific article; zbMATH DE number 1931689
• Knowledge Representation, Reasoning and Declarative Problem Solving
• scientific article; zbMATH DE number 1931682
• Logic Programming and Nonmonotonic Reasoning

Cited in

(10)

• Enhancing DLV instantiator by backjumping techniques
• The intelligent grounder of DLV
• scientific article; zbMATH DE number 1765678 (Why is no real title available?)
• Logic programming with infinite sets
• Enhancing disjunctive logic programming systems by SAT checkers
• NoMoRe
• scientific article; zbMATH DE number 1931689 (Why is no real title available?)
• Semantics and complexity of recursive aggregates in answer set programming
• Graphs and colorings for answer set programming
• Logic Programming and Nonmonotonic Reasoning

Describes a project that uses

Uses Software

• Smodels
• Lparse
• SWI-Prolog
• daVinci

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