About: Narrowing of algebraic value sets

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Narrowing of algebraic value sets Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : el.dbpedia.org associated with source document(s)

Like logic programming, narrowing of algebraic value sets gives a method of reasoning about the values in unsolved or partially solved equations. Where logic programming relies on resolution, the algebra of value sets relies on narrowing rules. Narrowing rules allow the elimination of values from a solution set which are inconsistent with the equations being solved. Unlike logic programming, narrowing of algebraic value sets makes no use of backtracking. Instead all values are contained in value sets, and are considered in parallel.

Attributes	Values
rdfs:label	Narrowing of algebraic value sets (en)
rdfs:comment	Like logic programming, narrowing of algebraic value sets gives a method of reasoning about the values in unsolved or partially solved equations. Where logic programming relies on resolution, the algebra of value sets relies on narrowing rules. Narrowing rules allow the elimination of values from a solution set which are inconsistent with the equations being solved. Unlike logic programming, narrowing of algebraic value sets makes no use of backtracking. Instead all values are contained in value sets, and are considered in parallel. (en)
sameAs	Narrowing of algebraic value sets
dbp:wikiPageUsesTemplate	dbt:Reflist
Subject	Constraint programming Logic programming
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Narrowing_of_algebraic_value_sets?oldid=942855965&ns=0
Wikipage page ID	42480453 (xsd:integer)
page length (characters) of wiki page	38573 (xsd:nonNegativeInteger)
Wikipage revision ID	942855965 (xsd:integer)
Link from a Wikipage to another Wikipage	Logic programming Logical disjunction Probability Abstract syntax tree Algebra Backtracking Constraint programming Logic programming Hindley–Milner type system Metaprogramming Possible world Deductive lambda calculus Combinatorial explosion Constraint logic programming Constraint satisfaction ECLiPSe Higher-order function Function (mathematics) Functional programming Imperative programming Haskell (programming language) Lambda calculus Use–mention distinction Lazy evaluation Let expression Mathematics Polymorphism (computer science) Resolution (logic)
has abstract	Like logic programming, narrowing of algebraic value sets gives a method of reasoning about the values in unsolved or partially solved equations. Where logic programming relies on resolution, the algebra of value sets relies on narrowing rules. Narrowing rules allow the elimination of values from a solution set which are inconsistent with the equations being solved. Unlike logic programming, narrowing of algebraic value sets makes no use of backtracking. Instead all values are contained in value sets, and are considered in parallel. The approach is also similar to the use of constraints in constraint logic programming, but without the logic processing basis. is a natural extension of value sets to deductive probability. The value set construct holds the information required to calculate probabilities of calculated values based on probabilities of initial values. (en)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Narrowing_of_algebraic_value_sets
is Link from a Wikipage to another Wikipage of	Let expression
is foaf:primaryTopic of	http://en.wikipedia.org/wiki/Narrowing_of_algebraic_value_sets

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (72 GB total memory, 1 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software