1664 search results - page 26 / 333 » Towards Partial Reasoning |
119
Voted
SCAI
2008
15 years 2 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...
101
Voted
CP
2003
Springer
15 years 6 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...
86
Voted
AUSAI
1997
Springer
15 years 5 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 ...
151
Voted
CADE
1998
Springer
15 years 5 months ago
1998
Springer
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...
113
Voted
NMELP
1994
15 years 5 months ago
1994
In Prz91], Przymusinski introduced the partial (or 3-valued) stable model semantics which extends the (2-valued) stable model semantics dened originally by Gelfond and Lifschitz G...