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)

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

2012

2012

- Jia-Huai You, John Morris, Yi Bi
- ICLP
- 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

- Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri
- J. Artif. Intell. Res.
- 2011

Logic programs with aggregates (LP) are one of the major linguistic extensions to Logic Programming (LP). In this work, weâ€¦Â (More)

Is this relevant?

2006

2006

- Vassilis Kountouriotis, Christos Nomikos, Panos Rondogiannis
- Developments in Language Theory
- 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

- Ilkka NiemelÃ¤, Patrik Simons
- JICSLP
- 1996

An implementation of the well-founded and stable model semantics for range-restricted function-free normal programs is presentedâ€¦Â (More)

Is this relevant?

1996

1996

- Ilkka Niemela, Patrik Simons
- 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

- Nicola Leone, Giuseppe Rossi
- New Generation Computing
- 1993

This paper present an extension of traditional logic programming, called ordered logic (OL) programming, to support classicalâ€¦Â (More)

Is this relevant?

1992

1992

- Chitta Baral, Jorge Lobo, Jack Minker
- Annals of Mathematics and Artificial Intelligence
- 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

- Allen Van Gelder, Kenneth A. Ross, John S. Schlipf
- J. ACM
- 1991

A general logic program (abbreviated to \program" hereafter) is a set of rules that have both positive and negative subgoals. Itâ€¦Â (More)

Is this relevant?