Sage Journals: Discover world-class research

Open access

Research article

First published 2016-6

On Exponential Lower Bounds for Partially Ordered Resolution

Mikoláš Janota

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2013-8

A Resolution Calculus for First-order Schemata

Vincent Aravantinos, Mnacho Echenim, Nicolas Peltier

Fundamenta Informaticae

Retricted access

Research article

First published 2021-8

Fractional order system modelling with Legendre wavelet multi-resolution analysis

Zishuo Wang, Chunyang Wang, Shuning Liang [...]

Transactions of the Institute of Measurement and Control

Retricted access

Research article

First published 2018

Multi-ary α-ordered linear minimal resolution method in lattice-valued logic system 1

Jia Hairui, Liu Yi, Xu Yang

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

Retricted access

Research article

First published 2006-5

Negative Ordered Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming

Linh Anh Nguyen

Fundamenta Informaticae

Retricted access

Research article

First published 2019-2

Quantification of Lipid Phase Order of In Vivo Human Skin Using Attenuated Total Reflection Fourier Transform Infrared (ATR FT-IR) Spectroscopy and Multivariate Curve Resolution Analysis

Yury Yarovoy, Dane M. Drutis, Thomas M. Hancewicz [...]

Applied Spectroscopy

Retricted access

Research article

First published 2015-10-23

Multi-ary α-semantic resolution automated reasoning based on lattice-valued first-order logic LF ( X ) 1

Liu Yi, Xu Yang, Zhong Xiaomei

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

Open access

Research article

First published 2023-9

High order multi-resolution WENO scheme with AUSMV numerical flux for solving the two-phase flows

Shahid Mehmood, Asad Rehman, Saqib Zia

Advances in Mechanical Engineering

Retricted access

Research article

First published 2010-5

Implementing a fair monodic temporal logic prover

Michel Ludwig, Ullrich Hustadt

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 1987-10

Rarefaction and Resolution,Stimulus Area and Detection: An Order of Priority

Fulvia Vardabasso, Lucia Zanuttini

Perceptual and Motor Skills

Search results