scientific article; zbMATH DE number 1884404

zbMATH Open1007.68718MaRDI QIDQ4798024FDOQ4798024

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

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

Mathematics Subject Classification ID

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

Cited In (8)

• Logic programming with infinite sets
• The Intelligent Grounder of DLV
• Semantics and complexity of recursive aggregates in answer set programming
• Enhancing DLV instantiator by backjumping techniques
• NoMoRe
• Title not available (Why is that?)
• Enhancing disjunctive logic programming systems by SAT checkers
• Title not available (Why is that?)

Uses Software

• Smodels
• Lparse
• SWI-Prolog
• daVinci

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Knowledge Representation, Reasoning and Declarative Problem Solving 👍 👎
• Title not available (Why is that?) 👍 👎
• Logic Programming and Nonmonotonic Reasoning 👍 👎

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)