Sage Journals: Discover world-class research

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

Open access

Research article

First published 2018-7-16

Representing argumentation schemes with Constraint Handling Rules (CHR)

Thomas F. Gordon, Horst Friedrich, Douglas Walton

Argument & Computation

Retricted access

Research article

First published 2020

Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms: Theory,Implementations,and Complexity

Thom Frühwirth

Fundamenta Informaticae

Retricted access

Research article

First published 1999-8

An Open Automated Framework for Constraint Solver Extension: the SoleX Approach

Eric Monfroy, Christophe Ringeissen

Fundamenta Informaticae

Retricted access

Research article

First published 1998-7

Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies

Carlos Castro

Fundamenta Informaticae

Open access

Research article

First published 2018-3

Constraint Simplification for Data Editing of Numerical Variables

Jacco Daalmans

Journal of Official Statistics

Retricted access

Research article

First published 2020

lpopt: A Rule Optimization Tool for Answer Set Programming

Manuel Bichler, Michael Morak, Stefan Woltran

Fundamenta Informaticae

Retricted access

Research article

First published 2013-8

The CHR-based Implementation of the SCIFF Abductive System

Marco Alberti, Marco Gavanelli, Evelina Lamma

Fundamenta Informaticae

Retricted access

Research article

First published 1991-10

On the Synthesis of Constraint Systems for Stable Workholding

D T Pham, E Tacgin

Proceedings of the Institution of Mechanical Engineers,Part D: Journal of Automobile Engineering

Retricted access

Research article

First published 2011-11

Simulations on workflow management systems: A framework based on event choice datalog

Gianluigi Greco, Antonella Guzzo, Domenico Saccà

Intelligenza Artificiale

Search results