Filter by
Logic programming and non-monotonic reasoning :proceedings of the second inte…
Papers presented during the workshop held in Lisbon in June 1993."This is the second in a series of workshops that are bringing together researchers from the theoretical end of both the logic programming and artificial intelligence communities to discuss their mutual interests. This workshop emphasizes the relationship between logic programming and non-monotonic reasoning.Luis' Moniz Pereira is…
- Edition
- -
- ISBN/ISSN
- 9780262291378
- Collation
- 1 online resource (vii, 494 pages) :illustrations
- Series Title
- -
- Call Number
- -
Logic programming :proceedings of the Tenth International Conference on Logic…
"Papers presented at the Tenth International Conference on Logic Programming, held in Budapest, Hungary, June 21-25, 1993"--Preface."The Tenth International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of t…
- Edition
- -
- ISBN/ISSN
- 9780262291460
- Collation
- 1 online resource (xx, 854 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Logic programming :proceedings of the 1999 International Conference on Logic …
Includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, nonmonotonic reasoning, and logic programming and the Internet.The International Conference on Logic Programming, sponsored by the Association for Logic Programming, includes t…
- Edition
- -
- ISBN/ISSN
- 9780262291118
- Collation
- 1 online resource (xx, 450 pages) :illustrations
- Series Title
- -
- Call Number
- -
Logic programming :proceedings of the 1996 Joint International Conference and…
Includes index.September 2-6, 1996, Bonn, Germany Every four years, the two major international scientific conferences on logic programming merge in one joint event. JICSLP'96 is the thirteenth in the two series of annual conferences sponsored by The Association for Logic Programming. It includes tutorials, invited lectures, and refereed papers on all aspects of logic programming including: Con…
- Edition
- -
- ISBN/ISSN
- 9780262291309
- Collation
- 1 online resource (xix, 554 pages) :illustrations
- Series Title
- -
- Call Number
- -
Logic programming :proceedings of the 1995 international symposium
"December 4-7, 1995, Portland, Oregon The International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. It is held annually in North America. The theme for the 1995 conference is "Declarative Systems," particularly the integration of the logic programming, functional programming, and object-oriented programming paradig…
- Edition
- -
- ISBN/ISSN
- 9780262291248
- Collation
- 1 online resource (ix, 646 pages) :illustrations
- Series Title
- -
- Call Number
- -
Logic programming :proceedings of the Fourteenth International Conference on …
"July 8-12, 1997, Leuven, Belgium"--Page 4 of cover."The International Conference on Logic Programming is the main annual conference sponsored by the Association for Logic Programming. It covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation nonmonotonic reasoning, and logic programm…
- Edition
- -
- ISBN/ISSN
- 0262291355
- Collation
- 1 online resource (xvii, 424 pages) :illustrations
- Series Title
- -
- Call Number
- -
Logic programming :proceedings of the twelfth International Conference on Log…
"13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The …
- Edition
- -
- ISBN/ISSN
- 9780262291439
- Collation
- 1 online resource (xx, 834 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Logic as grammar
"A Bradford book."How is the meaning of natural language interpreted? Taking as its point of departure the logical problem of natural language acquisition, this book elaborates a theory of meaning based on syntactical rather than semantical processes. Hornstein argues that the traditional neoFregean approach taken by Davidson, Barwise and Perry, and Montague, among others--an approach that make…
- Edition
- -
- ISBN/ISSN
- 0262081377
- Collation
- 1 online resource (x, 176 pages)
- Series Title
- -
- Call Number
- -
Logic and information flow
"The thirteen chapters written expressly for this book by logicians, theoretical computer scientists, philosophers, and semanticists address, from the perspective of mathematical logic, the problems of understanding and studying the flow of information through any information-processing system. The logic of information flow has applications in both computer science and natural language processi…
- Edition
- -
- ISBN/ISSN
- 0585358451
- Collation
- 1 online resource (233 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Logic programming :proceedings of the 1997 International Symposium
Symposium held Oct. 13-16, 1997.The annual International Logic Programming Symposium, traditionally held in North America, is one of the main international conferences sponsored by the Association of Logic Programming. The themes of the 1997 conference are new theoretical and practical accomplishments in logic programming, new research directions where ideas originating from logic programming c…
- Edition
- -
- ISBN/ISSN
- 9780262291323
- Collation
- 1 online resource (xvi, 425 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography