Answer set programming
Programming paradigm focused on difficult search problems
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.
Nº Q2852531 ★
Common · Knowledge
Answer set programming
Programming paradigm focused on difficult search problems
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.
From Wikipedia
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 and the use of Prolog-style query evaluation for solving problems arising in these applications.
Text: Wikipédia, CC BY-SA 4.0. ·
Related cards
-
Genetic programming
Technique whereby computer programs are encoded as a set of genes
Nº Q629498 ★
Not listed
-
P
Powerset construction
Method for converting a nondeterministic finite automaton into a deterministic one
Nº Q2106494 ★
Not listed
-
I
IBM RPG
Programming language from IBM
Nº Q840543 ★★
Not listed
-
S
SLD resolution
The basic inference rule used in logic programming
Nº Q3459697 ★
Not listed
-
Computer programming
The process of designing and building an executable computer program to accomplish a specific computing result or to perform a specific task
Nº Q80006 ★★★★
Not listed
-
Combinational logic
Type of digital logic which is implemented by boolean circuits
Nº Q76505 ★★
Not listed
-
S
Subset sum problem
Decision problem in computer science
Nº Q1154420 ★★
Not listed
-
A
Assembler (computing)
Program that turns assembly language into machine code
Nº Q6470767 ★★★
Not listed
-
A
Active Server Pages
Server-side script engine
Nº Q344266 ★★★
Not listed
-
Type theory
Study of type systems in mathematical logic and computer science
Nº Q1056428 ★★
Not listed
-
D
Declarative programming
Programming paradigm that expresses the logic of a computation without describing its control flow
Nº Q531152 ★★
Not listed
-
C
Case-based reasoning
Approach to solve new case on solution of similar previous case
Nº Q1151406 ★
Not listed
-
L
Logical consequence
Fundamental concept in logic
Nº Q374182 ★★
Not listed
-
A
Advanced Aerospace Threat Identification Program
United States Government program to investigate UFOs
Nº Q46747169 ★★
Not listed
-
A
Automata-based programming
Programming paradigm centred around finite state machines
Nº Q4056322 ★
Not listed
-
D
Dangling else
Problem in computer programming
Nº Q1159631 ★
Not listed
-
A
Apache Arrow
Columnar data analytics framework
Nº Q28915121 ★
Not listed
-
ASN.1
Interface description language for defining data structures that can be serialized and deserialized in a standard, cross-platform way
Nº Q333301 ★★
Not listed