Sage Journals: Discover world-class research

Retricted access

Research article

First published 2016-2-11

Mass problems and intuitionistic higher-order logic

Sankha S. Basu, Stephen G. Simpson

Computability

Retricted access

Research article

First published 1993-11

Higher-order and Hard-nonlinear Control with Fuzzy Logic

Kuo-Tung Sun, Peng-Yung Woo

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

Retricted access

Research article

First published 2021

The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic

Florian Bruse, Martin Lange, Etienne Lozes

Fundamenta Informaticae

Retricted access

Research article

First published 1997-1

MECHANIZATION OF REAL-TIME LINEAR CSP WITH HIGHER ORDER LOGIC

James F. Peters

Fundamenta Informaticae

Retricted access

Research article

First published 2015-10

Explicit Constructive Logic ECL : a New Representation of Construction and Selection of Logical Information by an Epistemic Agent

Paolo Gentilini, Maurizio Martelli, Giuseppe Rosolini

Fundamenta Informaticae

Retricted access

Research article

First published 2013-2

Sigma: An integrated development environment for formal ontology

Adam Pease, Christoph Benzmüller

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2020-2

Formalization of fractional calculus and fractional order PI controller

Chunna Zhao, Murong Jiang, Yaqun Huan [...]

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 2018-6

Formal reliability analysis of oil and gas pipelines

Waqar Ahmad, Osman Hasan, Sofiène Tahar [...]

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

Retricted access

Review article

First published 2024-3

FLS-based AHOSM control for driverless vehicle steering system with parameter uncertainty

Hongjuan Li, Tianliang Zhang, Ming Tie [...]

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

Retricted access

Research article

First published 2023-2

Towards the formal performance analysis of multistate coherent systems using HOL theorem proving

Shahid Ali Murtza, Waqar Ahmed, Adnan Rashid [...]

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

Search results