The inculturation of the Christian Gospel: Theory and theology with special reference to the Igbo of...

مرکز و کتابخانه مطالعات اسلامی به زبان های اروپایی

منو

" The inculturation of the Christian Gospel: Theory and theology with special reference to the Igbo of Southeastern Nigeria "
Richard A. Pruitt R. Baum

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 /\ Jü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., (Jürgen),1961-
	:	Pereira, Luís Moniz.
	:	Przymusinski, Teodor C.,1947-