912 search results - page 107 / 183 » Abstract Saturation-Based Inference |
128
click to vote
AMI
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We propose SAGE, an agent-based environment monitoring and control system based on computation logic. SAGE uses forward chaining deductive inference to map low level sens...
113
click to vote
WOLLIC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Database design aims to find a database schema that permits the efficient processing of common types of queries and updates on future database instances. Full first-ord...
119
click to vote
CSL
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper is part of a general project of developing a systematic and algebraic proof theory for nonclassical logics. Generalizing our previous work on intuitionistic-su...
116
click to vote
FM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...
154
click to vote
LION
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Protein function prediction represents a fundamental challenge in bioinformatics. The increasing availability of proteomics network data has enabled the development of se...