Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings: 660 (Lecture Notes in Computer Science, 660) - Softcover
Synopsis
This book contains papers which investigate how to extend logic programming toward the artificial intelligence and software engineering areas, covering both theoretical and practical aspects. Some papers investigate topics such as abductive reasoning and negation. Some works discuss how to enhance the expressive power of logic programming by introducing constraints, sets, and integration with functional programming. Other papers deal with the structuring of knowledge into modules, taxonomies, and objects, withthe aim of extending logic programming toward software engineering applications. A section is devoted to papers concentrating on proof theory and inspired by Gentzen-style sequent or natural deduction systems. Topics such as concurrency are considered to enhance the expressive power of logic languages. Finally, some papers mainly concernimplementation techniques for some of these logic programming extensions.
"synopsis" may belong to another edition of this title.
Product Description
Extensions of Logic Programming A collection of research papers which investigates how to extend logic programming towards the areas of artificial intelligence and software engineering. The contributors cover both practical and theoretical aspects of the subject.
"About this title" may belong to another edition of this title.
Search results for Extensions of Logic Programming: Third International...
Stock Image
Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence 660
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540564546_new
Buy New
£ 50.43
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings (Lecture Notes in Computer Science)
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783540564546
Buy New
£ 47.92
£ 15.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Extensions of Logic Programming
Published by
Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1993
ISBN 10: 3540564543
ISBN 13: 9783540564546
New
Paperback
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. 1993 ed. This book contains papers which investigate how to extendlogic programming toward the artificial intelligence andsoftware engineering areas, covering both theoretical andpractical aspects. Some papers investigate topics such asabductive reasoning and negation. Some works discuss how toenhance the expressive power of logic programming byintroducing constraints, sets, and integration withfunctional programming. Other papers deal with thestructuring of knowledge into modules, taxonomies, andobjects, withthe aim of extending logic programming towardsoftware engineering applications. A section is devoted topapers concentrating on proof theory and inspired byGentzen-style sequent or natural deduction systems. Topicssuch as concurrency are considered to enhance the expressivepower of logic languages. Finally, some papers mainlyconcernimplementation techniques for some of these logicprogramming extensions. Seller Inventory # LU-9783540564546
Buy New
£ 65.82
Free Shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Extensions of Logic Programming
Published by
Springer Berlin Heidelberg Feb 1993, 1993
ISBN 10: 3540564543
ISBN 13: 9783540564546
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book contains papers which investigate how to extendlogic programming toward the artificial intelligence andsoftware engineering areas, covering both theoretical andpractical aspects. Some papers investigate topics such asabductive reasoning and negation. Some works discuss how toenhance the expressive power of logic programming byintroducing constraints, sets, and integration withfunctional programming. Other papers deal with thestructuring of knowledge into modules, taxonomies, andobjects, withthe aim of extending logic programming towardsoftware engineering applications. A section is devoted topapers concentrating on proof theory and inspired byGentzen-style sequent or natural deduction systems. Topicssuch as concurrency are considered to enhance the expressivepower of logic languages. Finally, some papers mainlyconcernimplementation techniques for some of these logicprogramming extensions. 436 pp. Englisch. Seller Inventory # 9783540564546
Seller Image
Extensions of Logic Programming
Published by
Springer Berlin Heidelberg, 1993
ISBN 10: 3540564543
ISBN 13: 9783540564546
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book contains papers which investigate how to extendlogic programming toward the artificial intelligence andsoftware engineering areas, covering both theoretical andpractical aspects. Some papers investigate topics such asabductive reasoning and negati. Seller Inventory # 4893944
Buy New
£ 43.45
£ 42.72 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Extensions of Logic Programming
Published by
Springer, Springer Feb 1993, 1993
ISBN 10: 3540564543
ISBN 13: 9783540564546
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book contains papers which investigate how to extendlogic programming toward the artificial intelligence andsoftware engineering areas, covering both theoretical andpractical aspects. Some papers investigate topics such asabductive reasoning and negation. Some works discuss how toenhance the expressive power of logic programming byintroducing constraints, sets, and integration withfunctional programming. Other papers deal with thestructuring of knowledge into modules, taxonomies, andobjects, withthe aim of extending logic programming towardsoftware engineering applications. A section is devoted topapers concentrating on proof theory and inspired byGentzen-style sequent or natural deduction systems. Topicssuch as concurrency are considered to enhance the expressivepower of logic languages. Finally, some papers mainlyconcernimplementation techniques for some of these logicprogramming extensions.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 436 pp. Englisch. Seller Inventory # 9783540564546
Seller Image
Extensions of Logic Programming : Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book contains papers which investigate how to extendlogic programming toward the artificial intelligence andsoftware engineering areas, covering both theoretical andpractical aspects. Some papers investigate topics such asabductive reasoning and negation. Some works discuss how toenhance the expressive power of logic programming byintroducing constraints, sets, and integration withfunctional programming. Other papers deal with thestructuring of knowledge into modules, taxonomies, andobjects, withthe aim of extending logic programming towardsoftware engineering applications. A section is devoted topapers concentrating on proof theory and inspired byGentzen-style sequent or natural deduction systems. Topicssuch as concurrency are considered to enhance the expressivepower of logic languages. Finally, some papers mainlyconcernimplementation techniques for some of these logicprogramming extensions. Seller Inventory # 9783540564546
Seller Image
Extensions of Logic Programming | Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Extensions of Logic Programming | Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings | Evelina Lamma (u. a.) | Taschenbuch | x | Englisch | 1993 | Springer | EAN 9783540564546 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 102133246
Stock Image
Extensions of Logic Programming: Third International Workshop, ELP '92, Bologna, Italy, February 26-28, 1992. Proceedings: 660 (Lecture Notes in Computer Science, 660)
Seller: Rarewaves.com UK, London, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. 1993rd. Seller Inventory # LU-9783540564546
Buy New
£ 53.34
£ 65 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available