2162 search results - page 232 / 433 » Automated Reasoning on Feature Models |
121
click to vote
TIME
2005
IEEE
15 years 10 months ago
2005
IEEE
— We provide a novel trace semantics for positive core XPath that exposes all intermediate nodes visited by the query engine. This enables a detailed analysis of all information ...
151
Voted
CADE
2004
Springer
15 years 10 months ago
2004
Springer
The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity means that inferences are pu...
145
click to vote
KR
2004
Springer
15 years 10 months ago
2004
Springer
In this paper we introduce a formal framework for the construction of normative multiagent systems, based on Searle’s notion of the construction of social reality. Within the st...
157
click to vote
KR
2004
Springer
15 years 10 months ago
2004
Springer
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about mo...
142
Voted
ICCBR
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The definition of similarity measures is one of the most crucial aspects when developing case-based applications. In particular, when employing similarity measures that ...