Answer set programming (ASP) is a form of declarative programming oriented towards difficult (primarily NP-hard) search problems. It is based on the stable...
26 KB (2,839 words) - 21:26, 8 May 2024
XQuery), regular expressions, logic programming (e.g. Prolog, Datalog, answer set programming), functional programming, configuration management, and algebraic...
23 KB (2,373 words) - 23:38, 8 June 2025
Logic programming is a programming, database and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical...
85 KB (10,767 words) - 04:50, 12 May 2025
Stable model semantics (redirect from Answer set)
logic programming, along with program completion and the well-founded semantics. The stable model semantics is the basis of answer set programming. Research...
31 KB (4,921 words) - 07:38, 22 July 2024
logic programming is a programming paradigm that combines logic programming with probabilities. Most approaches to probabilistic logic programming are based...
11 KB (1,199 words) - 04:32, 9 June 2025
Datalog (redirect from Magic Sets algorithm)
answer set programming, DatalogZ, and constraint logic programming. When evaluated as an answer set program, a Datalog program yields a single answer...
59 KB (4,898 words) - 13:02, 17 June 2025
Frame problem (category Logic programming)
The counterpart of the default logic solution in the language of answer set programming is a rule with strong negation: r ( X , T + 1 ) ← r ( X , T ) ,...
31 KB (4,820 words) - 12:20, 7 November 2024
Inductive logic programming (ILP) is a subfield of symbolic artificial intelligence which uses logic programming as a uniform representation for examples...
38 KB (4,248 words) - 13:17, 16 June 2025
Core Answer Set Programming Dialect (CASPD) is based on answer set programming, that is, declarative logic programming based on the answer set semantics...
9 KB (1,163 words) - 13:14, 4 December 2023
solve problems in the domain. Major logic programming language families include Prolog, Answer Set Programming (ASP) and Datalog. One of the first applications...
17 KB (1,837 words) - 22:22, 16 June 2025
Constraint satisfaction problem (category Constraint programming)
satisfiability modulo theories (SMT), mixed integer programming (MIP) and answer set programming (ASP) are all fields of research focusing on the resolution...
29 KB (3,364 words) - 17:29, 24 May 2025
Satisfiability modulo theories (category Constraint programming)
answer-set programs do not have quantifiers, and cannot easily express constraints such as linear arithmetic or difference logic—answer set programming is best...
46 KB (4,371 words) - 23:30, 22 May 2025
Prolog (redirect from Prolog programming language)
Unlike many other programming languages, Prolog is intended primarily as a declarative programming language: the program is a set of facts and rules...
72 KB (8,098 words) - 08:09, 15 June 2025
developing practical strategies to generate provably optimal code using answer set programming. After a period as a postdoc on ALIVE, a European Commission FP7-funded...
18 KB (1,354 words) - 07:44, 19 June 2025
Vladimir Lifschitz (category Logic programming researchers)
Answer Set Programming, a new declarative programming paradigm. Michael Gelfond, Vladimir Lifschitz: The Stable Model Semantics for Logic Programming...
2 KB (191 words) - 17:53, 1 October 2023
"TOAST: Applying Answer Set Programming to Superoptimisation". In Etalle, Sandro; Truszczyński, Mirosław (eds.). Logic Programming. Springer-Verlag....
10 KB (891 words) - 15:27, 25 May 2025
Advanced Simple Profile, an MPEG-4 video codec profile Answer set programming, a declarative programming paradigm Application service provider, to customers...
3 KB (422 words) - 07:30, 14 May 2024
a game specifically for procedural generation of levels, using Answer Set Programming (ASP) and an Evolutionary Algorithm (EA). GVGP can then be used...
32 KB (3,018 words) - 22:04, 20 May 2025
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...
47 KB (1,651 words) - 22:34, 18 June 2025
Term algebra (redirect from Herbrand atom set)
because binary constructors are injective and thus pairing functions. Answer-set programming Clone (algebra) Domain of discourse / Universe (mathematics) Rabin's...
14 KB (2,175 words) - 22:14, 8 November 2024
The 1% Club (American game show) (category Amazon Prime Video original programming)
and ESPN". Programming Insider. Retrieved June 25, 2024. Pucci, Douglas (July 6, 2024). "Monday Ratings: USMNT Loss to Uruguay on FS1 Sets Record U.S...
70 KB (1,175 words) - 23:16, 18 June 2025
Probabilistic programming (PP) is a programming paradigm based on the declarative specification of probabilistic models, for which inference is performed...
20 KB (1,518 words) - 20:29, 23 May 2025
Rule-based system (redirect from Rule-based programming)
Datalog and the knowledge representation and problem-solving language Answer Set Programming (ASP). In all of these languages, rules are written in the form...
9 KB (1,202 words) - 16:19, 5 June 2025
computational model of logic programming. ALP can also be implemented by means of its link with Answer Set Programming (ASP), where the ASP systems can...
18 KB (2,524 words) - 22:59, 1 February 2024
Negation as failure (category Logic programming)
combined with classical negation, as in extended logic programming and answer set programming. Combining the two negations, it is possible to express...
9 KB (1,318 words) - 18:16, 26 April 2025
Default logic (category Logic programming)
at the Wayback Machine, and Catala. Answer set programming Defeasible logic Non-monotonic logic Logic programming G. Antoniou (1999). A tutorial on default...
21 KB (3,222 words) - 09:46, 27 May 2025
supports multiple programming paradigms, including structured (particularly procedural), object-oriented and functional programming. It is often described...
175 KB (14,436 words) - 11:41, 18 June 2025
languages. In object-oriented programming, programs are treated as a set of interacting objects. In functional programming, programs are treated as a sequence...
24 KB (2,666 words) - 18:21, 6 June 2025
logic programming paradigm Answer Set Programming (ASP) and its extension, Reactive ASP. In another example, bottom-up inductive logic programming approach...
10 KB (1,131 words) - 18:51, 10 June 2025
Phrases from The Hitchhiker's Guide to the Galaxy (redirect from Answer to Life, the Universe, and Everything)
million years to compute and check the answer, which turns out to be 42. Deep Thought points out that the answer seems meaningless because the beings who...
46 KB (5,091 words) - 12:31, 25 May 2025