AGP 1994 | Sciweavers

12

AGP
1994
IEEE

137views Artificial Intelligence» more AGP 1994»

A Compositional Semantics for Conditional Term Rewriting Systems

13 years 8 months ago

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,...

María Alpuente, Moreno Falaschi, Marí...

claim paper

Read More »

11

click to vote

AGP
1994
IEEE

201views Artificial Intelligence» more AGP 1994»

An Abstract Interpretation Framework for (almost) Full Prolog

13 years 8 months ago

Download www.dsi.unive.it

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...

Baudouin Le Charlier, Sabina Rossi, Pascal Van Hen...

claim paper

Read More »

13

click to vote

AGP
1994
IEEE

115views Artificial Intelligence» more AGP 1994»

What the Event Calculus actually does, and how to do it efficiently

13 years 8 months ago

Download www.qatar.cmu.edu

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...

Iliano Cervesato, Luca Chittaro, Angelo Montanari

claim paper

Read More »

6

click to vote

AGP
1994
IEEE

88views Artificial Intelligence» more AGP 1994»

A Logic for Encapsulation in Object-Oriented Languages

13 years 8 months ago