Sage Journals: Discover world-class research

Retricted access

Research article

First published 2010-8

Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes

Marco Montali, Paolo Torroni, Federico Chesani [...]

Fundamenta Informaticae

Free access

Research article

First published 2018-1-24

ServLog : A unifying logical framework for service modeling and contracting

Dumitru Roman, Michael Kifer

Semantic Web: – Interoperability,Usability,Applicability

Retricted access

Research article

First published 2014-12

The MATHESIS meta-knowledge engineering framework: Ontology-driven development of intelligent tutoring systems

Dimitrios Sklavakis, Ioannis Refanidis

Applied Ontology

Retricted access

Research article

First published 2009-5

Using interaction models to detect and resolve inconsistencies in evolving service compositions

Renée Elio, Eleni Stroulia, Warren Blanchet

Web Intelligence

Retricted access

Research article

First published 1994-8

Procedural Learning and the Development and Stability of Character

Jim Grigsby, George H. Hartlaub

Perceptual and Motor Skills

Retricted access

Research article

First published 2021-8

Construct Validation of a New Instrument to Measure Declarative Tactical Knowledge in Basketball

Cleiton Pereira Reis, Juan Carlos Pérez Morales, Cristiano Mauro Assis Gomes [...]

Perceptual and Motor Skills

Retricted access

Research article

First published 2012-8

The domestication of early childhood education plans in Finland

Pertti Alasuutari, Maarit Alasuutari

Global Social Policy

Free access

Research article

First published 1998-12

Declarative Specifications for Pharmaceutical Robotics Systems

Pawel Rodziewicz

Journal of Laboratory Automation

Retricted access

Research article

First published 2017-2

Improving Cultural Analysis

Omar Lizardo

American Sociological Review

Retricted access

Research article

First published 1986-06

Pasion

Stanislaw Raczynski

SIMULATION

Search results