AN ENVIRONMENT FOR AUTOMATED REASONING ABOUT PARTIAL FUNCTIONS

被引：0
|
作者：
BASIN, DA
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 310卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：101 / 110
页数：10
相关论文
共 50 条
  • [41] GraphScape: A Model for Automated Reasoning about Visualization Similarity and Sequencing
    Kim, Younghoon
    Wongsuphasawat, Kanit
    Hullman, Jessica
    Heer, Jeffrey
    PROCEEDINGS OF THE 2017 ACM SIGCHI CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS (CHI'17), 2017, : 2628 - 2638
  • [42] Efficient Automated Reasoning About Sets and Multisets with Cardinality Constraints
    Piskac, Ruzica
    AUTOMATED REASONING, PT I, 2020, 12166 : 3 - 10
  • [43] Reasoning about Strategies under Partial Observability and Fairness Constraints
    Busard, Simon
    Pecheur, Charles
    Qu, Hongyang
    Raimondi, Franco
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (112): : 71 - 79
  • [44] Reasoning about orchestrations of web services using partial correctness
    Stewart, Alan
    Gabarro, Joaquim
    Keenan, Anthony
    FORMAL ASPECTS OF COMPUTING, 2013, 25 (06) : 833 - 846
  • [45] Decomposed Utility Functions and Graphical Models for Reasoning about Preferences
    Brafman, Ronen I.
    Engel, Yagil
    PROCEEDINGS OF THE TWENTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-10), 2010, : 267 - 272
  • [46] Reasoning about functionality of core matching functions for information retrieval
    Li, JP
    Yang, YQ
    Song, DW
    Gu, HB
    WAVELET ANALYSIS AND ITS APPLICATIONS, AND ACTIVE MEDIA TECHNOLOGY, VOLS 1 AND 2, 2004, : 57 - 68
  • [47] Efficient Hierarchical Reasoning about Functions over Numerical Domains
    Sofronie-Stokkermans, Viorica
    KI 2008: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2008, 5243 : 135 - 143
  • [48] A PROLOG ENVIRONMENT FOR DEVELOPING AND REASONING ABOUT DATA-TYPES
    HSIANG, J
    SRIVAS, MK
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 186 : 276 - 293
  • [49] An inference methodology for reasoning about visual information for a virtual environment
    Zeng, X
    Mehdi, QH
    Gough, NE
    GAME-ON 2003: 4TH INTERNATIONAL CONFERENCE ON INTELLIGENT GAMES AND SIMULATION, 2003, : 53 - 57
  • [50] Young children reasoning about symmetry in a dynamic geometry environment
    Oi-Lam Ng
    Sinclair, Nathalie
    ZDM-MATHEMATICS EDUCATION, 2015, 47 (03): : 421 - 434
12345