417 search results - page 69 / 84 » Results on Reasoning about Updates in Transaction Logic |
89
Voted
CADE
1998
Springer
15 years 4 months ago
1998
Springer
It is a well-known fact that some form of factoring is necessary for completeness of paramodulation-based calculi of general first-order clauses. In this paper we give an overview...
197
click to vote
POPL
2006
ACM
16 years 23 days ago
2006
ACM
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...
140
Voted
DCG
2008
15 years 16 days ago
2008
Two-dimensional constrained Delaunay triangulations are geometric structures that are popular for interpolation and mesh generation because they respect the shapes of planar domai...
198
Voted
AC
2005
Springer
15 years 11 days ago
2005
Springer
Artificial intelligence has been an active branch of research for computer scientists and psychologists for 50 years. The concept of mimicking human intelligence in a computer fue...
111
click to vote
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The paper presents the methodology and the results of checking consistency of the knowledge base of CADIAG-2, a large-scale medical expert system. Such knowledge base con...