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

Free access

Research article

First published 2013-11

Complexity of redundancy detection on RDF graphs in the presence of rules,constraints,and queries

Reinhard Pichler, Axel Polleres, Sebastian Skritek [...]

Semantic Web: – Interoperability,Usability,Applicability

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

Learning Rule Ensembles for Ordinal Classification with Monotonicity Constraints

Krzysztof Dembczyński, Wojciech Kotłowski., Roman Słowiński

Fundamenta Informaticae

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

From concrete to inferred knowledge: Enhanced mining constraint-based cyclic association rules from medical social network

Wafa Tebourski, Wahiba Ben Abdessalem Kar, Henda Ben Ghezala

International Journal of Knowledge-Based and Intelligent Engineering Systems

Retricted access

Research article

First published 2015-2

A new tree-based approach for evaluating rule antecedent constraint in confabulation based association rule mining

Azadeh Soltani, Mohammad-R. Akbarzadeh-T.

International Journal of Knowledge-Based and Intelligent Engineering Systems

Retricted access

Research article

First published 1998-7

Building Constraint Satisfaction Problem Solvers Using Rewrite Rules and Strategies

Carlos Castro

Fundamenta Informaticae

Retricted access

Research article

First published 2013-2

Automated repair of scoring rules in constraint-based recommender systems

Alexander Felfernig, Stefan Schippel, Gerhard Leitner [...]

The European Journal on Artificial Intelligence

Search results