Magic computation for well-founded semantics

Degerstedt, Lars; Nilsson, Ulf

doi:10.1007/bfb0030665

Search citation statements

Order By: Relevance

Paper Sections

Select...

Non-disjunctive Nmr-semantics1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

1995

1998

Publication Types

Select...

Book6

Relationship

Self Cite0

Independent6

Authors

Journals

Cited by 7 publications

(1 citation statement)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…There are many theoretical papers that deal with the problem of implementation ( [Bol and Degerstedt, 1993;Kemp et al, 1991;Degerstedt and Nilsson, 1995;Fernández et al, 1993]) but only few running systems. The problem of handling and representing ground programs given a non-ground one has also been adressed [Kagan et al, 1994;Kagan et al, 1995;Eiter et al, 1997a].…”

Section: Non-disjunctive Nmr-semanticsmentioning

confidence: 99%