145
Voted
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...
136
Voted
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...
131
Voted
AGP
15 years 6 months ago
1994 IEEE
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...
86
Voted
AGP
15 years 7 months ago
1994 IEEE  |
Artificial Intelligence