Sage Journals: Discover world-class research

Retricted access

Research article

First published 1998-7

Executing Suspended Logic Programs

Robert A. Kowalski, Francesca Toni, Gerhard Wetzel

Fundamenta Informaticae

Retricted access

Research article

First published 2017

Program Verification using Constraint Handling Rules and Array Constraint Generalizations *

Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2010-11

An Investigation of Multi-Agent Planning in CLP

Agostino Dovier, Andrea Formisano, Enrico Pontelli

Fundamenta Informaticae

Retricted access

Research article

First published 2020-8-5

Block structured scheduling using constraint logic programming

Amelia Bădică, Costin Bădică, Mirjana Ivanović

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2018

Constraint Logic Programming with Polynomial Constraints over Finite Domains

Federico Bergenti, Stefania Monica, Gianfranco Rossi

Fundamenta Informaticae

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 2015-10

A Rule-based Verification Strategy for Array Manipulating Programs

Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi [...]

Fundamenta Informaticae

Free access

Research article

First published 2024-07-31

Geometric reasoning on the euclidean traveling salesperson problem in answer set programming 1

Alessandro Bertagnon, Marco Gavanelli

Intelligenza Artificiale

Search results