179
Voted
JELIA
15 years 9 months ago
1994 Springer 
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...
167
Voted
AGP
15 years 9 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...
166
Voted
ISMIS
15 years 9 months ago
1994 Springer 
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
162
click to vote
EVOW
15 years 9 months ago
1994 Springer
One of the main problems in applying evolutionary optimisation methods is the choice of operators and parameter values. This paper propose a competitive evolution method, in which ...
|
Artificial Intelligence