عنوان
پدید آورنده
موضوع
رده
QA76.63 .N68 1995
QA76
.
63
.
N68
1995
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0387594671 (New York : alk paper)
(Number (ISBN
3540594671 (Berlin : alk. paper)
(Number (ISBN
9780387594675 (New York : alk paper)
(Number (ISBN
9783540594673 (Berlin : alk. paper)
NATIONAL BIBLIOGRAPHY NUMBER
Number
b433699
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Non-monotonic extensions of logic programming :
General Material Designation
[Book]
Other Title Information
ICLP '94 workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers /
First Statement of Responsibility
Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski, eds.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
c1995.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
vi, 229 p. :
Other Physical Details
ill. ;
Dimensions
24 cm.
SERIES
Series Title
Lecture notes in artificial intelligence
Volume Designation
927.
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references.
CONTENTS NOTE
Text of Note
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
TOPICAL NAME USED AS SUBJECT
Logic programming.
Nonmonotonic reasoning.
DEWEY DECIMAL CLASSIFICATION
Number
005
.
13/1
Edition
20
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
63
Book number
.
N68
1995
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Dix, J., (Jürgen),1961-
Pereira, Luís Moniz.
Przymusinski, Teodor C.,1947-
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International Conference on Logic Programming(11th :1994 :, Santa Margherita Ligure, Italy)
ORIGINATING SOURCE
Date of Transaction
20120214025801.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
