Debugging in A-prolog: A logical approach

被引：2

作者：

Osorio, M ^{[1
]}

Navarro, JA ^{[1
]}

Arrazola, J ^{[1
]}

机构：

[1] Univ Americas Puebla, CENTIA, Cholula 72820, Mexico

来源：

LOGICS PROGRAMMING, PROCEEDINGS | 2002年 / 2401卷

关键词：

D O I：

10.1007/3-540-45619-8_44

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

[No abstract available]

引用

页码：482 / 483

页数：2

共 50 条

[1] Diagnostic reasoning with A-Prolog
Balduccini, M
Gelfond, M
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2003, 3 : 425 - 461
[2] Representing knowledge in A-prolog
Gelfond, Michael
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2002, 2408 (PART2): : 413 - 451
[3] Representing knowledge in A-Prolog
Gelfond, M
COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT II: ESSAYS IN HONOUR OF ROBERT A KOWALSKI, 2002, 2408 : 413 - 451
[4] Modeling evacuation planning using A-prolog
Zepeda, C
Osorio, M
Sol, D
15TH INTERNATIONAL CONFERENCE ON ELECTRONICS, COMMUNICATIONS AND COMPUTERS, PROCEEDINGS, 2005, : 292 - 297
[5] A-prolog based service discovery in MAS
Liu, LY
Cao, YD
Hu, JJ
PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, VOL 1, 2004, : 324 - 328
[6] A-Prolog based capability matching mechanism in MAS
Liu, L.-Y., 1600, CIMS (09):
[7] Logic programming and knowledge representation - The A-Prolog perspective
Gelfond, M
Leone, N
ARTIFICIAL INTELLIGENCE, 2002, 138 (1-2) : 3 - 38
[8] A-Prolog with CR-rules and ordered disjunction
Balduccini, M
Mellarkod, V
PROCEEDINGS OF INTERNATIONAL CONFERENCE ON INTELLIGENT SENSING AND INFORMATION PROCESSING, 2004, : 1 - 6
[9] LOGICAL DEBUGGING
DERSHOWITZ, N
LEE, YJ
JOURNAL OF SYMBOLIC COMPUTATION, 1993, 15 (5-6) : 745 - 773
[10] A new Prolog debugging algorithm
Ming, H
FIFTH INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND MANAGMENT SCIENCE: PROCEEDINGS OF IE & MS '98, 1998, : 344 - 346

← 1 2 3 4 5 →