Deductive tools of an algebraic programming system

被引：0
|
作者：
Yu. V. Kapitonova
A. A. Letichevskii
V. A. Volkov
机构：
[1] National Academy of Sciences of Ukraine,Cybernetics Institute
来源：
Cybernetics and Systems Analysis | 2000年 / 36卷
关键词：
mathematical texts; automation of processing of mathematical texts; mathematical models; formalized requirements; mathematical specifications; deductive tools; algebraic programming; mathematical information environments; mathematical agents; languages and algebras of actions;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
A mathematical environment is a system of tools supporting interactive manipulation of knowledge represented in the form of (formalized) mathematical texts. A theoretical substantiation of a project proposed is the theory of interaction of agents and environments. At the present time, this theory is realized on the basis of a simulator of an action language developed in an algebraic programming system called APS.
引用
收藏
页码：12 / 26
页数：14
相关论文
共 50 条
  • [21] Visual tools for parallel system programming - Foreword
    Cantoni, V
    JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 1995, 6 (04): : 325 - 326
  • [22] Categorical abstract algebraic logic: The criterion for deductive equivalence
    Voutsadakis, G
    MATHEMATICAL LOGIC QUARTERLY, 2003, 49 (04) : 347 - 352
  • [23] Deductive and Defeasible Reasoning on the Basis of a Unified Algebraic Approach
    Kulik, B. A.
    Zuenko, A. A.
    Friedman, A. Ya.
    SCIENTIFIC AND TECHNICAL INFORMATION PROCESSING, 2015, 42 (06) : 402 - 410
  • [24] Implementing deductive databases by mixed integer programming
    Bell, C
    Nerode, A
    Ng, RT
    Subrahmanian, VS
    ACM TRANSACTIONS ON DATABASE SYSTEMS, 1996, 21 (02): : 238 - 269
  • [25] Programming with non-determinism in deductive databases
    Fosca Giannotti
    Sergio Greco
    Domenico Saccà
    Carlo Zaniolo
    Annals of Mathematics and Artificial Intelligence, 1997, 19 : 97 - 125
  • [26] Access control for deductive databases by logic programming
    Barker, S
    LOGICS PROGRAMMING, PROCEEDINGS, 2002, 2401 : 54 - 69
  • [27] Programming with non-determinism in deductive databases
    Giannotti, F
    Greco, S
    Sacca, D
    Zaniolo, C
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1997, 19 (1-2) : 97 - 125
  • [28] MINTS TYPE DEDUCTIVE CALCULI FOR LOGIC PROGRAMMING
    SHEPHERDSON, JC
    ANNALS OF PURE AND APPLIED LOGIC, 1992, 56 (1-3) : 7 - 17
  • [29] Deductive spreadsheets using tabled logic programming
    Ramakrishnan, C. R.
    Ramakrishnan, I. V.
    Warren, David S.
    LOGIC PROGRAMMING, PROCEEDINGS, 2006, 4079 : 391 - 405
  • [30] Combining inductive and deductive tools for data analysis
    Greco, S
    Masciari, E
    Pontieri, L
    AI COMMUNICATIONS, 2001, 14 (02) : 69 - 82
12345