4401 search results - page 572 / 881 » Computing with Default Logic |
179
Voted
IEEESCC
2007
IEEE
16 years 1 months ago
2007
IEEE
A service-oriented architecture (SOA) promises a more flexible intra- and interorganizational integration of heterogeneous application systems. The central design element of a SOA...
149
click to vote
FOSSACS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
157
click to vote
ICCS
2007
Springer
16 years 26 days ago
2007
Springer
The GENIE project has built a Grid enabled framework that facilitates the integration, execution and management of component models for the study of the Earth system over millennia...
183
click to vote
TABLEAUX
2007
Springer
16 years 25 days ago
2007
Springer
Axiom pinpointing has been introduced in description logics (DLs) to help the user to understand the reasons why consequences hold and to remove unwanted consequences by computing ...
184
click to vote
TLCA
2007
Springer
16 years 25 days ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...