199
click to vote
JELIA
15 years 10 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...
185
click to vote
ISMIS
15 years 10 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...
180
click to vote
AGP
15 years 10 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...
178
click to vote
IEAAIE
15 years 10 months ago
1994 Springer
Two recent projects at ORA have used a blackboard framework during system design.1 DANA is a multimedia network monitoring system, while MARRS is a real-time passive radar system....
|
Artificial Intelligence