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 logical semantics for hypothetical rulebases with deletion - MaRDI portal

A logical semantics for hypothetical rulebases with deletion

From MaRDI portal

Publication:4352539

Jump to:navigation, search

DOI10.1016/S0743-1066(96)00093-3zbMath0882.68087MaRDI QIDQ4352539

Anthony J. Bonner

Publication date: 4 September 1997

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

zbMATH Keywords

deletion stratified semantics hypothetical queries

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (1)

An extended constraint deductive database: theory and implementation

This page was built for publication: A logical semantics for hypothetical rulebases with deletion

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