2162 search results - page 132 / 433 » Automated Reasoning on Feature Models |
124
click to vote
LICS
1994
IEEE
15 years 8 months ago
1994
IEEE
Abadi and Cardelli have recently investigated a calculus of objects [2]. The calculus supports a key feature of object-oriented languages: an object can be emulated by another obj...
151
click to vote
ICTL
1994
15 years 8 months ago
1994
We introduce a temporal logic TAL and prove that it has several nice features. The formalism is a two-dimensional modal system in the sense that formulas of the language are evalua...
147
click to vote
DEON
2006
Springer
15 years 7 months ago
2006
Springer
A general logical framework is presented to represent speech acts that have institutional effects. It is based on the concepts of the Speech Act Theory and takes the form of the FI...
146
click to vote
ILP
2000
Springer
15 years 7 months ago
2000
Springer
Naive Bayesian classifiers have been very successful in attribute-value representations. However, it is not clear how the decomposition of the probability distributions on attribu...
158
click to vote
PLILP
1995
Springer
15 years 7 months ago
1995
Springer
Abstract. Using higher-order functions is standard practice in functional programming, but most functional logic programming languages that have been described in the literature la...