10870 search results - page 434 / 2174 » Model Checking Programs |
199
click to vote
JAIR
2006
15 years 7 months ago
2006
We study properties of programs with monotone and convex constraints. We extend to these formalisms concepts and results from normal logic programming. They include the notions of...
174
Voted
AMC
2008
15 years 7 months ago
2008
This paper extends the model proposed by Papahristodoulou [C. Papahristodoulou, Option strategies with linear programming, European Journal of Operational Research 157 (2004) 246
240
Voted
LPNMR
2001
Springer
15 years 12 months ago
2001
Springer
In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for suc...