Sage Journals: Discover world-class research

Retricted access

Research article

First published 2020

Selective Unification in (Constraint) Logic Programming *

Fred Mesnard, Étienne Payet, Germán Vidal

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 2011-2

Recent constraint/logic programming based advances in the solution of the protein folding problem

Agostino Dovier

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

Retricted access

Research article

First published 2011-1

Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs

Guohua Liu, Jia-Huai You

Fundamenta Informaticae

Retricted access

Research article

First published 2010-6

Level Mapping Induced Loop Formulas for Weight Constraint and Aggregate Logic Programs

Guohua Liu, Jia-Huai You

Fundamenta Informaticae

Retricted access

Research article

First published 2009-11

UsingWeighted Constraints to Diagnose Errors in Logic Programming– The Case of an Ill-defined Domain

Nguyen-Thinh Le, Wolfgang Menzel

International Journal of Artificial Intelligence in Education: The European Journal on Artificial Intelligence

Free access

Research article

First published 2010-11

QOS-Aware Composition of Enterprise System‘s Components: Constraint Logic Programming Approach

Jeremy Besson, Albertas Čaplinskas

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 1998-7

Executing Suspended Logic Programs

Robert A. Kowalski, Francesca Toni, Gerhard Wetzel

Fundamenta Informaticae

Search results