Skip to search formSkip to main contentSkip to account menu

Answer set programming

Known as: Answer set program, Answer-set programming, AnsProlog 
Answer set programming (ASP) is a form of declarative programming oriented towards difficult (primarily NP-hard) search problems. It is based on the… 
Wikipedia (opens in a new tab)

Related topics

Related topics

33 relations
Abductive logic programmingAction languageAutomated planning and schedulingClique (graph theory)

Broader (1)

Logic programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Symbolic System Synthesis Using Answer Set Programming
Recently, Boolean Satisfiability SAT solving has been proposed to tackle the increasing complexity in high-level system design… 
2010
2010
Paracoherent Answer Set Programming
We study the problem of reasoning from incoherent answer set programs, i.e., from logic programs that do not have an answer set… 
2009
2009
Answer Set vs Integer Linear Programming for Automatic Synthesis of Multiprocessor Systems From Real-Time Parallel Programs
An automated design approach for multiprocessor systems on FPGAs is presented which customizes architectures for parallel… 
2004
2004
Enhancing answer set programming with templates
The work aims at extending Answer Set Programming (ASP) with the possibility of quickly introducing new predefined constructs and… 
2004
2004
Reasoning in description logics using declarative logic programming
In this paper our goal is to bridge two popular and wellstudied knowledge representation formalisms: description logics (DLs… 
2004
2004
Undergraduate Dissertation: Incremental Answer Set Programming
This document presents a series of algorithms for computing the answer sets of an AnsProlog programs. They focus on the efficient… 
2003
2003
Computing Preferred Answer Sets in Answer Set Programming
Prioritized logic programs (PLPs) have a mechanism of representing priority knowledge in logic programs. The declarative… 
2003
2003
Integrating Description Logics and Answer Set Programming
We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support… 
2001
2001
Answer Set Programming and Bounded Model Checking
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer… 
2001
2001
On the Foundations of Answer Set Programming
Schlipf (Schlipf 1995) proved that the Stable Logic Programming solves all NP decision problems. We extend Schlipf’s result to… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)