1631 search results - page 4 / 327 » Observing Functional Logic Computations |
132
Voted
CIE
2009
Springer
15 years 5 months ago
2009
Springer
An arithmetic circuit is a labelled, directed, acyclic graph specifying a cascade of arithmetic and logical operations to be performed on sets of non-negative integers. In this pap...
134
Voted
POPL
1997
ACM
15 years 4 months ago
1997
ACM
We propose a new computation model which combines the operational principles of functional languages (reduction), logic languages (non-deterministic search for solutions), and int...
187
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this paper we investigate a more expressive language f...
136
Voted
ACL2
2006
ACM
15 years 4 months ago
2006
ACM
We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...
117
Voted
SEMWEB
2009
Springer
15 years 7 months ago
2009
Springer
Most languages for the Semantic Web have their logical basis in some fragment of first-order logic. Thus, integrating first-order logic with probability is fundamental for represen...