1131 search results - page 82 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
101
click to vote
ICALP
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We describe SAFL, a call-by-value first-order functional language which is syntactically restricted so that storage may be statically allocated to fixed locations. Evalua...
106
Voted
AAAI
2006
15 years 1 months ago
2006
Intelligent agents must be able to handle the complexity and uncertainty of the real world. Logical AI has focused mainly on the former, and statistical AI on the latter. Markov l...
128
Voted
ECML
2004
Springer
15 years 4 months ago
2004
Springer
The kernel function plays a central role in kernel methods. Most existing methods can only adapt the kernel parameters or the kernel matrix based on empirical data. Recently, Ong e...
84
Voted
ICFP
2010
ACM
15 years 1 months ago
2010
ACM
We show how the binary encoding and decoding of typed data and typed programs can be understood, programmed, and verified with the help of question-answer games. The encoding of a...
103
click to vote
ICLP
2007
Springer
15 years 6 months ago
2007
Springer
aa We consider the problem of obtaining a minimal logic program strongly equivalent (under the stable models semantics) to a given arbitrary propositional theory. We propose a meth...