10916 search results - page 236 / 2184 » On Constructive Connectives and Systems |
142
click to vote
KI
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Interaction means to share a communicative space with others. Social interactions are reciprocally-oriented activities among currently present partners. An artificial sy...
197
click to vote
CGO
2006
IEEE
16 years 23 days ago
2006
IEEE
As the amount of available silicon resources on one chip increases, we have seen the advent of ever increasing parallel resources integrated on-chip. Many architectures use these ...
207
click to vote
HASKELL
2005
ACM
16 years 8 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
199
click to vote
ICAIL
2005
ACM
16 years 8 days ago
2005
ACM
The potential of knowledge-based technological support for work in the legal domain has become widely recognized in recent time. This paper argues for an approach that is meant to...
204
click to vote
ICAIL
2005
ACM
16 years 8 days ago
2005
ACM
The Dutch Tax and Customs Administration (DTCA) is one of many organizations that deal with a multitude of electronic legal data, from various sources and in different formats. In...