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

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

Langue : Anglais

Auteurs :

Couverture de l’ouvrage Implementation of logics (Journal of Applied Non-Classical Logics Vol. 16 N° 1-2/2006)
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.
  • KAT-ML: an interactive theorem prover for Kleene algebra with tests
    K. Aboul-Hosn, D. Kozen - pp.9-34
  • Some (in)translatability results for normal logic programs and propositional theories
    T. Janhunen - pp.35-86
  • Approximate databases: a support tool for approximate reasoning
    P. Doherty, M. Magnusson, A. Szalas - pp.87-118
  • SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi
    F. De Moura, M. Ayala-Rincón, F. Kamareddine - pp.119-150
  • Foundations of the rule-based system pLog
    M. Marin, T. Kutsia - pp.151-168
  • BDD-based decision procedures for the modal logic K
    G. Pan, U. Sattler, M. Vardi - pp.169-208
  • Flexible heuristics for simplification with conditional lemmas by marking formulas as forbidden, mandatory, obligatory, and generous
    T. Schmidt-Samoa - pp.209-239
Find the complete description of this issue on RevuesOnline.

Date de parution :

Numéro de revue de 240 p.

16x24 cm

Épuisé

Thème d’Implementation of logics ... :