Back to Results
First PageMeta Content
Predicate logic / Model theory / Logical syntax / Formal languages / First-order logic / Interpretation / Stable model semantics / Function / Well-formed formula / Logic / Mathematical logic / Mathematics


Safe Formulas in the General Theory of Stable Models (Preliminary Report) Joohyung Lee1 , Vladimir Lifschitz2 , and Ravi Palla1 1 2
Add to Reading List

Document Date: 2008-09-10 19:37:33

Open Document

File Size: 88,34 KB

Share Result on Facebook

City

San Mateo / /

Company

SM / MIT Press / Computer Sciences / /

/

Facility

Stable Models / University of Texas / Arizona State University / /

IndustryTerm

stable model operator / /

Organization

School of Computing and Informatics / University of Texas at Austin / National Science Foundation / Arizona State University / USA Department of Computer Sciences / MIT / /

Person

Michael Gelfond / Joohyung Lee / Simona Perri / Lee / Ravi Palla / John McCarthy / Agustin Valverde / Kenneth Bowen / Wolfgang Faber / Nicola Leone / Georg Gottlob / Paolo Ferraris / Vladimir Lifschitz / Thomas Eiter / David Pearce / Gerald Pfeifer / Morgan Kaufmann / Francesco Scarcello / /

Position

author / editor / General / second author / /

ProvinceOrState

California / /

SocialTag