161
click to vote
JELIA
15 years 7 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...
147
click to vote
AGP
15 years 7 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...
144
click to vote
IEAAIE
15 years 7 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....
140
click to vote
AGP
15 years 7 months ago
1994 IEEE
Kowalski and Sergot's Event Calculus (EC) is a formalism for reasoning about time and change in a logic programming framework. From a description of events which occur in the...
|
Artificial Intelligence