2694 search results - page 102 / 539 » A Description Logic of Change |
ESANN
1997
13 years 10 months ago
1997
Two recently developed methods for extraction of crisp logical rules from neural networks trained with backpropagation algorithm are compared. Both methods impose constraints on th...
OWLED
2008
13 years 10 months ago
2008
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...
LPNMR
2007
Springer
14 years 3 months ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...
COLING
1992
13 years 10 months ago
1992
This paper discusses coml)lex structural changes during transfer within a non-destructive transfer framework. Though the description of each individual structural change is not di...
MSR
2006
ACM
14 years 3 months ago
2006
ACM
Evolutionary annotations are descriptions of how source code evolves over time. Typical source comments, given their static nature, are usually inadequate for describing how a pro...