2162 search results - page 244 / 433 » Automated Reasoning on Feature Models |
174
click to vote
SEMWEB
2010
Springer
14 years 11 months ago
2010
Springer
The Semantic Web emphasizes encoding over modeling. It is built on the premise that ontology engineers can say something useful about the semantics of vocabularies by expressing th...
169
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
Traditional security protocols are mainly concerned with key establishment and principal authentication and rely on predistributed keys and properties of cryptographic operators. I...
175
click to vote
LOPSTR
2007
Springer
15 years 11 months ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
132
click to vote
LPNMR
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We present a purely model-theoretic semantics for disjunctive logic programs with negation, building on the infinite-valued approach recently introduced for normal logic...
143
Voted
ILP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper, we study how a logical form of scientific modelling that integrates together abduction and induction can be used to understand the functional class of unk...