171 search results - page 26 / 35 » Classical Logic, Continuation Semantics and Abstract Machine... |
171
click to vote
ATVA
2007
Springer
16 years 3 days ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
172
click to vote
ICEIS
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract: Interoperability for information systems remains a challenge both at the semantic and organisational levels. The original three-level architecture for local databases nee...
176
click to vote
IWRIDL
2006
ACM
15 years 12 months ago
2006
ACM
We present the state of the art of a computational platform for the analysis of classical Sanskrit. The platform comprises modules for phonology, morphology, segmentation and shal...
171
click to vote
TPHOL
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...
156
click to vote
ASC
2006
15 years 7 months ago
2006
In [7] Maria I. Sessa extended the SLD resolution principle with the ability of performing approximate reasoning and flexible query answering. The operational mechanism of similar...