Sage Journals: Discover world-class research

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 2008-1

On the Relationship between Description Logic-based and F-Logic-based Ontologies

Jos de Bruijn, Stijn Heymans

Fundamenta Informaticae

Retricted access

Research article

First published 2005-11

The Open Calculus of Constructions (Part II): An Equational Type Theory with Dependent Types for Programming,Specification,and Interactive Theorem Proving

Mark-Oliver Stehr

Fundamenta Informaticae

Retricted access

Research article

First published 2005-10

The Open Calculus of Constructions (Part I): An Equational Type Theory with Dependent Types for Programming,Specification,and Interactive Theorem Proving

Mark-Oliver Stehr

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 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 1996-4

Robustness of the Photo Anxiety Questionnaire: Changing the Sequence of Stimuli and Photographs

Sanneke J. Schouwstra, Johan Hoogstraten, Catharina A. Hartman [...]

Psychological Reports

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 1994-02

The Structure of Self-Fulfilling and Self-Negating Prophecies

Andre Kukla

Theory & Psychology

Retricted access

Research article

First published 2012-9

Ethnomethodology reconsidered: The practical logic of social systems theory

Yu Cheng Liu

Current Sociology

Search results