Programming paradigm focused on difficult search problems
Not to be confused with Active Server Pages.
Answer set programming (ASP) is a form of declarative programming oriented towards difficult (primarily NP-hard) search problems. It is based on the stable model (answer set) semantics of logic programming. In ASP, search problems are reduced to computing stable models, and answer set solvers—programs for generating stable models—are used to perform search. The computational process employed in the design of many answer set solvers is an enhancement of the DPLL algorithm and, in principle, it always terminates (unlike Prolog query evaluation, which may lead to an infinite loop).
In a more general sense, ASP includes all applications of answer sets to knowledge representation and reasoning[1][2] and the use of Prolog-style query evaluation for solving problems arising in these applications.
^Baral, Chitta (2003). Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press. ISBN 978-0-521-81802-5.
^Gelfond, Michael (2008). "Answer sets". In van Harmelen, Frank; Lifschitz, Vladimir; Porter, Bruce (eds.). Handbook of Knowledge Representation. Elsevier. pp. 285–316. ISBN 978-0-08-055702-1. as PDF Archived 2016-03-03 at the Wayback Machine
and 27 Related for: Answer set programming information
Answersetprogramming (ASP) is a form of declarative programming oriented towards difficult (primarily NP-hard) search problems. It is based on the stable...
logic programming is a programming paradigm that combines logic programming with probabilities. Most approaches to probabilistic logic programming are based...
Logic programming is a programming, database and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical...
logic programming, along with program completion and the well-founded semantics. The stable model semantics is the basis of answersetprogramming. Research...
Inductive logic programming (ILP) is a subfield of symbolic artificial intelligence which uses logic programming as a uniform representation for examples...
solve problems in the domain. Major logic programming language families include Prolog, AnswerSetProgramming (ASP) and Datalog. One of the first applications...
The counterpart of the default logic solution in the language of answersetprogramming is a rule with strong negation: r ( X , T + 1 ) ← r ( X , T ) ,...
satisfiability modulo theories (SMT), mixed integer programming (MIP) and answersetprogramming (ASP) are all fields of research focusing on the resolution...
Probabilistic programming (PP) is a programming paradigm in which probabilistic models are specified and inference for these models is performed automatically...
answer-set programs do not have quantifiers, and cannot easily express constraints such as linear arithmetic or difference logic—answersetprogramming is best...
logic programming paradigm AnswerSetProgramming (ASP) and its extension, Reactive ASP. In another example, bottom-up inductive logic programming approach...
Advanced Simple Profile, an MPEG-4 video codec profile Answersetprogramming, a declarative programming paradigm Application service provider, to customers...
which later became the theoretical foundation for AnswerSetProgramming, a new declarative programming paradigm. List of AAAI Fellows on the AAAI website...
unlike many other programming languages, Prolog is intended primarily as a declarative programming language: the program is a set of facts and rules...
because binary constructors are injective and thus pairing functions. Answer-setprogramming Clone (algebra) Domain of discourse / Universe (mathematics) Rabin's...
automatically answer questions that are posed by humans in a natural language. A question-answering implementation, usually a computer program, may construct...
communication of meaningful patterns in data. answersetprogramming (ASP) A form of declarative programming oriented towards difficult (primarily NP-hard)...
languages. In object-oriented programming, programs are treated as a set of interacting objects. In functional programming, programs are treated as a sequence...
computational model of logic programming. ALP can also be implemented by means of its link with AnswerSetProgramming (ASP), where the ASP systems can...
placed at the top of a set of parallel ramps leading down to the edge of a swimming pool. These balls correspond to possible answers to the questions that...