320 search results - page 1 / 64 » Conditionals and consequences |
SIAMJO
2010
12 years 11 months ago
2010
Necessary first-order sequential optimality conditions provide adequate theoretical tools to justify stopping criteria for nonlinear programming solvers. These conditions are sati...
JAPLL
2007
13 years 4 months ago
2007
JOLLI
2010
13 years 3 months ago
2010
We introduce A-ranked preferential structures and combine them with an accessibility relation. A-ranked preferential structures are intermediate between simple preferential struct...
TABLEAUX
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possibl...
LOGCOM
2002
13 years 4 months ago
2002
In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method exploits the strong connection between...