3572 search results - page 237 / 715 » Nominal Logic Programming |
161
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the
236
click to vote
OOPSLA
2007
Springer
16 years 23 days ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
150
click to vote
ICCAD
1997
IEEE
15 years 10 months ago
1997
IEEE
The circuit tuning problem is best approached by means of gradient-based nonlinear optimization algorithms. For large circuits, gradient computation can be the bottleneck in the o...
301
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
We propose a characterization of PSPACE by means of a type assignment for an extension of lambda calculus with a conditional construction. The type assignment STAB is an extension...
176
click to vote
AMI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We propose SAGE, an agent-based environment monitoring and control system based on computation logic. SAGE uses forward chaining deductive inference to map low level sens...