THE EXPRESSIVE POWER OF STRATIFIED LOGIC PROGRAMS

被引：48

作者：

KOLAITIS, PG

机构：

[1] Computer and Information Sciences, University of California, Santa Cruz, Santa Cruz

来源：

INFORMATION AND COMPUTATION | 1991年 / 90卷 / 01期

基金：

美国国家科学基金会;

关键词：

D O I：

10.1016/0890-5401(91)90059-B

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

[No abstract available]

引用

页码：50 / 66

页数：17

共 50 条

[31] Counting on CTL*: on the expressive power of monadic path logic
Moller, F
Rabinovich, A
INFORMATION AND COMPUTATION, 2003, 184 (01) : 147 - 159
[32] The Expressive Power of k-ary Exclusion Logic
Ronnholm, Raine
LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, 2016, 9803 : 375 - 391
[33] On the expressive power of monadic least fixed point logic
Schweikardt, N
AUTOMATA , LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2004, 3142 : 1123 - 1135
[34] On the Expressive Power of Some Extensions of Linear Temporal Logic
Gnatenko, A. R.
Zakharov, V. A.
AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2019, 53 (07) : 663 - 675
[35] On the Expressive Power of Some Extensions of Linear Temporal Logic
A. R. Gnatenko
V. A. Zakharov
Automatic Control and Computer Sciences, 2019, 53 : 663 - 675
[36] The expressive power of fixed-point logic with counting
Otto, M
JOURNAL OF SYMBOLIC LOGIC, 1996, 61 (01) : 147 - 176
[37] On the expressive power of monadic least fixed point logic
Schweikardt, N
THEORETICAL COMPUTER SCIENCE, 2006, 350 (2-3) : 325 - 344
[38] A Rational Entailment for Expressive Description Logics via Description Logic Programs
Casini, Giovanni
Straccia, Umberto
ARTIFICIAL INTELLIGENCE RESEARCH, SACAIR 2021, 2022, 1551 : 177 - 191
[39] Comparing the expressive powers of some syntactically restricted classes of logic programs
Janhunen, T
COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 852 - 866
[40] Computing prioritized circumscription via compilation into stratified logic programs
Wakaki, T
Satoh, K
PROCEEDINGS ISAI/IFIS 1996 - MEXICO - USA COLLABORATION IN INTELLIGENT SYSTEMS TECHNOLOGIES, 1996, : 362 - 369

← 1 2 3 4 5 →