Logic Programming '85: Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985 (Lecture Notes in Computer Science, 221) - Softcover
Other Popular Editions of the Same Title
Search results for Logic Programming '85: Proceedings of the 4th Conference...
Stock Image
Logic Programming '85: Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985.
Seller: Kloof Booksellers & Scientia Verlag, Amsterdam, Netherlands
Seller rating 4 out of 5 stars
Condition: very good. Berlin, Heidelberg : Springer, 1986. Paperback. ix, 311 pp. Library stamp. (Lecture Notes in Computer Science, 221). - The Logic Programming '85 conference, held in Tokyo from July 1-3, 1985, was a pivotal event for the field of logic computer programming. It focused on the theoretical foundations and practical applications of logic-based programming languages, with a particular emphasis on Prolog. Key contributions covered topics such as artificial intelligence, knowledge representation, database systems, and expert systems. The conference highlighted the growing role of logic programming in AI, natural language processing, and symbolic reasoning. It helped bridge academia and industry, influencing the development of expert systems and computational logic. The discussions and advancements made at this conference significantly shaped the future of AI technologies and the design of logic-oriented programming languages. Condition : very good copy. ISBN 9783540164791. Keywords : COMPUTER SCIENCE, Prolog (Computer program language) artificial intelligence (AI) Logic programming expert systems. Seller Inventory # 304094
Buy Used
US$ 27.70
US$ 35.15 shipping
Ships from Netherlands to U.S.A.
Ships from Netherlands to U.S.A.
Quantity: 1 available
Seller Image
Logic Programming '85: Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985 (Lecture Notes in Computer Science, 221, Band 221)
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany
Seller rating 5 out of 5 stars
Softcover. 1986. 311 p. ATTENTION 1986 EDITION!!! Unread book. Very good condition. Possibly minimal storage marks. 9783540164791 Sprache: Englisch Gewicht in Gramm: 544. Seller Inventory # 224195
Buy Used
US$ 48.28
US$ 17.52 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Stock Image
Logic Programming '85: Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985 (Lecture Notes in Computer Science, 221)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540164791_new
Buy New
US$ 70.24
US$ 16.20 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Logic Programming '85 : Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540164791
Buy New
US$ 66.59
US$ 20.95 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Logic Programming '85
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Mai 1986, 1986
ISBN 10: 3540164790
ISBN 13: 9783540164791
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 -Architecture and evaluation of a Reduction-based Parallel Inference Machine : PIM-R.- Hardware simulator of Reduction-Based Parallel Inference Machine PIM-R.- A note on the elementary execution unit in a parallel inference machine.- Parallel Prolog machine PARK: Its hardware structure and prolog system.- Heuristics applied in tree manipulation algorithm synthesis.- Analogical reasoning using transformations of rules.- Synchronization and communication in the ¿subject¿.- Zero : Frame + prolog.- PRESET ¿ A debugging environment for Prolog.- Proedit ¿ a screen oriented Prolog programming environment.- Software prototyping with MENDEL.- Retrieval of software module functions using first-order predicate logical formulae.- Temporal logic programming language Tokio programming in Tokio.- Implementation of temporal logic programming language Tokio.- Heuristic prolog: Logic program execution by heuristic search.- And-or queuing in Extended Concurrent Prolog.- Guarded horn clauses.- TDProlog: An extended Prolog with term description.- Design and evaluation of a Prolog compiler.- The program characteristics in logic programming language ESP.- Extended Prolog and its application to an integrated parser for text understanding.- A travel consultation system: Towards a smooth conversation in Japanese.- A Prolog-based Korean-English Machine Translation System and its efficient method of dictionary management.- Using the temporal logic programming language Tokio for algorithm description and automatic CMOS gate array synthesis.- A parallel logic simulator based on Concurrent Prolog.- A method of representing processes in a constraint solver.- KRIP: A knowledge representation system for laws relating to industrial property.- Consultation system for diagnosis of headache and facial pain: ¿Rhinos¿.- Knowledge realization and transformation in KRISP. 328 pp. Englisch. Seller Inventory # 9783540164791
Buy New
US$ 64.55
US$ 26.95 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Seller Image
Logic Programming 85
Published by
Springer Berlin Heidelberg, 1986
ISBN 10: 3540164790
ISBN 13: 9783540164791
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. Architecture and evaluation of a Reduction-based Parallel Inference Machine : PIM-R.- Hardware simulator of Reduction-Based Parallel Inference Machine PIM-R.- A note on the elementary execution unit in a parallel inference machine.- Parallel Prolog machine . Seller Inventory # 4883061
Buy New
US$ 58.38
US$ 57.41 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Logic Programming '85
Published by
Springer, Springer Mai 1986, 1986
ISBN 10: 3540164790
ISBN 13: 9783540164791
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 -Architecture and evaluation of a Reduction-based Parallel Inference Machine : PIM-R.- Hardware simulator of Reduction-Based Parallel Inference Machine PIM-R.- A note on the elementary execution unit in a parallel inference machine.- Parallel Prolog machine PARK: Its hardware structure and prolog system.- Heuristics applied in tree manipulation algorithm synthesis.- Analogical reasoning using transformations of rules.- Synchronization and communication in the 'subject'.- Zero : Frame + prolog.- PRESET - A debugging environment for Prolog.- Proedit - a screen oriented Prolog programming environment.- Software prototyping with MENDEL.- Retrieval of software module functions using first-order predicate logical formulae.- Temporal logic programming language Tokio programming in Tokio.- Implementation of temporal logic programming language Tokio.- Heuristic prolog: Logic program execution by heuristic search.- And-or queuing in Extended Concurrent Prolog.- Guarded horn clauses.- TDProlog: An extended Prolog with term description.- Design and evaluation of a Prolog compiler.- The program characteristics in logic programming language ESP.- Extended Prolog and its application to an integrated parser for text understanding.- A travel consultation system: Towards a smooth conversation in Japanese.- A Prolog-based Korean-English Machine Translation System and its efficient method of dictionary management.- Using the temporal logic programming language Tokio for algorithm description and automatic CMOS gate array synthesis.- A parallel logic simulator based on Concurrent Prolog.- A method of representing processes in a constraint solver.- KRIP: A knowledge representation system for laws relating to industrial property.- Consultation system for diagnosis of headache andfacial pain: 'Rhinos'.- Knowledge realization and transformation in KRISP.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 328 pp. Englisch. Seller Inventory # 9783540164791
Buy New
US$ 64.55
US$ 70.31 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Logic Programming '85 : Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Architecture and evaluation of a Reduction-based Parallel Inference Machine : PIM-R.- Hardware simulator of Reduction-Based Parallel Inference Machine PIM-R.- A note on the elementary execution unit in a parallel inference machine.- Parallel Prolog machine PARK: Its hardware structure and prolog system.- Heuristics applied in tree manipulation algorithm synthesis.- Analogical reasoning using transformations of rules.- Synchronization and communication in the 'subject'.- Zero : Frame + prolog.- PRESET - A debugging environment for Prolog.- Proedit - a screen oriented Prolog programming environment.- Software prototyping with MENDEL.- Retrieval of software module functions using first-order predicate logical formulae.- Temporal logic programming language Tokio programming in Tokio.- Implementation of temporal logic programming language Tokio.- Heuristic prolog: Logic program execution by heuristic search.- And-or queuing in Extended Concurrent Prolog.- Guarded horn clauses.- TDProlog: An extended Prolog with term description.- Design and evaluation of a Prolog compiler.- The program characteristics in logic programming language ESP.- Extended Prolog and its application to an integrated parser for text understanding.- A travel consultation system: Towards a smooth conversation in Japanese.- A Prolog-based Korean-English Machine Translation System and its efficient method of dictionary management.- Using the temporal logic programming language Tokio for algorithm description and automatic CMOS gate array synthesis.- A parallel logic simulator based on Concurrent Prolog.- A method of representing processes in a constraint solver.- KRIP: A knowledge representation system for laws relating to industrial property.- Consultation system for diagnosis of headache andfacial pain: 'Rhinos'.- Knowledge realization and transformation in KRISP. Seller Inventory # 9783540164791
Buy New
US$ 64.55
US$ 73.24 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Logic Programming '85 | Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Logic Programming '85 | Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985 | Eiiti Wada | Taschenbuch | ix | Englisch | 1986 | Springer | EAN 9783540164791 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 102150067
Buy New
US$ 60.65
US$ 82.02 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 5 available