Back to Results
First PageMeta Content
Theoretical computer science / Stable model semantics / Modal logic / Answer set programming / Semantics / Well-founded semantics / Logic programming / Logic / Science


Technical Communications of the International Conference on Logic Programming, 2010 (Edinburgh), pp. 134–143 http://www.floc-conference.org/ICLP-home.html TIGHT SEMANTICS FOR LOGIC PROGRAMS LUÍS MONIZ PEREIRA 1 AND AL
Add to Reading List

Document Date: 2010-06-24 05:59:13

Open Document

File Size: 335,89 KB

Share Result on Facebook

City

Edinburgh / /

Company

Cambridge University Press / MIT Press / /

Currency

pence / /

/

Facility

Stable Models / Stable Models Extension / Stable Model / /

IndustryTerm

beach mountain travel passport_ok expired_passport / linear graph algorithms / problem solutions / semantic web / syntactic post-processing step / post-processing / rst search / mountain travel beach / concrete applications / /

NaturalFeature

expired_passport beach / /

Organization

Cambridge University / MIT / M P / TS's WFM / PL M / /

Person

De / J. S. Schlipf / Wolfgang Faber / Nicola Leone / Vladimir Lifschitz / Thomas Y. C. Woo / Thomas Eiter / Gerald Pfeifer / Van Gelder / Simona Perri / Georg Gottlob / K. A. Ross / Manuel Hermenegildo / Francesco Scarcello / Nova de Lisboa / /

Position

minimal model / MP / head / /

ProgrammingLanguage

Prolog / ML / /

Technology

SMs / linear graph algorithms / Digital Object Identifier / pdf / /

URL

http /

SocialTag