Search results: Sage Journals

Available accessResearch articleFirst 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

Available accessResearch articleFirst published September, 2015

Roberto Asín, Marc Bezem, Robert Nieuwenhuis

The European Journal on Artificial Intelligence

Open accessResearch articleFirst published November, 2021

Chris Byrne, Nick Randall, Kevin Theakston

The British Journal of Politics and International Relations

Retricted accessResearch articleFirst published February, 2010

Roman Barták, Ondřej Čepek

Transactions of the Institute of Measurement and Control

Free accessResearch articleFirst published June 17, 2021

Enrique Matos Alfonso, Alexandros Chortaras, Giorgos Stamou

Semantic Web: – Interoperability,Usability,Applicability

Available accessResearch articleFirst published May, 2012

Marco Maratea, Luca Pulina

The European Journal on Artificial Intelligence

Open accessResearch articleFirst published April, 2013

Rui Zhang

International Journal of Advanced Robotic Systems

Free accessReview articleFirst published February, 1992

J M Henrioud, A Bourjault

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

Retricted accessResearch articleFirst published July, 1998

Robert A. Kowalski, Francesca Toni, Gerhard Wetzel

Fundamenta Informaticae

Available accessResearch articleFirst published May, 2006

Francesco Ricca, Wolfgang Faber, Nicola Leone

The European Journal on Artificial Intelligence