Copied Logic Programming '88
Logic Programming '88
This volume contains a selection of papers presented at the Seventh Logic Programming Conference that took place in Tokyo, April 11-14, 1988. It is the successor to the previous conference proceedings published as Lecture Notes in Computer Science Volumes 221, 264 and 315. The book covers various aspects of logic programming such as foundations, programming languages/systems, concurrent programming, knowledge bases, applications of computer-aided reasoning and natural language processing. The papers on foundations present theoretical results on "narrowing", a proof strategy for proving properties of Prolog programs based on inductionless induction and several issues in nonmonotonic reasoning. Of special interest to mathematicians is the paper on computer-aided reasoning, which describes a system for assisting human reasoning. Natural language application papers treat the lexical analysis of Japanese sentences, a system that generates a summary of a given sentence and a new knowledge representation formalism suited for representing dynamic behavior by extending the frame system.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
The Paleoenvironment, Plants and Animals of Liangzhu
$54.99
Enterprise Information Systems
$109.99
Modern Societies and National Identities
$54.99
Going to War
$54.99
Bilanzierung und Gestaltung des Disagios von Hypothekenbankschuldverschreibungen
$59.99
Principles of Terrestrial Ecosystem Ecology
$179.99
Music and Performance in the Later Middle Ages
$54.99
Recent Advances in Theoretical, Applied, Computational and Experimental Mechanics
$219.99
Fly Guy's Amazing Tricks (Fly Guy #14) (Hardcover)
$5.99
In Our Neighborhood: Meet a Bus Driver!
$5.24
Genetics and Ethics in Global Perspective
$169.99
Bildungsideologien
$44.99
Liquid Crystal Elastomers: Materials and Applications
$259.00
The Knights Hospitaller in the Levant, c.1070-1309
$109.00
Advances on Broadband and Wireless Computing, Communication and Applications
$169.00
Reflexionsverhalten von Fahrbahnbelgen
$59.99
Tectonic Evolution of the Moroccan High Atlas: A Paleomagnetic Perspective
$199.99
Paulo Freire
$39.99
Lehrbuch der Ohren-, Nasen-, Rachen- und Kehlkopf-Krankheiten
$59.99
Handbuch der Vermessungskunde
$89.00
Science Fiction Prototyping
$9.29
Untersuchungen an Silicium-methylenen und Silicium-Phosphor-Verbindungen
$54.99
Geschichte der neueren Sprachwissenschaft
$69.99
Animation
$17.99
Quality of Life in Urban Landscapes
$99.00
Innovatives Engagement
$69.99
Private Military and Security Companies
$54.99
Advances in Spatial Data Handling and Analysis
$109.99
The Chinese Aspectual System
$139.00
Progress in Molecular and Subcellular Biology
$84.99
Treatment of Asthma: The long-acting beta-2-agonists
$109.99
Running ESXi on a Raspberry Pi
$39.99
Vegetables I
$229.00
Technik der mikroskopischen Untersuchung des Nervensystems
$59.99
Scholastic Success With Writing: Grade 4 Workbook
$5.24
Land-Cover and Land-Use Changes in Eastern Europe after the Collapse of the Soviet Union in 1991
$159.99
Europe and the MENA Region
$119.99
Intensivtherapie
$69.99
Evaluation of Novel Approaches to Software Engineering
$89.99
High Impact Data Visualization in Excel with Power View, 3D Maps, Get & Transform and Power BI
$59.99
