Logic Programming Proceedings 4th by Wada (12 results)

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.…

Condition: New.

Paperback or Softback. Condition: New. Logic Programming '85: Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985. Book.

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: New.

Condition: New. In English.

Softcover. 1986. 311 p. ATTENTION 1986 EDITION!!! Unread book. Very good condition. Possibly minimal storage marks. 9783540164791 Sprache: Englisch Gewicht in Gramm: 544.

Condition: As New. Unread book in perfect condition.

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.…

PF. Condition: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.

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 Print on Demand. …