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.
2012
2012
Synthesizing Concurrent Programs using Answer Set Programming
We address the problem of the automatic synthesis of concurrent programs within a framework based on Answer Set Programming ASP… 
2010
2010
Communicating Answer Set Programs
Answer set programming is a form of declarative programming that has proven very successful in succinctly formulating and solving… 
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
Circumscriptive Event Calculus as Answer Set Programming
Recently, Ferraris, Lee and Lifschitz presented a general definition of a stable model that is similar to the definition of… 
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… 
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)