1063 search results - page 87 / 213 » Order and Negation as Failure |
IJCAI
1989
13 years 11 months ago
1989
Explanation-based generalization algorithms need to generalize the structure of their explanations. This is necessary in order to acquire concepts where a recursive or iterative p...
WCE
2007
13 years 11 months ago
2007
Abstract—Positive stable laws have become a standard tool in modelling heavy tailed data in such diverse areas as finance, engineering and survival analysis. Due to the non–ex...
APAL
2010
13 years 10 months ago
2010
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of the misleading conception that linear logic is more prim...
BMCBI
2008
13 years 10 months ago
2008
Background: A basic question of protein structural studies is to which extent mutations affect the stability. This question may be addressed starting from sequence and/or from str...
AMAI
2006
Springer
13 years 10 months ago
2006
Springer
In this work, we introduce a new framework able to deal with a reasoning that is at the same time non monotonic and uncertain. In order to take into account a certainty level assoc...