Well-founded semantics

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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1991-2018
024619912018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Logic programs with aggregates and description logic programs (dl-programs) are two recent extensions to logic programming. In… (More)
Is this relevant?
2011
2011
Logic programs with aggregates (LP) are one of the major linguistic extensions to Logic Programming (LP). In this work, we… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2006
2006
Boolean grammars [A. Okhotin, Information and Computation 194 (2004) 19-48] are a promising extension of context-free grammars… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
The Smodels system is a C++ implementation of the well-founded and stable model semantics for range-restricted function-free… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
An implementation of the well-founded and stable model semantics for range-restricted function-free normal programs is presented… (More)
  • figure 3
Is this relevant?
1996
1996
An implementation of the well-founded and stable model semantics for range-restricted function-free normal programs is presented… (More)
Is this relevant?
1995
1995
Using a calculus of goals, we define the success and failure of a goal for propositional programs in the presence of loop… (More)
Is this relevant?
1993
1993
This paper present an extension of traditional logic programming, called ordered logic (OL) programming, to support classical… (More)
  • figure 4.1
  • figure 4.4
Is this relevant?
1992
1992
Generalized disjunctive well-founded semantics (GDWFS) is a refined form of the generalized well-founded semantics (GWFS) of… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
A general logic program (abbreviated to \program" hereafter) is a set of rules that have both positive and negative subgoals. It… (More)
  • figure 1
  • figure 2
Is this relevant?