2500 search results - page 450 / 500 » Logical Semantics of Modularisation |
135
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
162
click to vote
CAISE
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents a detailed integration process for XML schemata called BInXS. BInXS adopts a global-as-view integration approach that builds a global schema from a set of heter...
147
click to vote
ICLP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...
136
click to vote
OTM
2005
Springer
15 years 11 months ago
2005
Springer
Several applications require reasoning over autonomously developed ontologies. Initially conceived to explicit the semantics of a certain domain, these ontologies become a powerfu...
143
click to vote
SAT
2005
Springer
15 years 11 months ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...