scientific article; zbMATH DE number 1884404

MaRDI QIDQ4798024zbMATH OpenFDO

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)

• Logic programming with infinite sets
• Graphs and colorings for answer set programming
• Semantics and complexity of recursive aggregates in answer set programming
• NoMoRe
• 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 and Nonmonotonic Reasoning
• Enhancing disjunctive logic programming systems by SAT checkers
• scientific article; zbMATH DE number 1931689 (Why is no real title available?)

Describes a project that uses

Uses Software

• daVinci
• SWI-Prolog
• Lparse
• 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 Q4798024)