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 条

[1] The expressive power of stratified logic programs with value invention
Cabibbo, L
INFORMATION AND COMPUTATION, 1998, 147 (01) : 22 - 56
[2] ON THE EXPRESSIVE POWER OF ANNOTATED LOGIC PROGRAMS
KIFER, M
SUBRAHMANIAN, VS
LOGIC PROGRAMMING : PROCEEDINGS OF THE NORTH AMERICAN CONFERENCE, 1989, VOL 1-2, 1989, : 1069 - 1089
[3] THE DEFINING POWER OF STRATIFIED AND HIERARCHICAL LOGIC PROGRAMS
JAGER, G
STARK, RF
JOURNAL OF LOGIC PROGRAMMING, 1993, 15 (1-2): : 55 - 77
[4] On the power of stratified logic programs with value invention for expressing database transformations
Cabibbo, L
DATABASE THEORY - ICDT '95, 1995, 893 : 208 - 221
[5] 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
[6] ON THE EXPRESSIVE POWER OF TEMPORAL LOGIC
COHEN, J
PERRIN, D
PIN, JE
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1993, 46 (03) : 271 - 294
[7] On the expressive power of graph logic
Marcinkowski, Jerzy
COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2006, 4207 : 486 - 500
[8] On the expressive power of ordered logic
Buccafurri, F
Leone, N
Scarcello, F
AI COMMUNICATIONS, 1996, 9 (01) : 4 - 13
[9] On the Configuration of More and Less Expressive Logic Programs
Dodaro, Carmine
Maratea, Marco
Vallati, Mauro
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2023, 23 (02) : 415 - 443
[10] On the expressive power of light affine logic
Dal Lago, U
THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2003, 2841 : 216 - 227

← 1 2 3 4 5 →