A KRIPKE-LIKE MODEL FOR NEGATION AS FAILURE

被引：0

|

作者：

HARLAND, J

机构：

来源：

LOGIC PROGRAMMING : PROCEEDINGS OF THE NORTH AMERICAN CONFERENCE, 1989, VOL 1-2 | 1989年

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

页码：626 / 642

页数：17

相关论文

共 50 条

[31] Reasoning about minimal belief and negation as failure
Rosati, R
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 1999, 11 : 277 - 300
[32] A SOUND AND COMPLETE SEMANTICS FOR A VERSION OF NEGATION AS FAILURE
SHEPHERDSON, JC
THEORETICAL COMPUTER SCIENCE, 1989, 65 (03) : 343 - 371
[33] Bounded model checking for partial Kripke structures
Wehrheim, Heike
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2008, PROCEEDINGS, 2008, 5160 : 380 - +
[34] Combining negation as failure and embedded implications in logic programs
Giordano, L
Olivetti, N
JOURNAL OF LOGIC PROGRAMMING, 1998, 36 (02): : 91 - 147
[35] Combining negation as failure and embedded implications in logic programs
Universita di Torino, Torino, Italy
J Logic Program, 2 (91-147):
[36] Negation as failure through abduction: Reasoning about termination
Mancarella, P
Pedreschi, D
Ruggieri, S
COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I: ESSAYS IN HONOUR OF ROBERT A KOWALSKI, 2002, 2407 : 240 - 272
[37] RELATING ONLY KNOWING TO MINIMAL BELIEF AND NEGATION AS FAILURE
CHEN, JH
JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 1994, 6 (04) : 409 - 429
[38] Adapting biochemical kripke structures for distributed model checking
Jha, Susmit
Shyamasundar, R. K.
TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY VII, 2006, 4230 : 107 - 122
[39] Belnap's epistemic states and negation-as-failure
Wagner, G
NEGATION: A NOTION IN FOCUS, 1996, 7 : 233 - 261
[40] ONE APPROACH TO THE NEGATION AS FAILURE MECHANISM FOR INCOMPLETE DATABASES
GELFOND, M
PRZYMUSINSKA, H
JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (03) : 843 - 843

← 1 2 3 4 5 →