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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Advances in QSAR Modeling
$349.00
Automated Deduction in Geometry
$44.99
Microcirculation and Tubular Urine Flow in the Mammalian Kidney Cortex (in vivo Microscopy)
$109.99
We Are Branches
$5.96
Third-World Conflict and International Security
$59.99
Floating, Flowing, Flying
$169.99
Zukunftsfhige Energietechnologien fr die Industrie
$79.99
Fuzzy Graph Theory with Applications to Human Trafficking
$159.99
ZB 2005: Formal Specification and Development in Z and B
$109.99
Multicriteria Optimization and Engineering
$109.99
Enterprise Risk Management Models
$99.99
The Educational Turn
$59.99
Der Filialbetrieb der deutschen Kreditbanken
$59.99
Current Advances in Biotechnological Production of Xylitol
$139.00
Healthcare Engineering
$169.99
Freedom, Efficiency and Equality
$39.99
Theorie der Alterssicherung
$49.99
Computational Science and Its Applications - ICCSA 2004
$109.99
Oxidative Stress in Microbial Diseases
$129.00
Serotonin
$169.00
E-Government
$64.99
Modellgesttzte Planung im Unternehmen
$59.99
Cellular Rhythms and Networks
$39.99
Adsorbed Species on Surfaces and Adsorbate-Induced Surface Core Level Shifts
$549.99
Johnny Tremain
$6.74
Freiberufler werden
$19.99
Tissue Microarrays
$169.99
Basic
$59.99
There's No Such: There's No Such Thing as.Unicorns / No hay tal cosa como los. unicornios
$5.99
The Contemporary Writer and Their Suicide
$159.99
Quantum Entropy and Its Use
$89.99
Nutrition Management of Inherited Metabolic Diseases
$139.99
Dissent in the Years of Krushchev
$109.99
Die Verunreinigung der Gewsser, deren schdliche Folgen, nebst Mitteln zur Reinigung der Schmutzws
$39.99
Lattices and Codes
$64.99
Natural Antibodies
$159.99
Advances in Mathematical Inequalities and Applications
$129.99
Soziologische Lebenslaufforschung
$24.99
Political Warfare against the Kremlin
$54.99
The UNESCO Memory of the World Programme
$139.99
