3566 search results - page 11 / 714 » Signed Logic Programs |
122
Voted
ENTCS
2006
15 years 17 days ago
2006
Parkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which program variables are treated as resource, generalizing earlier work based on separati...
105
Voted
CIE
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We study a realisability interpretation for inductive and coinductive definitions and discuss its application to program extraction from proofs. A speciality of this inte...
296
Voted
POPL
2001
ACM
16 years 26 days ago
2001
ACM
115
click to vote
JMLR
2012
13 years 3 months ago
2012
We propose a new method for comparing learning algorithms on multiple tasks which is based on a novel non-parametric test that we call the Poisson binomial test. The key aspect of...
118
Voted
KR
2004
Springer
15 years 6 months ago
2004
Springer
The causal logic from (Bochman 2003b) is shown to provide a natural logical basis for logic programming. More exactly, it is argued that any logic program can be seen as a causal ...