Expressive power of circumscription

被引：0
|
作者：
Stanford Univ, Stanford, United States [1 ]
机构：
来源：
Artif Intell | / 1-2卷 / 313-329期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] The expressive power of circumscription
    Costello, T
    ARTIFICIAL INTELLIGENCE, 1998, 104 (1-2) : 313 - 329
  • [2] The expressive power of adjudication
    McAdams, RH
    UNIVERSITY OF ILLINOIS LAW REVIEW, 2005, (05): : 1043 - 1121
  • [3] THE EXPRESSIVE POWER OF TRUTH
    Fischer, Martin
    Horsten, Leon
    REVIEW OF SYMBOLIC LOGIC, 2015, 8 (02): : 345 - 369
  • [4] THE POWER OF EXPRESSIVE TOUCH
    SIMINGTON, JA
    HUMANE MEDICINE, 1995, 11 (04) : 162 - 165
  • [5] On the expressive power of OCL
    Mandel, L
    Cengarle, MV
    FM'99-FORMAL METHODS, 1999, 1708 : 854 - 874
  • [6] The Expressive Power of Synchronizations
    Laneve, Cosimo
    Vitale, Antonio
    25TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2010), 2010, : 382 - 391
  • [7] On the expressive power of schemes
    Dowek, Gilles
    Jiang, Ying
    INFORMATION AND COMPUTATION, 2011, 209 (09) : 1231 - 1245
  • [8] Expressive power of SQL
    Libkin, L
    THEORETICAL COMPUTER SCIENCE, 2003, 296 (03) : 379 - 404
  • [9] The Expressive Power of SPARQL
    Angles, Renzo
    Gutierrez, Claudio
    SEMANTIC WEB - ISWC 2008, 2008, 5318 : 114 - 129
  • [10] The expressive power of clocks
    Henzinger, TA
    Kopke, PW
    WongToi, H
    AUTOMATA, LANGUAGES AND PROGRAMMING, 1995, 944 : 417 - 428
12345