3047 search results - page 4 / 610 » On the Meaning of Logical Completeness |
110
Voted
FSS
2006
15 years 20 days ago
2006
In this paper we investigate the addition of arbitrary independent involutive negations to t-norm based logics. We deal with several extensions of MTL and establish general comple...
90
Voted
ICFP
2003
ACM
16 years 18 days ago
2003
ACM
The shift and reset operators, proposed by Danvy and Filinski, are powerful control primitives for capturing delimited continuations. Delimited continuation is a similar concept a...
105
Voted
ACSD
2010
IEEE
14 years 10 months ago
2010
IEEE
Self-timed circuits present an attractive solution to the problem of process variation. However, implementing selftimed combinational logic can be complex and expensive. This pape...
CAEPIA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper, we enrich the logic of order of magnitude qualitative reasoning by means of a new notion of negligibility which has very useful properties with respect to ...
114
Voted
EMNLP
2010
14 years 10 months ago
2010
This paper addresses the problem of learning to map sentences to logical form, given training data consisting of natural language sentences paired with logical representations of ...