2162 search results - page 94 / 433 » Automated Reasoning on Feature Models |
132
click to vote
DLOG
2009
15 years 1 months ago
2009
A crucial task in process management is the validation of process refinements. A process refinement is a process description in a more fine-grained representation. The refinement i...
128
Voted
JIFS
2006
15 years 3 months ago
2006
Fundamental to case-based reasoning is the idea that similar problems have similar solutions. The meaning of the concept of "similarity" can vary in different situations...
176
Voted
HLPPP
1991
15 years 7 months ago
1991
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
We are interested in replacing human processing of web resources by automated processing. Based on an experimental system we identify uncertainty issues which make this process dif...
165
Voted
ESWS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The demonstration presents Pronto - a prototype of a nonmonotonic probabilistic reasoner for very expressive Description Logics. Pronto is built on top of the OWL DL reas...