عنوان

Non-monotonic extensions of logic programming :

شابک

0387594671 (New York : alk paper)

شابک

3540594671 (Berlin : alk. paper)

شابک

9780387594675 (New York : alk paper)

شابک

9783540594673 (Berlin : alk. paper)

شماره

b433699

عنوان اصلي

Non-monotonic extensions of logic programming :

نام عام مواد

[Book]

ساير اطلاعات عنواني

ICLP '94 workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers /

نام نخستين پديدآور

Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski, eds.

محل نشرو پخش و غیره

New York :

نام ناشر، پخش کننده و غيره

Springer,

تاریخ نشرو بخش و غیره

c1995.

نام خاص و کميت اثر

vi, 229 p. :

ساير جزييات

ill. ;

ابعاد

24 cm.

عنوان فروست

Lecture notes in artificial intelligence

مشخصه جلد

927.

متن يادداشت

Includes bibliographical references.

متن يادداشت

An argumentation theoretic semantics based on non-refutable falsity / J.J. Alferes and L.M. Pereira -- From disjunctive programs to abduction / V. Lifschitz and H. Turner -- Semantics of normal and disjunctive logic programs : a unifying framework / T.C. Przymusinski -- Every normal program has a nearly-stable model / C. Witteveen -- Logic programming with assumption denial / J.-H. You and L.Y. Yuan -- A resolution-based procedure for default theories with extensions / M.D. Barback and J. Lobo -- A general appraoch to bottom-up computation of disjunctive semantics / S. Brass and J. Dix -- Static semantics as program transformation and well-founded computation / S. Costantini and G.A. Lanzarone -- Magic computation for well-founded semantics / L. Degerstedt and U. Nilsson -- Computing stable and partial stable models of extended disjunctive logic programs / C. Ruiz and J. Minker.

بدون عنوان

0

موضوع مستند نشده

Logic programming.

موضوع مستند نشده

Nonmonotonic reasoning.

شماره

ويراست

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

Dix, J., (Jürgen),1961-

مستند نام اشخاص تاييد نشده

Pereira, Luís Moniz.

مستند نام اشخاص تاييد نشده

Przymusinski, Teodor C.,1947-

مستند نام تنالگان تاييد نشده

International Conference on Logic Programming(11th :1994 :, Santa Margherita Ligure, Italy)

تاريخ عمليات

20120214025801.0

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y