2694 search results - page 345 / 539 » A Description Logic of Change |
187
click to vote
CADE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...
181
click to vote
ECML
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Over the last twenty years AI has undergone a sea change. The oncedominant paradigm of logical inference over symbolic knowledge representations has largely been supplant...
142
click to vote
AEI
2010
15 years 6 months ago
2010
nizing multiple forms of information and knowledge processing on different levels of abstraction in a structured and principled manner. We propose knowledge processing middleware a...
182
click to vote
INTEGRATION
2008
15 years 6 months ago
2008
Physical synthesis is a relatively young field in Electronic Design Automation. Many published optimizations for physical synthesis end up hurting the quality of the final design,...
201
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
A relational database is inconsistent if it does not satisfy a given set of integrity constraints. Nevertheless, it is likely that most of the data in it is consistent with the co...