JUCS - Journal of Universal Computer Science 5(3): 50-51, doi: 10.3217/jucs-005-03
J.UCS Special Issue on Integration of Deduction Systems
expand article infoR. Hähnle‡, W. Menzel‡, P. H. Schmitt‡, Wolfgang Reif‡
‡ University of Karlsruhe, Germany

Corresponding author: R. Hähnle ( haehnle@ira.uka.de )

© R. Hähnle, W. Menzel, P. Schmitt, Wolfgang Reif.
This article is freely available under the J.UCS Open Content License.
Citation: Hähnle R, Menzel W, Schmitt PH, Reif W (1999) J.UCS Special Issue on Integration of Deduction Systems. JUCS - Journal of Universal Computer Science 5(3): 50-51. https://doi.org/10.3217/jucs-005-03
Open Access
Abstract
Logic has become a cross-sectional formal specifcation language for applications in Artficial Intelligence, Computing, and Mathematics. Deduction is the corresponding derivation mechanism used to execute and analyse formal models, to predict properties, to generate plans or to detect errors. For about 35 years, researchers have developed different kinds of computational logics, calculi and computer programs for interactive and fully automated deduction.