|
" Non-monotonic extensions of logic programming : "
Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski, eds.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
604480
|
| Doc. No
|
:
|
b433699
|
| Main Entry
|
:
|
International Conference on Logic Programming(11th :1994 :, Santa Margherita Ligure, Italy)
|
| Title & Author
|
:
|
Non-monotonic extensions of logic programming : : ICLP '94 workshop, Santa Margherita Ligure, Italy, June 17, 1994 : selected papers /\ Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski, eds.
|
| Publication Statement
|
:
|
Berlin ;New York :: Springer,, c1995.
|
| Series Statement
|
:
|
Lecture notes in computer science ;; 927.Lecture notes in artificial intelligence
|
| Page. NO
|
:
|
vi, 229 p. :: ill. ;; 24 cm.
|
| ISBN
|
:
|
3540594671 (Berlin : alk. paper)
|
|
|
:
|
: 9783540594673 (Berlin : alk. paper)
|
|
|
:
|
: 0387594671 (New York : alk paper)
|
|
|
:
|
: 9780387594675 (New York : alk paper)
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references.
|
| Contents
|
:
|
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.
|
| Subject
|
:
|
Logic programming.
|
| Subject
|
:
|
Nonmonotonic reasoning.
|
| Dewey Classification
|
:
|
005.13/1
|
| LC Classification
|
:
|
QA76.63.N68 1995
|
| Added Entry
|
:
|
Dix, J., (Jürgen),1961-
|
|
|
:
|
Pereira, Luís Moniz.
|
|
|
:
|
Przymusinski, Teodor C.,1947-
|
| |