J.UCS Special Issue on Integration of Deduction Systems
Дата
Авторы
Hähnle,R.
Menzel,W.
Schmitt,P.
Reif,Wolfgang
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
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.