222
click to vote
CADE
2008
Springer
15 years 9 months ago
2008
Springer
It is well known how to use an intuitionistic meta-logic to specify natural deduction systems. It is also possible to use linear logic as a meta-logic for the specification of a va...
216
click to vote
CADE
2008
Springer
15 years 9 months ago
2008
Springer
LogAnswer is an open domain question answering system which employs an automated theorem prover to infer correct replies to natural language questions. For this purpose LogAnswer o...
174
click to vote
C3S2E
2008
ACM
15 years 9 months ago
2008
ACM
Creating and editing source code are tedious and error-prone processes. One important source of errors in editing programs is the failure to correctly adapt a block of copied code...
168
click to vote
C3S2E
2008
ACM
15 years 9 months ago
2008
ACM
In this paper we define four operations on musical rhythms that preserve a property called maximal evenness. The operations we describe are shadow, complementation, concatenation,...