3546 search results - page 221 / 710 » A Causal Logic of Logic Programming |
220
click to vote
BANFF
1995
15 years 9 months ago
1995
The automata-theoretic approach to linear temporal logic uses the theory of automata as a unifying paradigm for program specification, verification, and synthesis. Both programs ...
176
click to vote
EUROGP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper we propose an approach to Genetic Programming based on code reuse and we test it in the design of combinational logic circuits at the gate-level. The circui...
153
click to vote
CADE
2010
Springer
15 years 6 months ago
2010
Springer
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...
162
click to vote
ML
2008
ACM
15 years 5 months ago
2008
ACM
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...
147
click to vote
PPDP
2007
Springer
15 years 11 months ago
2007
Springer
We propose a new definition and use of a primitive getAllValues, for computing all the values of a non-deterministic expression in a functional logic program. Our proposal restri...