scientific article; zbMATH DE number 5914361

MaRDI QIDQ3011302zbMATH OpenFDO

Authors Martin Gebser, Orkunt Sabuncu, Torsten Schaub

Publication date 28 June 2011

Full work available at URL http://iospress.metapress.com/content/n760773121567018/fulltext.html

zbMATH Keywords

finite model computationincremental answer set programming

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Recommendations

• An Incremental Answer Set Programming Based System for Finite ModelComputation
• scientific article; zbMATH DE number 5485263
• A model building framework for answer set programming with external computations
• Incremental answer set programming with overgrounding
• Towards dynamic answer set programming over finite traces
• Model-Based Knowledge Representation and Reasoning Via Answer Set Programming
• An Introduction to Answer Set Programming and Some of Its Extensions
• Extensions of answer set programming

Cited in

(10)

• scientific article; zbMATH DE number 5485263 (Why is no real title available?)
• A multi-shot ASP encoding for the aircraft routing and maintenance planning problem
• plasp 3: towards effective ASP planning
• An Incremental Answer Set Programming Based System for Finite ModelComputation
• Stable Models for Temporal Theories
• Modular action language \(\mathcal{ALM}\)
• Temporal equilibrium logic with past operators
• ASP solving for expanding universes
• Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More
• Gearing up for effective ASP planning

Describes a project that uses

Uses Software

• MiniSat
• Darwin
• Lparse
• E-Darvin

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