Order Total (1 Item Items):
Shipping Destination:
Logic Programming Proceedings 4th (48 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (48)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (34)
- As New, Fine or Near Fine (9)
- Very Good or Good (4)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (48)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (21)
- Not Print on Demand (48)
Language (2)
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
Logic Programming 1985 Proceedings of the 4th Conference Tokyo, Japan, July 1-3, 1985.(Lecture Notes In Computer Science Volume 221.)
Seller: GloryBe Books & Ephemera, LLC, Deforest, WI, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. Pages tanned otherwise Good. NOT A FORMER LIBRARY BOOK.
-
ALPUK92: Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992
Language: English
Published by Springer-Verlag, London, 1993
ISBN 10: 3540197834 ISBN 13: 9783540197836
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
US$ 30.61
US$ 16.91 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketpaperback. Condition: Good. Paperback. Workshops in Computing. Spine ends are lightly bumped, otherwise only very light shelfwear on covers. Contents are sound, clean, clear. BW. Used.
-
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.
-
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.
-
Condition: As New. Unread book in perfect condition.
-
Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings (Lecture Notes in Computer Science, 698)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.24
US$ 16.20 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Programming Language Implementation and Logic Programming: 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 Proceedings (Lecture Notes in Computer Science, 631)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.24
US$ 16.20 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings (Lecture Notes in Computer Science, 798)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.24
US$ 16.20 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
ALPUK92: Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992 (Workshops in Computing)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.24
US$ 16.20 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Functional and Logic Programming: 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings (Lecture Notes in Computer Science, 1722)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.24
US$ 16.20 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
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
US$ 70.24
US$ 16.20 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Algebraic and Logic Programming: 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings (Lecture Notes in Computer Science, 850)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.24
US$ 16.20 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 66.58
US$ 20.95 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
US$ 66.59
US$ 20.95 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
US$ 66.59
US$ 20.95 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
US$ 66.59
US$ 20.95 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
ALPUK92: Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992 (Workshops in Computing)
Language: English
Published by Springer London 1993-01-01, 1993
ISBN 10: 3540197834 ISBN 13: 9783540197836
US$ 66.58
US$ 20.95 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
US$ 66.59
US$ 20.95 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
US$ 66.77
US$ 20.95 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
-
Functional and Logic Programming : 4th Fuji International Symposium, Flops'99, Tsukuba, Japan, November 11-13, 1999 : Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 70.05
US$ 20.29 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Functional and Logic Programming : 4th Fuji International Symposium, Flops'99, Tsukuba, Japan, November 11-13, 1999 : Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 77.87
US$ 20.29 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
US$ 92.71
US$ 16.91 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. reprint edition. 365 pages. 9.25x6.10x0.83 inches. In Stock.
-
paperback. Condition: New. In shrink wrap. Looks like an interesting title!
-
ALPUK92 : Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992
Language: English
Published by Springer, Springer Berlin Heidelberg, 1992
ISBN 10: 3540197834 ISBN 13: 9783540197836
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Since its conception nearly 20 years ago, logic programming has been developed to the point where it now plays an important role in areas such as database theory, artificial intelligence and software engineering. There are, however, still many outstanding research issues which need to be addressed, and the UK branch of the Association for Logic Programming was set up to provide a forum where the flourishing research community could discuss important issues which were often by- passed at the larger international conferences. This volume contains the invited papers, refereed papers and tutorials presented at the 4th ALPUK Conference, which aimed to broaden the frontiers of logic programming by encouraging interaction between it and other related disciplines. The papers cover a variety of technical areas, including concurrent logic languages and their semantics, applications of logic languages to other (non-classical) logical systems, modules, types and error-handling, and the distributed execution of Prolog programs. The wide scope of the papers refelects the breadth of interest in this important area of computer science. ALPUK 92 provides a comprehensive overview of current progress being made in logic programming research. It will be of interest to all workers in the field, especially researchers, postgraduate students, and research and development workers in industry.
-
Logic Program Synthesis and Transformation - Meta-Programming in Logic : 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings
Language: English
Published by Springer Berlin Heidelberg, 1994
ISBN 10: 3540587926 ISBN 13: 9783540587927
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994.This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies.
-
Algebraic and Logic Programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994. Proceedings
Language: English
Published by Springer Berlin Heidelberg, 1994
ISBN 10: 3540584315 ISBN 13: 9783540584315
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the proceedings of the Fourth International Conference on Algebraic and Logic Programming (ALP '94), held in Madrid, Spain in September 1994.Like the predecessor conferences in this series, ALP '94 succeeded in strengthening the cross-fertilization between algebraic techniques and logic programming. Besides abstracts of three invited talks, the volume contains 17 full revised papers selected from 41 submissions; the papers are organized into sections on theorem proving, narrowing, logic programming, term rewriting, and higher-order programming.
-
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.
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University of St Andrews, March/April 1993. Among the topics covered in the volume are: defintional reflection and completion, modules in lambda-Prolog, representation of logics as partial inductive definitions, non-procedural logic programming, knowledge representation, contradiction avoidance, disjunctive databases, strong negation, linear logic programming, proof theory and regular search spaces, finite sets and constraint logic programming, search-space pruning and universal algebra, and implementation on transputer networks.
-
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the papers presented at the 4th Fuji International S- posium on Functional and Logic Programming (FLOPS'99) held in Tsukuba, Japan, November 11-13, 1999, and hosted by the Electrotechnical Laboratory (ETL). FLOPS is a forum for presenting and discussing all issues concerning functional programming, logic programming, and their integration. The sym- sium takes place about every 1.5 years in Japan. Previous FLOPS meetings were held in Fuji Susuno (1995), Shonan Village (1996), and Kyoto (1998). 1 There were 51 submissions from Austria ( ),Belgium (2),Brazil(3),China 3 3 1 7 (1), Denmark (2), France (3 ), Germany (8), Ireland (1), Israel ( ), Italy (1 ), 4 3 12 1 Japan (9 ), Korea (1), Morocco (1), The Netherlands (1), New Zealand (1), 3 1 1 3 5 Portugal ( ), Singapore ( ), Slovakia (1), Spain (4 ), Sweden (1), UK (4 ), 2 3 4 6 1 and USA (2 ), of which the program committee selected 21 for presentation. In 4 addition, this volume contains full papers by the two invited speakers, Atsushi Ohori and Mario Rodr guez-Artalejo.
