From Logic to Logic Programming

This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-order, and Horn- clause logics, together with an analysis of the semantic aspects of the method. It is through the inference rule of resolution that both proofs and computations can be manipulated on computers, and this book contains ele…

A grammatical view of logic programming

This book describes a complementary approach that views logic programs as grammars and shows how this new presentation of the foundations of logic programming, based on the notion of proof trees, can enrich the field.Within the field of logic programming there have been numerous attempts to transform grammars into logic programs. This book describes a complementary approach that views logic pro…

Dynamic Allocation and Pricing: A Mechanism Design Approach

A new approach to dynamic allocation and pricing that blends dynamic paradigms from the operations research and management science literature with classical mechanism design methods.OCLC-licensed vendor bibliographic record.

MPI -- the Complete Reference.

This volume presents a complete specification of the MPI-2 Standard. It is annotated with comments that clarify complicated issues, including why certain design choices were made, how users are intended to use the interface, and how they should construct their version of MPI.OCLC-licensed vendor bibliographic record.

Software studies : A Lexicon

This collection of short expository, critical and speculative texts offers a field guide to the cultural, political, social and aesthetic impact of software. Experts from a range of disciplines each take a key topic in software and the understanding of software, such as algorithms and logical structures.

Logic Programming: The 14th International Conference

"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 programming and the Internet."--BOOK JACKET.

The Kantian Legacy in Nineteenth-Century Science The Kantian Legacy in Ninet…

"Historians of philosophy, science, and mathematics explore the influence of Kant's philosophy on the evolution of modern scientific thought."--Jacket.

Knowledge Engineering and Management: The CommonKADS Methodology

Edition

1

ISBN/ISSN

9780262283236

Collation

-

Series Title

-

Call Number

-

Logic Programming: The 12th International Conference

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

Knowledge of Meaning: An Introduction to Semantic Theory

Edition

1

ISBN/ISSN

9780262277945

Collation

-

Series Title

-

Call Number

-