3738 search results - page 344 / 748 » Parametrized Logic Programming |
142
click to vote
JSAI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper is concerned with algorithms for the logical generalisation of probabilistic temporal models from examples. The algorithms combine logic and probabilistic mode...
162
click to vote
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
We present a sound and complete proof technique, based on syntactic logical relations, for showing contextual equivalence of expressions in a -calculus with recursive types and imp...
144
Voted
ROBOCUP
2000
Springer
15 years 7 months ago
2000
Springer
Building agents for a scenario such as the RoboCup simulation league requires not only methodologies for implementing high-level complex behavior, but also the careful and efficien...
122
click to vote
POPL
2003
ACM
15 years 9 months ago
2003
ACM
First-class continuations are a powerful computational effect, allowing the programmer to express any form of jumping. Types and effect systems can be used to reason about contin...
163
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
—We present controllers that enable mobile robots to persistently monitor or sweep a changing environment. The changing environment is modeled as a field which grows in location...