Back to Results
First PageMeta Content
Model theory / Modal logic / Non-classical logic / Temporal logic / Kripke semantics / Kripke structure / Interpretation / Stable model semantics / Saul Kripke / Logic / Mathematical logic / Philosophical logic


TLP 10 (4–6): 675–690, C Cambridge University Press 2010  675
Add to Reading List

Document Date: 2015-05-24 18:09:01

Open Document

File Size: 192,28 KB

Share Result on Facebook

Company

C Cambridge University Press / /

Country

United States / /

Facility

New Mexico State University / Arizona State University / /

IndustryTerm

modal logic systems / multi-agent systems / logic systems / /

Organization

Arizona State University / Cambridge University / C. BARAL and G. GELFOND Department of Computer Science / T. SON Department of Computer Science / New Mexico State University / BARAL / /

Person

E. PONTELLI / /

Position

planner / rt / /

Product

Prolog / /

ProgrammingLanguage

Prolog / /

Technology

Alpha / /

URL

www.tcs.hut.fi/Software/smodels / /

SocialTag