共 50 条
[41]
Special issue: abductive logic programming - Guest editors' introduction
[J].
JOURNAL OF LOGIC PROGRAMMING,
2000, 44 (1-3)
:1-4
[42]
LAILA: a language for coordinating abductive reasoning among logic agents
[J].
COMPUTER LANGUAGES,
2001, 27 (04)
:137-161
[43]
A Logic Programming Language Designed for the Modeling of Abductive Reasoning in an Educational Context
[J].
2016 FIFTEENTH MEXICAN INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (MICAI): ADVANCES IN ARTIFICIAL INTELLIGENCE,
2016,
:99-105
[44]
An abductive proof procedure for reasoning about actions in modal logic programming
[J].
NON-MONOTONIC EXTENSIONS OF LOGIC PROGRAMMING,
1997, 1216
:132-150
[46]
Logic programming for evolving agents
[J].
COOPERATIVE INFORMATION AGENTS VII, PROCEEDINGS,
2003, 2782
:281-297
[49]
SLDNFA: An abductive procedure for abductive logic programs
[J].
JOURNAL OF LOGIC PROGRAMMING,
1998, 34 (02)
:111-167