well-founded semantics was defined by Van Gelder, et al. in 1988. The Prolog system XSB implements the well-founded semantics since 1997. The well-founded semantics...

working with a partial order ≤, it is common to apply the definition of well foundedness (perhaps implicitly) to the alternate relation < defined such that...

completion and the well-founded semantics. The stable model semantics is the basis of answer set programming. Research on the declarative semantics of negation...

including Datalog and Prolog. This article describes the syntax and semantics of the purely declarative subset of these languages. Confusingly, the...

The well-founded semantics generalises the notion of inductive definition in mathematical logic. XSB Prolog implements the well-founded semantics using...

algebraic structures for modeling data and defining queries on it with well founded semantics. The theory was introduced by Edgar F. Codd. The main application...

This resulted in a complete implementation of the well-founded semantics, a three-valued semantics that represents values for true, false and unknown...

protocol for serving georeferenced map data over the Internet Well-founded semantics Wells Fargo Securities William French Smith Wilmington Friends School...

well-foundedness. In non-well-founded set theories, the foundation axiom of ZFC is replaced by axioms implying its negation. The study of non-well-founded...

Lexical semantics (also known as lexicosemantics), as a subfield of linguistic semantics, is the study of word meanings. It includes the study of how words...

Cognitive semantics is part of the cognitive linguistics movement. Semantics is the study of linguistic meaning. Cognitive semantics holds that language...

default logic. It is based on declarative logic programming with the well-founded semantics. RIF-SILK also includes a number of other features present in more...

sugar); they have no impact on the semantics of the program. There are three widely-used approaches to the semantics of Datalog programs: model-theoretic...

Semantics is the study of linguistic meaning. It examines what meaning is, how words get their meaning, and how the meaning of a complex expression depends...

In logic, the semantics of logic or formal semantics is the study of the meaning and interpretation of formal languages, formal systems, and (idealizations...

Kripke semantics (also known as relational semantics or frame semantics, and often confused with possible world semantics) is a formal semantics for non-classical...

programming language theory, semantics is the rigorous mathematical study of the meaning of programming languages. Semantics assigns computational meaning...

languages, and offers a declarative, compact and simple syntax, and the well-defined semantics of a logic programming language. Features include, among others...

include alternative topological semantics such as neighborhood semantics as well as applications of the relational semantics beyond its original philosophical...

non-well-founded set theory. One could think of the relation of situation theory to situation semantics as like that of type theory to Montague semantics...

programs. Any of the different semantics of logic programming such as the completion, stable or well-founded semantics can (and have been used in practice)...

operationalization of generative grammar), morphology (e.g., two-level morphology), semantics (e.g., Lesk algorithm), reference (e.g., within Centering Theory) and...

types of deductive systems are proof systems and formal semantics. Formal proofs are sequences of well-formed formulas (or WFF for short) that might either...

Aczel's non-well-founded set theory was proposed by Barwise before this approach to the subject petered out in the early 1990s. Situation semantics is the...

In semantics, mathematical logic and related disciplines, the principle of compositionality is the principle that the meaning of a complex expression...

higher-order logic programming). Tabling enables XSB to implement the well-founded semantics and makes it suitable as a deductive database engine. The open source...

In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach of formalizing the meanings...

Programming languages are described in terms of their syntax (form) and semantics (meaning), usually defined by a formal language. Languages usually provide...

Formal semantics is the scientific study of linguistic meaning through formal tools from logic and mathematics. It is an interdisciplinary field, sometimes...

two different semantics that are commonly used for second-order logic: standard semantics and Henkin semantics. In each of these semantics, the interpretations...