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

Heures d'ouverture 08h30-12h30/13h30-17h30
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

Notre sélection de beaux livres Le risque radioactif : Devenir des radionucléides dans l'environnement et impacts sur la santé Parodontologie et dentisterie implantaire : Volume 1 : médecine parodontale Communications sur fibres optiques Le logiciel R (2° Éd.) : Maîtriser le langage, effectuer des analyses (bio) statistiques Index des prix et des normes agricoles 2014-2015 (25° É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 ...

Date de parution : 07-2006
Langue : Anglais
Ouvrage 240 p. 16x24 cm Broché
Épuisé

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.