Sciweavers

AMAI
2002
Springer
13 years 5 months ago
Locally Strong Coherence in Inference Processes
Andrea Capotorti, Barbara Vantaggi
AMAI
2002
Springer
13 years 5 months ago
A Reasoning Model Based on the Production of Acceptable Arguments
Argumentation is a reasoning model based on the construction of arguments and counterarguments (defeaters) then the selection of the most acceptable of them. In this paper, we pro...
Leila Amgoud, Claudette Cayrol
AMAI
2002
Springer
13 years 5 months ago
Adaptable Boundary Sets
This paper proposes adaptable boundary sets as a new version-space representation. It is shown that adaptable boundary sets can be adjusted to a version-space representation betwe...
Evgueni N. Smirnov, H. Jaap van den Herik, Ida G. ...
AMAI
2002
Springer
13 years 5 months ago
Generalizations of Watched Literals for Backtracking Search
The technique of watching two literals per clause to determine when a clause becomes a unit clause was introduced recently in the Chaff satisfiability program. That program does n...
Allen Van Gelder
AMAI
2002
Springer
13 years 5 months ago
A Complete Axiomatization for Blocks World
Blocks World (BW) has been one of the most popular model domains in AI history. However, there has not been serious work on axiomatizing the state constraints of BW and giving jus...
Stephen A. Cook, Yongmei Liu
AMAI
2002
Springer
13 years 5 months ago
Minimizing Output Error in Multi-Layer Perceptrons
act It is well-established that a multi-layer perceptron (MLP) with a single hidden layer of N neurons and an activation function bounded by zero at negative infinity and one at in...
Jonathan P. Bernick