4983 search results - page 803 / 997 » order 2008 |
104
Voted
FIS
2008
15 years 5 months ago
2008
Today's economy is a service economy, and an increasing number of services is electronic, i.e. can be ordered and provisioned online. Examples include Internet access, email a...
135
click to vote
FLOPS
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, we present an extension of the scheme HH(C) (Hereditary Harrop formulas with Constraints) with a suitable formulation of negation in order to obtain a constraint ded...
124
click to vote
FMICS
2008
Springer
15 years 5 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
136
click to vote
FOIKS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We present a novel logic-based approach to automate multi-issue bilateral negotiation in e-marketplaces. In such frameworks issues to negotiate on can be multiple, interr...
164
Voted
FOIKS
2008
Springer
15 years 5 months ago
2008
Springer
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...