3808 search results - page 316 / 762 » Artificial Intelligence: A Modern Approach |
157
click to vote
TABLEAUX
1998
Springer
15 years 11 months ago
1998
Springer
The FaCT (Fact and Concept Training) System provides a general platform for delivering practice in the form of discrete flashcard-like drills. The system optimizes practice schedu...
177
click to vote
TABLEAUX
1998
Springer
15 years 11 months ago
1998
Springer
The methodology of fibring is a successful framework for combining logical systems based on combining their semantics. In this paper, we extend the fibring approach to calculi for ...
191
click to vote
AIIA
1997
Springer
15 years 11 months ago
1997
Springer
We propose an approach for the integration of abduction and induction in Logic Programming. In particular, we show how it is possible to learn an abductive logic program starting f...
201
click to vote
AGP
1994
IEEE
15 years 11 months ago
1994
IEEE
act Interpretation Framework for (almost) Full Prolog1 B. Le Charlier S. Rossi P. Van Hentenryck University of Namur University of Padova Brown University 21 rue Grandgagnage 7 via...
191
click to vote
ICTAI
1993
IEEE
15 years 11 months ago
1993
IEEE
Selecting a set of features which is optimal for a given task is a problem which plays an important role in a wide variety of contexts including pattern recognition, adaptive cont...