891 search results - page 24 / 179 » Towards Reasoning Pragmatics |
SCAI
2008
13 years 11 months ago
2008
The ability to give explanations for its reasoning and behaviour is a core capability of an intelligent system. There are a number of different goals a user can have towards such e...
CP
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. In 1997 we presented ten challenges for research on satisfiability testing [1]. In this paper we review recent progress towards each of these challenges, including our o...
AUSAI
1997
Springer
14 years 1 months ago
1997
Springer
Learning genetic representation has been shown to be a useful tool in evolutionary computation. It can reduce the time required to find solutions and it allows the search process ...
DIAGRAMS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We have developed a diagrammatic logic for theorem proving, focusing on the domain of metric-space analysis (a geometric domain, but traditionally taught using a dry alge...
LOPSTR
2009
Springer
14 years 4 months ago
2009
Springer