179
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...
171
click to vote
AGP
15 years 10 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...
161
click to vote
AGP
15 years 9 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,...
|
Artificial Intelligence