Sage Journals: Discover world-class research

Open access

Research article

First published 2021

Using Hoare Logic in a Process Algebra Setting

J.A. Bergstra, C.A. Middelburg

Fundamenta Informaticae

Retricted access

Research article

First published 2012-1

Finite-valued Logics for Information Processing

Arnon Avron, Beata Konikowska

Fundamenta Informaticae

Retricted access

Research article

First published 2007-09

Graph Theory-based Logic Relationship Programming of Product Development Process

Hong-Zhong Huang, Ying-Kui Gu

Concurrent Engineering

Retricted access

Research article

First published 2013-12

A Logic Framework for Incremental Learning of Process Models

Stefano Ferilli, Floriana Esposito

Fundamenta Informaticae

Free access

Research article

First published 2004-6

Optimal design of tube hydroforming processes: A fuzzy-logic-based approach

R Di Lorenzo, L Filice, D Umbrello [...]

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

Retricted access

Research article

First published 2018-6

Modeling and simulation of logistic processes: risk assessment with a fuzzy logic technique

Vladimir Gajović, Marija Kerkez, Jelena Kočović

SIMULATION

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

Retricted access

Research article

First published 2004-11

Design of Distributed Simulation Environments: A Unified System-Theoretic and Logical Processes Approach

James Nutaro, Hessam Sarjoughian

SIMULATION

Retricted access

Research article

First published 2023-4

Automatic simulation-based testing of autonomous ships using Gaussian processes and temporal logic

Tobias Rye Torben, Jon Arne Glomsrud, Tom Arne Pedersen [...]

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 2021-08-11

A new integrated modelling architecture based on the concept of the fuzzy logic for the turning process

Wafa’ H. AlAlaween, Abdallah H. AlAlawin, Lamees Al-Durgham [...]

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

Search results