326 search results - page 28 / 66 » Logical Engineering with Instance-Based Methods |
DLOG
2003
13 years 11 months ago
2003
This paper describes our current activities to supply extended reasoning support to knowledge engineers who are building terminologies using Description Logics (DL) reasoners. The...
POPL
2011
ACM
13 years 19 days ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
Comprehensive consistency management requires a strong mechanism for repair once inconsistencies have been detected. In this paper we present a repair framework for inconsistent d...
IEEECIT
2006
IEEE
14 years 3 months ago
2006
IEEE
As an important part of service-oriented software engineering, service retrieval receives much attention from industry and academia, but which still leaves much to be expected: ho...
WCRE
2006
IEEE
14 years 3 months ago
2006
IEEE
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...