4513 search results - page 240 / 903 » Logic programming with satisfiability |
130
click to vote
DALT
2008
Springer
15 years 5 months ago
2008
Springer
This paper provides a logical framework of negotiating agents who have capabilities of evaluating and building proposals. Given a proposal, an agent decides whether it is acceptabl...
137
click to vote
SIGSOFT
1994
ACM
15 years 8 months ago
1994
ACM
A dependence model for reverse engineering should treat procedures in a modular fashion and should be fine-grained, distinguishing dependences that are due to different variables....
115
click to vote
MOR
2002
15 years 3 months ago
2002
We examine the sequence of local minimizers of the log-barrier function for a nonlinear program near a solution at which second-order sufficient conditions and the Mangasarian-From...
122
click to vote
AAAI
2007
15 years 6 months ago
2007
A facility with front room and back room operations has the option of hiring specialized or, more expensive, cross-trained workers. Assuming stochastic customer arrival and servic...
260
click to vote
ICFP
2009
ACM
16 years 4 months ago
2009
ACM
During the life cycle of an XML application, both schemas and queries may change from one version to another. Schema evolutions may affect query results and potentially the validi...