COL - A LOGIC-BASED LANGUAGE FOR COMPLEX OBJECTS

被引：0
|
作者：
ABITEBOUL, S
GRUMBACH, S
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1988年 / 303卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：271 / 293
页数：23
相关论文
共 50 条
  • [31] Topicality in Logic-Based Ontologies
    Del Vescovo, Chiara
    Parsia, Bijan
    Sattler, Ulrike
    CONCEPTUAL STRUCTURES FOR DISCOVERING KNOWLEDGE, 2011, 6828 : 187 - 200
  • [32] A Logic-Based Analysis of Responsibility
    Abarca, Aldo Ivan Ramirez
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, (379): : 470 - 486
  • [33] On logic-based intelligent control
    Qi, Hongsheng
    Cheng, Daizhan
    Proceedings of the 24th Chinese Control Conference, Vols 1 and 2, 2005, : 1082 - 1088
  • [34] Logic-based electronic institutions
    Vasconcelos, WW
    DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES, 2004, 2990 : 221 - 242
  • [35] Explainable Logic-Based Argumentation
    Arieli, Ofer
    Borg, AnneMarie
    Hesse, Matthis
    Strasser, Christian
    COMPUTATIONAL MODELS OF ARGUMENT, COMMA 2022, 2022, 353 : 32 - 43
  • [36] A LOGIC-BASED CALCULUS OF EVENTS
    KOWALSKI, R
    SERGOT, M
    NEW GENERATION COMPUTING, 1986, 4 (01) : 67 - 95
  • [37] Improving logic-based testing
    Kaminski, Gary
    Ammann, Paul
    Offutt, Jeff
    JOURNAL OF SYSTEMS AND SOFTWARE, 2013, 86 (08) : 2002 - 2012
  • [38] A logic-based information system
    Abreu, SP
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 2000, 1753 : 141 - 153
  • [39] A logic-based transformation system
    Tsai, JJP
    Li, B
    Weigert, T
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1998, 10 (01) : 91 - 107
  • [40] Logic-based subsumption architecture
    Amir, E
    Maynard-Zhang, P
    ARTIFICIAL INTELLIGENCE, 2004, 153 (1-2) : 167 - 237
12345