Well-founded semantics

Known as: WFS

In logic programming, the well-founded semantics is one definition of how we can make conclusions from a set of logical rules. In logic programming…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2013

Foundational Ontologies help maintaining and expanding ontologies expressivity power, thus enabling them to be more precise and…

2010

We show how to automatically verify pipelined machines with out-of-order execution using refinement. Our notion of refinement is…

2007

In [10], hybrid MKNF knowledge bases have been proposed for combining open and closed world reasoning within the logics of…

2007

The main purpose of the STEP standard is to make possible the integration of product knowledge within the whole enterprise. Under…

2006

The most recent version of defeasible logic (Nute 1997) is related to the well-founded semantics by translating defeasible…

2006

In this paper we present a new approach for applying well-founded semantics to extended logic programs. The main idea is not to…

2006

While the stable model semantics, in the form of Answer Set Programming, has become a successful semantics for disjunctive logic…

2000

Global SLS-resolution and SLG-resolution are two representative mechanisms for top-down evaluation of the well-founded semantics…

1995

. We propose a new realization of goal-directed query evaluation of (non-(cid:13)oundering) normal logic programs for the well…

1992

The appropriateness of Autoepistemic Logic for the construction of knowledge representation systems is regarded as questionable…