Sage Journals: Discover world-class research

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 2007-3

A Resolution Calculus with Shared Literals

Nicolas Peltier

Fundamenta Informaticae

Retricted access

Research article

First published 2003-5

A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs

Linh Anh Nguyen

Fundamenta Informaticae

Retricted access

Research article

First published 2006-7

Foundations of Paraconsistent Resolution

Norihiro Kamide

Fundamenta Informaticae

Retricted access

Research article

First published 1980

Resolution systems and their applications I

Ewa Orłowska

Fundamenta Informaticae

Retricted access

Research article

First published 1976-3

Smoothing and Resolution Enhancement of Photoelectron Spectra with the Aid of a Programmable Desk Calculator

Jean-Jacques Pireaux

Applied Spectroscopy

Retricted access

Research article

First published 2010-5

CTL-RP: A computation tree logic resolution prover

Lan Zhang, Ullrich Hustadt, Clare Dixon

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 1972-05

Quantitative Analysis of Mg,Na,Cl,Al,and Ca in Human Dental Calculus by Neutron Activation Analysis and High Resolution Gamma-Spectrometry

D.H. Retief, P.E. Cleaton-Jones, J. Turkstra [...]

Journal of Dental Research

Retricted access

Research article

First published 2016-11

A Prospective Evaluation of High-Resolution CT Parameters in Predicting Extracorporeal Shockwave Lithotripsy Success for Upper Urinary Tract Calculi

Mahmoud Abdelhamid, Ashraf A. Mosharafa, Hamdy Ibrahim [...]

Journal of Endourology

Open access

Research article

First published 2017-01

A novel image zooming method based on sparse representation of Weber’s law descriptor

Liping Wang, Shangbo Zhou, Karim Awudu [...]

International Journal of Advanced Robotic Systems

Search results