scientific article; zbMATH DE number 5485263

zbMATH Open1175.68100MaRDI QIDQ3549508FDOQ3549508

Authors: Mona Gharib 

Publication date: 30 December 2008

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

Recommendations

• Incremental answer set programming with overgrounding
• scientific article
• An Incremental Answer Set Programming Based System for Finite ModelComputation
• Extensions of answer set programming
• Extensions of answer set programming
• Answer set programming
• Answer set programming
• Answer set programming based on propositional satisfiability

zbMATH Keywords

query oriented computations

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic programming (68N17)

Cited In (8)

• An Incremental Answer Set Programming Based System for Finite ModelComputation
• Anytime computation of cautious consequences in answer set programming
• Title not available (Why is that?)
• Engineering an Incremental ASP Solver
• Incremental answer set programming with overgrounding
• ASP solving for expanding universes
• Reactive Answer Set Programming
• Monotonic Answer Set Programming

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