1737 search results - page 92 / 348 » On Interpolation in Existence Logics |
165
click to vote
CALCO
2005
Springer
15 years 11 months ago
2005
Springer
We show that any institution I satisfying some reasonable conditions can be transformed into another institution, Ibeh, which captures formally and abstractly the intuitions of add...
162
click to vote
DEXAW
1999
IEEE
15 years 10 months ago
1999
IEEE
Recent efforts in the Conceptual Modelling community have been devoted to properly capturing time-varying information, and several proposals of temporally enhanced Entity-Relation...
149
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
As we move towards nanometer technology, manufacturing problems become overwhelmingly difficult to solve. Presently, optimization for manufacturability is performed at a post-synt...
162
click to vote
ER
2006
Springer
15 years 10 months ago
2006
Springer
Transitive propagation along properties can be modelled in various ways in the OWL description logic. Doing so allows existing description logic reasoners based on the tableaux alg...
209
click to vote
DATESO
2006
15 years 7 months ago
2006
Recently XML is the standard format used for the exchange of data between information systems and is also frequently applied as a logical database model. If we use XML as a logical...