Sciweavers

3058 search results - page 199 / 612
» From Intelligent Agents to Intelligent Beings
Sort
View
AAAI
1990
15 years 7 months ago
What Should Be Minimized in a Decision Tree?
In this paper, we address the issue of evaluating decision trees generated from training examples by a learning algorithm. We give a set of performance measures and show how some ...
Usama M. Fayyad, Keki B. Irani
AAAI
1990
15 years 7 months ago
Distributed Cases for Case-Based Reasoning: Facilitating Use of Multiple Cases
A case-based reasoner can frequently benefit from using pieces of multiple previous cases in the course of solving a single problem. In our model, case pieces, called snippets, ar...
Michael Redmond
AAAI
1990
15 years 7 months ago
A Design Based Approach to Constructing Computational Solutions to Diagnostic Problems
Troubleshooting problems in real manufacturing environments impose constraints on admissible solutions that make the computational solutions offered by "troubleshooting from ...
D. Volovik, Imran A. Zualkernan, Paul E. Johnson, ...
ATAL
2010
Springer
15 years 7 months ago
On the logic of argumentation theory
The paper applies modal logic to formalize fragments of argumentation theory. Such formalization allows to import, for free, a wealth of new notions (e.g., argument equivalence), ...
Davide Grossi
ATAL
2010
Springer
15 years 7 months ago
Runtime monitoring of contract regulated web services
We investigate the problem of locally monitoring contract regulated behaviours in web services. We encode contract clauses in service specifications by using extended timed automat...
Alessio Lomuscio, Monika Solanki, Wojciech Penczek...