2162 search results - page 86 / 433 » Automated Reasoning on Feature Models |
115
click to vote
CADE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...
126
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
We propose CoreTuLiP - the core of a trust management language based on Logic Programming. CoreTuLiP is based on a subset of moded logic programming, but enjoys the features of TM ...
132
click to vote
RR
2007
Springer
15 years 9 months ago
2007
Springer
The most promising feature of the Web services platform is its ability to form new (composite) services by combining the capabilities of already existing (component) services. The ...
112
click to vote
ILP
2003
Springer
15 years 9 months ago
2003
Springer
Propositionalization has already been shown to be a particularly promising approach for robustly and effectively handling relational data sets for knowledge discovery. In this pap...
122
click to vote
CAV
2008
Springer
15 years 5 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...