2145 search results - page 267 / 429 » Lax Logical Relations |
159
click to vote
ECSQARU
2001
Springer
15 years 9 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...
130
click to vote
ICCAD
1998
IEEE
15 years 9 months ago
1998
IEEE
In this paper, we propose a high-level variable selection for partial-scan approach to improve the testability of digital systems. The testability of a design is evaluated at the ...
149
Voted
POPL
1994
ACM
15 years 9 months ago
1994
ACM
Abstract: The narrowing relation over terms constitutes the basis of the most important operational semantics of languages that integrate functional and logic programming paradigms...
160
Voted
ICLP
2010
Springer
15 years 9 months ago
2010
Springer
Within the last years, especially since the work proposed by Dung in 1995, argumentation has emerged as a central issue in Artificial Intelligence. With the so called argumentatio...
164
click to vote
FC
2006
Springer
15 years 9 months ago
2006
Springer
Although Instant Messaging (IM) services are now relatively long-standing and very popular as an instant way of communication over the Internet, they have received little attention...