Sage Journals: Discover world-class research

Retricted access

Other

First published 2002-5

Transformation Rules and Strategies for Functional‐Logic Programs

Ginés Moreno

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 1993

An Abstract Strategy for Transforming Logic Programs 1

Maurizio Proietti, Alberto Pettorossi

Fundamenta Informaticae

Retricted access

Research article

First published 2006-1

Control Generation by Program Transformation

Andy King, Jonathan C. Martin

Fundamenta Informaticae

Retricted access

Research article

First published 2006-1

A Multiple-Clause Folding Rule Using Instantiation and Generalization

David A. Rosenblueth

Fundamenta Informaticae

Retricted access

Other

First published 2003-5

Partial evaluation of lazy functional logic programs

Pascual Julián Iranzo

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2011-2

A valuable experience in logic programming

Annalisa Bossi, Nicoletta Cocco

Intelligenza Artificiale

Retricted access

Research article

First published 2013-9

Proving Theorems by Program Transformation

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2006-9

A Value-propagating Transformation Technique for Datalog Programs Based on Non-Deterministic Constructs

Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis

Fundamenta Informaticae

Retricted access

Research article

First published 2011-2

Program transformation for development,verification,and synthesis of programs

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti [...]

Intelligenza Artificiale

Retricted access

Research article

First published 2009-10

A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs

Valerio Senni, Alberto Pettorossi, Maurizio Proietti

Fundamenta Informaticae

Search results