2162 search results - page 42 / 433 » Automated Reasoning on Feature Models |
139
click to vote
ICCBR
2001
Springer
15 years 8 months ago
2001
Springer
It is useful for an intelligent software agent to be able to adapt to new demands from an environment. Such adaptation can be viewed as a redesign problem; an agent has some origin...
130
Voted
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we introduce an extension of propositional logic that allows clauses to be weighted with values from a generic semiring. The main interest of this extension is that ...
167
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Several diseases, many of which nowadays pandemic, consist of multifactorial pathologies. Paradigmatic examples come from the immune response to pathogens, in which ca...
118
Voted
KR
2004
Springer
15 years 8 months ago
2004
Springer
The computational grounding problem – the gap between the mental models of an agent and its computational model – is a well known problem within the agent research community. ...
142
Voted
CASCON
2001
15 years 4 months ago
2001
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...