First Page | Document Content | |
---|---|---|
Date: 2008-09-10 19:37:33Predicate 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 2Add to Reading ListSource URL: www.cs.utexas.eduDownload Document from Source WebsiteFile Size: 88,34 KBShare Document on Facebook |