Sage Journals: Discover world-class research

Retricted access

Research article

First published 2016

Temporal and Spatial Coherence Verification in SMIL Documents with Hoare Logic and Disjunctive Constraints: A Hybrid Formal Method

Fatma Zohra Mekahlia, Abdelghani Ghomari, Samy Yazid [...]

Journal of Integrated Design and Process Science

Retricted access

Research article

First published 2015-9

Improving IntSat by expressing disjunctions of bounds as linear constraints

Roberto Asín, Marc Bezem, Robert Nieuwenhuis

The European Journal on Artificial Intelligence

Open access

Research article

First published 2021-11

Theresa May’s disjunctive premiership: Choice and constraint in political time

Chris Byrne, Nick Randall, Kevin Theakston

The British Journal of Politics and International Relations

Retricted access

Research article

First published 2010-02

Incremental propagation rules for a precedence graph with optional activities and time windows

Roman Barták, Ondřej Čepek

Transactions of the Institute of Measurement and Control

Free access

Research article

First published 2021-6-17

UCQ -Rewritings for disjunctive knowledge and queries with negated atoms

Enrique Matos Alfonso, Alexandros Chortaras, Giorgos Stamou

Semantic Web: – Interoperability,Usability,Applicability

Retricted access

Research article

First published 2012-5

Solving disjunctive temporal problems with preferences using maximum satisfiability

Marco Maratea, Luca Pulina

The European Journal on Artificial Intelligence

Free access

Review article

First published 1992-2

Computer Aided Assembly Process Planning

J M Henrioud, A Bourjault

Proceedings of the Institution of Mechanical Engineers,Part B: Journal of Engineering Manufacture

Open access

Research article

First published 2013-4

A Simulated Annealing-Based Heuristic Algorithm for Job Shop Scheduling to Minimize Lateness

Rui Zhang

International Journal of Advanced Robotic Systems

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

A backjumping technique for Disjunctive Logic Programming

Francesco Ricca, Wolfgang Faber, Nicola Leone

The European Journal on Artificial Intelligence

Search results