1581 search results - page 220 / 317 » Mechanizing Inductive Reasoning |
114
click to vote
ICFP
2005
ACM
15 years 12 months ago
2005
ACM
We present a parametric Hoare-like logic for computer-aided reasoning about typeable properties of functional programs. The logic is based on the concept of a specialised assertio...
LPAR
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We distill Penrose’s argument against the “artificial intelligence premiss”, and analyze its logical alternatives. We then clarify the different positions one can...
106
click to vote
SEMWEB
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we describe our experience in applying KAoS services to ensure policy compliance for Semantic Web Services workflow composition and enactment. We are developing thes...
101
click to vote
LPAR
2001
Springer
15 years 4 months ago
2001
Springer
When it comes to building robot controllers, highlevel programming arises as a feasible alternative to planning. The task then is to verify a high-level program by finding a lega...
114
click to vote
ATAL
2006
Springer
15 years 1 months ago
2006
Springer
In this paper we present the internal architecture and bidding mechanisms designed for Mertacor, a successful trading agent, which ended up first in the Classic Trading Agent Comp...