NMELP 1994 | Sciweavers

20

NMELP
1994

230views Automated Reasoning» more NMELP 1994»

Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs

13 years 8 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 »

13

click to vote

NMELP
1994

218views Automated Reasoning» more NMELP 1994»

From Disjunctive Programs to Abduction

13 years 8 months ago

Download www.d.umn.edu

Vladimir Lifschitz, Hudson Turner

claim paper

Read More »

16

click to vote

NMELP
1994

200views Automated Reasoning» more NMELP 1994»

Static Semantics as Program Transformation and Well-founded Computation

13 years 8 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 »

27

click to vote

NMELP
1994

244views Automated Reasoning» more NMELP 1994»

An Argumentation Theoretic Semantics Based on Non-Refutable Falsity

13 years 8 months ago