scientific article; zbMATH DE number 5914361
From MaRDI portal
Publication:3011302
zbMATH Open1215.68209MaRDI QIDQ3011302FDOQ3011302
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
Title of this publication is not available (Why is that?)
Recommendations
- An Incremental Answer Set Programming Based System for Finite ModelComputation
- scientific article
- 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
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)
Cited In (10)
- Stable Models for Temporal Theories
- An Incremental Answer Set Programming Based System for Finite ModelComputation
- Title not available (Why is that?)
- 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
- plasp 3: towards effective ASP planning
- ASP solving for expanding universes
- Temporal equilibrium logic with past operators
- Gearing up for effective ASP planning
- Modular action language \(\mathcal{ALM}\)
Uses Software
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)
