Used together with:
program
(1)
sceptic
(1)
semant
(1)
order
(1)
logic
(1)
Stem
credul$ (
all stems
)
1 papers:
KR-1991-GabbayLV
#logic programming
#order
#semantics
#source code
Credulous vs. Sceptical Semantics for Ordered Logic Programs (
DMG
,
EL
,
DV
), pp. 208–217.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.