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
Temporal Answer Set Programming - MaRDI portal

Temporal Answer Set Programming

From MaRDI portal

Publication:5398086

Jump to:navigation, search

DOI10.4230/LIPICS.ICLP.2012.445zbMath1281.68064OpenAlexW2107851516MaRDI QIDQ5398086

Martín Diéguez

Publication date: 25 February 2014

Full work available at URL: https://www.dc.fi.udc.es/~cabalar/DieguezPhD-final.pdf

zbMATH Keywords

linear temporal logic answer set programming temporal equilibrium logic

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Temporal logic (03B44)

This page was built for publication: Temporal Answer Set Programming

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