2203 search results - page 260 / 441 » Temporal Abstract Interpretation |
137
Voted
ECSQARU
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. In this paper, we first investigate set semantics of propositional logic in terms of rough sets and discuss how truth values of propositions (sentences) can be interpret...
116
click to vote
IEAAIE
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper presents AROM, a new object-based knowledge representation system. AROM is original in two ways. Firstly, in addition to classes, knowledge representation in A...
117
click to vote
PPDP
2001
Springer
15 years 8 months ago
2001
Springer
This paper explores the question of when two propagationbased constraint systems have the same behaviour, in terms of search space. We categorise the behaviour of domain and bound...
140
click to vote
AH
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In this paper, we propose a framework based on a subsymbolic approach for the support of exploratory activities in a hyperspace. By using it, it is possible to express th...
124
click to vote
CADE
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...