Expressive power of circumscription

被引：0

作者：

Stanford Univ, Stanford, United States ^{[1
]}

机构：

来源：

Artif Intell | / 1-2卷 / 313-329期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

共 50 条

[31] Expressive Power of “Now” and “Then” Operators
Igor Yanovich
Journal of Logic, Language and Information, 2015, 24 : 65 - 93
[32] THE EXPRESSIVE POWER OF MEMORY LOGICS
Areces, Carlos
Figueira, Diego
Figueira, Santiago
Mera, Sergio
REVIEW OF SYMBOLIC LOGIC, 2011, 4 (02): : 290 - 318
[33] On the Expressive Power of Scientific Manuscripts
MAHALAKSHMI, G. S.
SIVA, R.
SENDHILKUMAR, S.
IEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING, 2021, 9 (01) : 269 - 279
[34] Expressive power, mood, and actuality
Rohan French
Synthese, 2013, 190 : 1689 - 1699
[35] The Expressive Power of Medieval Logic
Parsons, Terry
VIVARIUM-AN INTERNATIONAL JOURNAL FOR THE PHILOSOPHY AND INTELLECTUAL LIFE OF THE MIDDLE AGES AND RENAISSANCE, 2013, 51 (1-4): : 511 - 521
[36] ON THE EXPRESSIVE POWER OF QUERY LANGUAGES
SCHAUBLE, P
WUTHRICH, B
ACM TRANSACTIONS ON INFORMATION SYSTEMS, 1994, 12 (01) : 69 - 91
[37] ON THE EXPRESSIVE POWER OF TEMPORAL LOGIC
COHEN, J
PERRIN, D
PIN, JE
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1993, 46 (03) : 271 - 294
[38] Expressive power of unary counters
Benedikt, M
Keisler, HJ
STRUCTURES IN LOGIC AND COMPUTER SCIENCE: A SELECTION OF ESSAYS IN HONOR OF A. EHRENFEUCHT, 1997, 1261 : 34 - 50
[39] THE EXPRESSIVE POWER OF IMPLICIT SPECIFICATIONS
LARSEN, KG
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 510 : 204 - 216
[40] THE EXPRESSIVE POWER OF IMPLICIT SPECIFICATIONS
LARSEN, KG
THEORETICAL COMPUTER SCIENCE, 1993, 114 (01) : 119 - 147