850 search results - page 64 / 170 » A Logic Programming Language Based on Binding Algebras |
ACSAC
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper describes an extension of the Java language that provides “programmable security.” The approach augments the Java syntax with constructs for specifying various acce...
139
click to vote
JMLR
2012
13 years 3 months ago
2012
We propose a novel mixtures of Gaussian processes model in which the gating function is interconnected with a probabilistic logical model, in our case Markov logic networks. In th...
104
click to vote
ICLP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
113
click to vote
ICLP
1995
Springer
15 years 4 months ago
1995
Springer
Abstract. The Event Calculus is a narrative based formalism for reasoning about actions and change originally proposed in logic programming form by Kowalski and Sergot. In this pap...
111
click to vote
IFL
2003
Springer
15 years 6 months ago
2003
Springer
Eden is a parallel functional language extending Haskell with processes. This paper describes the implementation of an interface between the Eden language and the Maple system. The...