Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Extensions of Logic Programming

Extensions of Logic Programming

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540475620
Condition
New
Product Description

This book contains papers which investigate how to extend logic programming toward the artificial intelligence and software engineering areas, covering both theoretical and practical aspects. Some papers investigate topics such as abductive reasoning and negation. Some works discuss how to enhance the expressive power of logic programming by introducing constraints, sets, and integration with functional programming. Other papers deal with the structuring of knowledge into modules, taxonomies, and objects, withthe aim of extending logic programming toward software engineering applications. A section is devoted to papers concentrating on proof theory and inspired by Gentzen-style sequent or natural deduction systems. Topics such as concurrency are considered to enhance the expressive power of logic languages. Finally, some papers mainly concernimplementation techniques for some of these logic programming extensions.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Diplomatic Interventions

$54.99

Proceedings of the Paralinguistic Information and its Integration in Spoken Dialogue Systems Worksho

$169.00

Lehre von den Gesichtsempfindungen

$84.99

Understanding Organizational Culture

$84.99

The 21st Century Fight for the Amazon

$54.99

The Asian 21st Century

$59.99

The Search for Human Chromosomes

$54.99

Zwischen Europa und Amerika

$69.99

Quality Software Through Reuse and Integration

$169.99

Angeborene Stoffwechselkrankheiten bei Erwachsenen

$109.00

Approximation Methods in Probability Theory

$69.99

PARP Inhibitors for Cancer Therapy

$129.00

Intelligent Systems: Models and Applications

$109.99

Lung Development

$119.00

International Mobility and Educational Desire

$54.99

Northern Irish Literature, 1956-1975

$159.99

A Toon Book: Silly Lilly in What Will I Be Today?

$5.21

Strmungsmessungen zur Ermittlung von Brennkammer-Ausbrenngraden

$59.99

Epidural Technique In Obstetric Anesthesia

$139.99

Residue Reviews / Rckstands-Berichte

$54.99

Diseases of the Pancreas

$329.99

Biochemie und Molekularbiologie

$44.99

Optical Properties of Low Dimensional Silicon Structures

$129.00

Ruhestandsentscheidungen im Haushaltskontext

$69.99

Fallsammlung zum Europischen und Internationalen Strafrecht

$34.99

Turkish Natural Language Processing

$109.99

Formal Methods for Industrial Critical Systems

$54.99

Turkey and the European Union

$39.99

Anwendung des Simulationsmodells BAYMO 70 auf die Stadtentwicklungsplanung

$49.99

Script Development

$119.99

Advanced High Strength Steel

$94.99

Lectures on Euclidean Geometry - Volume 1

$89.99

Wind Bands and Cultural Identity in Japanese Schools

$84.99

Gynkologische Cytologie

$54.99

Theatre, Performance, and Memory Politics in Argentina

$54.99

Fundamental Labour Rights in China - Legal Implementation and Cultural Logic

$84.99

Neuroanatomy

$54.99

Diagrams of Power in Benjamin and Foucault

$109.99

Ausbau eines Wechsellichtmonochromators und seine Anwendung zur Messung des Luftleuchtens Whrend de

$59.99

Planung in ffentlicher Hand

$69.99