Sciweavers

Share
967 search results - page 1 / 194
» A generalization of the Lin-Zhao theorem
Sort
View
AMAI
2006
Springer
8 years 9 months ago
A generalization of the Lin-Zhao theorem
The theorem on loop formulas due to Fangzhen Lin and Yuting Zhao shows how to turn a logic program into a propositional formula that describes the program's stable models. In...
Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
ICLP
2003
Springer
9 years 2 months ago
Loop Formulas for Disjunctive Logic Programs
Abstract. We extend Clark’s definition of a completed program and the definition of a loop formula due to Lin and Zhao to disjunctive logic programs. Our main result, generaliz...
Joohyung Lee, Vladimir Lifschitz

Lecture Notes
841views
10 years 7 months ago
General Equilibrium Theory
These lecture notes cover several topics such as Topological Space, Metric Space, Convex Sets, Correspondences, Maximum Theorem, KKM Theorem, Existence of Maximal Element, Selectio...
Nicholas C. Yannelis
EJC
2006
8 years 9 months ago
An iterative-bijective approach to generalizations of Schur's theorem
Abstract. We start with a bijective proof of Schur's theorem due to Alladi and Gordon and describe how a particular iteration of it leads to some very general theorems on colo...
Sylvie Corteel, Jeremy Lovejoy
JOTA
2011
97views more  JOTA 2011»
8 years 4 days ago
Generalized Variational Relation Problems with Applications
In this paper, we first obtain an existence theorem of the solutions for a variational relation problem. An existence theorem for a variational inclusion problem, a KKM theorem wi...
Mircea Balaj, Lai-Jiu Lin
books