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,376 words) - 10:54, 25 November 2024
Logic programming is a programming, database and knowledge representation paradigm based on formal logic. A logic program is a set of sentences in logical...
84 KB (10,738 words) - 08:48, 24 November 2024
Fabrizio (2023-05-22), "Probabilistic Answer Set Programming", Foundations of Probabilistic Logic Programming, New York: River Publishers, pp. 165–173...
11 KB (1,199 words) - 07:46, 28 June 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,245 words) - 02:28, 25 December 2024
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...
58 KB (4,866 words) - 15:36, 19 December 2024
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
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...
16 KB (1,286 words) - 18:10, 1 January 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
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
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
solve problems in the domain. Major logic programming language families include Prolog, Answer Set Programming (ASP) and Datalog. One of the first applications...
16 KB (1,721 words) - 08:19, 21 May 2024
"TOAST: Applying Answer Set Programming to Superoptimisation". In Etalle, Sandro; Truszczyński, Mirosław (eds.). Logic Programming. Springer-Verlag....
10 KB (891 words) - 12:30, 15 November 2024
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,196 words) - 02:36, 28 February 2024
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,351 words) - 08:19, 24 November 2024
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
Probabilistic programming (PP) is a programming paradigm based on the declarative specification of probabilistic models, for which inference is performed...
20 KB (1,517 words) - 09:56, 26 December 2024
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) - 16:13, 13 October 2024
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
Michael Gelfond (category Logic programming researchers)
which later became the theoretical foundation for Answer Set Programming, a new declarative programming paradigm. List of AAAI Fellows on the AAAI website...
2 KB (186 words) - 20:20, 20 August 2024
Logic programming is a programming paradigm that includes languages based on formal logic, including Datalog and Prolog. This article describes the syntax...
18 KB (2,189 words) - 10:07, 12 February 2024
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...
70 KB (8,077 words) - 06:39, 19 December 2024
automatically answer questions that are posed by humans in a natural language. A question-answering implementation, usually a computer program, may construct...
30 KB (3,450 words) - 10:07, 11 December 2024
logic programming paradigm Answer Set Programming (ASP) and its extension, Reactive ASP. In another example, bottom-up inductive logic programming approach...
7 KB (824 words) - 21:42, 26 January 2024
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,223 words) - 13:39, 28 February 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,028 words) - 01:43, 15 August 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...
57 KB (1,117 words) - 14:35, 17 December 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) - 09:49, 2 December 2024
for example in scripting languages and domain-specific programming languages. Within a programming language, some features let the programmer create new...
31 KB (3,907 words) - 21:26, 28 July 2024
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