Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
A computable semantics for general logic programs - MaRDI portal

A computable semantics for general logic programs

From MaRDI portal

Publication:4730755

Jump to:navigation, search

DOI10.1016/0743-1066(89)90017-4zbMath0681.68024OpenAlexW2035077417MaRDI QIDQ4730755

No author found.

Publication date: 1989

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0743-1066(89)90017-4

zbMATH Keywords

semantics three-valued logic logic programs finite failure set success set canonical general programs

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence (68T99) Many-valued logic (03B50)

Related Items (2)

Definite clause programs are canonical (over a suitable domain) ⋮ Protected completions of first-order general logic programs

This page was built for publication: A computable semantics for general logic programs

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4730755&oldid=18983527"