scientific article; zbMATH DE number 5914361

zbMATH Open1215.68209MaRDI QIDQ3011302FDOQ3011302

Martin Gebser, Torsten Schaub, Orkunt Sabuncu

Publication date: 28 June 2011

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

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

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)

Cited In (10)

• ASP Solving for Expanding Universes
• Stable Models for Temporal Theories
• An Incremental Answer Set Programming Based System for Finite ModelComputation
• Gearing Up for Effective ASP Planning
• Title not available (Why is that?)
• plasp 3: Towards Effective ASP Planning
• Temporal Equilibrium Logic with past operators
• Modular action language
• Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More
• A multi-shot ASP encoding for the aircraft routing and maintenance planning problem

Uses Software

• MiniSat
• Darwin
• Lparse
• E-Darvin

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• An Introduction to Answer Set Programming and Some of Its Extensions 👍 👎
• A model building framework for answer set programming with external computations 👍 👎
• Towards dynamic answer set programming over finite traces 👍 👎
• An Incremental Answer Set Programming Based System for Finite ModelComputation 👍 👎
• Incremental Answer Set Programming with Overgrounding 👍 👎
• Model-Based Knowledge Representation and Reasoning Via 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 Q3011302)