2162 search results - page 65 / 433 » Automated Reasoning on Feature Models |
135
Voted
ADC
2003
Springer
15 years 8 months ago
2003
Springer
To run a smart E-Business or provide efficient Web service, a web services composition model is needed. Web services composition refers to the process of collaborating the heterog...
128
Voted
LPAR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
135
click to vote
NMELP
1994
15 years 7 months ago
1994
In Prz91], Przymusinski introduced the partial (or 3-valued) stable model semantics which extends the (2-valued) stable model semantics dened originally by Gelfond and Lifschitz G...
84
Voted
SWAP
2008
15 years 5 months ago
2008
Abstract. Core Competence evaluation is crucial for strategical choices in knowledge intensive companies. Such a process is usually manually performed by the management on the basi...
134
Voted
ICLP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP co...