This volume is based on papers presented during the ICLP '94 Workshop on Nonmonotonic Extensions of Logic Programming and on papers solicited afterwards from key researchers participating in the workshop. In total 10 carefully refereed, revised, full research papers on semantics and computational aspects of logic programs are included.
Logic programs rely on a nonmonotonic operator often referred to as negation by failure or negation by default. The nonmonoticity of this operator allows to apply results from the area of nonmonotonic theories to the investigation of logic programs (and vice versa). This volume is devoted to the interdependence of nonmonotonic formalisms and logic programming.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
An argumentation theoretic semantics based on non-refutable falsity.- From disjunctive programs to abduction.- Samantics of normal and disjunctive logic programs a unifying framework.- Every normal program has a nearly-stable model.- Logic programming with assumption denial.- A resolution-based procedure for default theories with extensions.- A general approach to bottom-up computation of disjunctive semantics.- Static semantics as program transformation and well-founded computation.- Magic computation for well-founded semantics.- Computing stable and partial stable models of extended disjunctive logic programs.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Da: PsychoBabel & Skoob Books, Didcot, Regno Unito
Paperback. Condizione: Very Good. Condizione sovraccoperta: No Dust Jacket. Leture Notes in Artificial Intelligence 927, Previous owner's sticker on front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Used. Codice articolo 044005a
Quantità: 1 disponibili
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Paperback. Condizione: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments. Codice articolo UTD14a18772
Quantità: 1 disponibili
Da: Toscana Books, AUSTIN, TX, U.S.A.
Paperback. Condizione: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Codice articolo Scanned3540594671
Quantità: 1 disponibili
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABNR-89172
Quantità: 1 disponibili
Da: Basi6 International, Irving, TX, U.S.A.
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEOCT25-241644
Quantità: 1 disponibili
Da: Books Puddle, New York, NY, U.S.A.
Condizione: Used. pp. 248. Codice articolo 261769408
Quantità: 1 disponibili
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Condizione: New. Codice articolo ABLIING23Mar3113020171789
Quantità: Più di 20 disponibili
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: New. Codice articolo 5905764-n
Quantità: 15 disponibili
Da: Best Price, Torrance, CA, U.S.A.
Condizione: New. SUPER FAST SHIPPING. Codice articolo 9783540594673
Quantità: 4 disponibili
Da: Majestic Books, Hounslow, Regno Unito
Condizione: Used. pp. 248 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Codice articolo 7159839
Quantità: 1 disponibili