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 2022-9

Constraint handling methods for a generative envelope design using genetic algorithms: The case of a highly constrained problem

Claire Duclos-Prévet, François Guéna, Mariano Efron

International Journal of Architectural Computing

Retricted access

Research article

First published 2025-7

Path tracking with personalized handling stability constraints matched to driving styles

Qianxi Pan, Bing Zhou, Qingjia Cui [...]

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

Open access

Research article

First published 2026

Safe patient handling: Exploring work constraints faced by healthcare workers in a Portuguese hospital

Joana Afonso-Fernandes, Marta Mendes, Pedro Arezes [...]

WORK: A Journal of Prevention,Assessment & Rehabilitation

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 2016-4

Handling temporal constraints with preferences in HTN planning for emergency decision-making

Minglei Li, Hongwei Wang, Chao Qi [...]

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Open access

Research article

First published 2015-8

Handling Interservice Time Constraints in Wireless Networks

Xu Zheng, Jianzhong Li, Hong Gao

International Journal of Distributed Sensor Networks

Retricted access

Research article

First published 2026-1

Lateral stability and constraint boundary of a vehicle with active rear steering

Heng Wei, Yuefeng Huang, Yicai Liu [...]

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

Retricted access

Research article

First published 2024

Constraint-following adaptive robust control for multi-vehicle system formation with collision avoidance

Gang Xiao, Jiawen Li, Qinwen Yang [...]

Journal of Vibration and Control

Search results