Lavoisier S.A.S.
14 rue de Provigny
94236 Cachan cedex
FRANCE

Tél.: +33 (0)1 47 40 67 00
Fax: +33 (0)1 47 40 67 02


Url canonique : www.lavoisier.fr/livre/mathematiques/implementation-of-logics-journal-of-applied-non-classical-logics-vol-16-n-1-2-2006/konev/descriptif-9782746214798
Url courte ou permalien : www.lavoisier.fr/livre/notice.asp?ouvrage=2138601

Culture de cellules animales Colloque TDA 2014 Collections Compétences Prépas et Performance Concours L'opticien-lunetier (3° Éd.)

Notice

Implementation of logics (Journal of Applied Non-Classical Logics Vol. 16 N° 1-2/2006)

Auteurs : KONEV Boris, SCHMIDT Renate, SCHULZ Stephan

Couverture de l'ouvrage Implementation of logics (Journal of Applied Non-Classical Logics Vol. 16 N° 1-2/2006)

Thème d'Implementation of logics ...

Prix indisponible

Disponible chez l'éditeur (délai d'approvisionnement : 5 jours).

Ajouter au panierAjouter au panier
Date de parution : 07-2006
Langue : Anglais
Ouvrage 240 p. 16x24 cm Broché

Résumé d'Implementation of logics ...

Logic bas always formed an important part of the foundations of computer science. Implicitly, logic is used in nearly all sub-fields of computer science and computer engineering, from very concrete hardware to purely abstract arguments. Explicitly represented logical constructs have been used to model human reasoning in attempts to develop better intelligent systems, as a declarative programming language to specify and solve problems, and for a large number of other tasks. Many logics are widely recognised as providing powerful tools for the unambiguous description of important and practically relevant problems. The practical application of logics for real-world problems, however, is held back by the fact that reasoning in many logics is a very complex task. For the most useful logics, the validity problem and the implication problem are either undecidable, or fall into hard complexity classes, yet, increasingly efficient implemented systems are being developed. The papers in Implementation of logics present a fine cross-section of current research on the implementation of logical tools for a variety of standard and non-standard deduction tasks, and their applications. Techniques featured include binary decision diagrams for modal logic, compilation of normal Prolog programs with stable semantics, proof checking for Kleene algebras, approximate database technology, technologies for studying the lambda calculus and substitution calculi, rule-based programming, and inductive theorem proving.

Commentaire d'Implementation of logics ...

Find the complete description of this issue on RevuesOnline.