182
click to vote
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...
171
click to vote
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...
169
click to vote
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...
165
click to vote
EVOW
15 years 9 months ago
1994 Springer 
The genetic programming (GP) paradigm is a new approach to inductively forming programs that describe a particular problem. The use of natural selection based on a fitness ]unction...
|
Artificial Intelligence