10907 search results - page 1858 / 2182 » Constraint Based Strategies |
190
click to vote
LPNMR
2005
Springer
16 years 7 days ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...
161
Voted
OOPSLA
2005
Springer
16 years 6 days ago
2005
Springer
As object-oriented class libraries evolve, classes are occasionally deprecated in favor of others with roughly the same functionality. In Java’s standard libraries, for example,...
165
click to vote
OTM
2005
Springer
16 years 6 days ago
2005
Springer
A composition arranges available services resulting in a defined flow of executions. Before the composition is carried out, a discovery service identifies candidate services. Th...
153
click to vote
SAS
2005
Springer
16 years 6 days ago
2005
Springer
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...
170
click to vote
SEMWEB
2005
Springer
16 years 6 days ago
2005
Springer
Situation awareness involves the identification and monitoring of relationships among objects participating in an evolving situation. This problem in general is intractable (i.e.,...