935 search results - page 97 / 187 » From Logic Programming Towards Multi-Agent Systems |
123
Voted
ICML
2004
IEEE
16 years 4 months ago
2004
IEEE
Inductive learning of first-order theory based on examples has serious bottleneck in the enormous hypothesis search space needed, making existing learning approaches perform poorl...
138
click to vote
CEFP
2005
Springer
15 years 9 months ago
2005
Springer
This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design...
154
click to vote
ICLP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...
117
click to vote
CD
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The secure deployment of components is widely recognized as a crucial problem in component-based software engineering. While major effort is concentrated on preventing ma...
128
click to vote
ESOP
2003
Springer
15 years 9 months ago
2003
Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...