Articoli correlati a Extensions of Logic Programming: 5th International...
Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.: 1050 - Brossura
Sinossi
This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996.
The 18 full papers included were carefully selected by the program committee and are presented together with three invited papers. Among the topics addressed in this book are categorical logic programming, correctness of logic programs, functional-logic languages, implementation issues, linear logic programming, nonmonotonic reasoning, and proof search.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Semantics of constraint logic programs with bounded quantifiers.- Translating a modal language with embedded implication into Horn clause logic.- Pruning the search space of logic programs.- A significant extension of logic programming by adapting model building rules.- Efficient resource management for linear logic proof search.- A logic language based on GAMMA-like multiset rewriting.- Default negated conclusions: Why not?.- Handling equality in logic programming via basic folding.- An abstract machine for reasoning about situations, actions, and causality.- On the computational complexity of propositional logic programs with nested implications.- Proof-theory for extensions of Logic Programming.- A fibrational semantics for logic programs.- Higher Order Babel: Language and implementation.- A new framework for declarative programming: Categorical perspectives.- Extending constructive negation for partial functions in lazy functional-logic languages.- Super logic programs and negation as belief.- Total correctness of logic programs: A formal approach.- A declarative semantics for the Prolog cut operator.- A definitional approach to functional logic programming.- Soundness and completeness of non-classical extended SLD-resolution.- Some postulates for nonmonotonic theory revision applied to logic programming.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer
- Data di pubblicazione2008
- ISBN 10 3540609830
- ISBN 13 9783540609834
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero di pagine332
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 53,49
EUR 14,99 per la spedizione da Germania a Italia
Destinazione, tempi e costi
Risultati della ricerca per Extensions of Logic Programming: 5th International...
Foto dell'editore
Extensions of Logic Programming. Lecture Notes in Artificial Intelligence, Volume 1050
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. *Price HAS BEEN REDUCED by 10% until Tuesday, May 27 (holiday SALE item)* 318 pp., ex library, else textually clean and tight, softcover. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Codice articolo ZB355035
Quantità: 1 disponibili
Foto dell'editore
Extensions of Logic Programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.
Editore:
Springer Berlin Heidelberg, 1996
ISBN 10: 3540609830
ISBN 13: 9783540609834
Antico o usato
Brossura
Da: Buchpark, Trebbin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: Gut. Zustand: Gut - Gebrauchs- und Lagerspuren. Außen: verschmutzt, zerkratzt. Innen: Seiten vergilbt. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 332 | Sprache: Englisch | Produktart: Bücher. Codice articolo 16975/203
Quantità: 1 disponibili
Immagini fornite dal venditore
Extensions of Logic Programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.
Editore:
Springer Berlin Heidelberg, 1996
ISBN 10: 3540609830
ISBN 13: 9783540609834
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996.The 18 full papers included were carefully selected by the program committee and are presented together with three invited papers. Among the topics addressed in this book are categorical logic programming, correctness of logic programs, functional-logic languages, implementation issues, linear logic programming, nonmonotonic reasoning, and proof search. Codice articolo 9783540609834
Quantità: 1 disponibili
Foto dell'editore
Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings. (Lecture Notes in Computer Science, 1050)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783540609834_new
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Extensions of Logic Programming
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP 96, held in Leipzig, Germany in March 1996.The 18 full papers included were carefully selected by the program committee and are pre. Codice articolo 4895440
Quantità: Più di 20 disponibili
Foto dell'editore
Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings. (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: New. Codice articolo 6666-IUK-9783540609834
Quantità: 10 disponibili
Immagini fornite dal venditore
Extensions of Logic Programming
Editore:
Springer Berlin Heidelberg Mrz 1996, 1996
ISBN 10: 3540609830
ISBN 13: 9783540609834
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996.The 18 full papers included were carefully selected by the program committee and are presented together with three invited papers. Among the topics addressed in this book are categorical logic programming, correctness of logic programs, functional-logic languages, implementation issues, linear logic programming, nonmonotonic reasoning, and proof search. 332 pp. Englisch. Codice articolo 9783540609834
Quantità: 2 disponibili
Foto dell'editore
Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings. (Lecture Notes in Computer Science, 1050)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020172142
Quantità: Più di 20 disponibili