NMELP 1994 | Sciweavers

30

NMELP
1994

230views Automated Reasoning» more NMELP 1994»

Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs

13 years 11 months ago

In Prz91], Przymusinski introduced the partial (or 3-valued) stable model semantics which extends the (2-valued) stable model semantics dened originally by Gelfond and Lifschitz G...

Carolina Ruiz, Jack Minker

claim paper

Read More »

21

click to vote

NMELP
1994

218views Automated Reasoning» more NMELP 1994»

From Disjunctive Programs to Abduction

13 years 11 months ago

Download www.d.umn.edu

Vladimir Lifschitz, Hudson Turner

claim paper

Read More »

25

click to vote

NMELP
1994

200views Automated Reasoning» more NMELP 1994»

Static Semantics as Program Transformation and Well-founded Computation

13 years 11 months ago

Download costantini.di.univaq.it

In this paper, we propose a new constructive characterization of those semantics for disjunctive logic programs which are extensions of the well-founded semantics for normal progra...

Stefania Costantini, Gaetano Aurelio Lanzarone

claim paper

Read More »

41

click to vote

NMELP
1994

244views Automated Reasoning» more NMELP 1994»

An Argumentation Theoretic Semantics Based on Non-Refutable Falsity

13 years 11 months ago