Sage Journals: Discover world-class research

Retricted access

Research article

First published 2026-2

Recognising formula entailment using long short-term memory network

Amarnath Pathak, Partha Pakray

Journal of Information Science

Retricted access

Research article

First published 2014-7

A modified uncertain entailment model

Xingfang Zhang, Lingqiang Li, Guangwu Meng

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

Retricted access

Research article

First published 2018

Defeasible Reasoning in 𝒮ℛ𝒪ℰℒ: from Rational Entailment to Rational Closure

Laura Giordano, Daniele Theseider Dupré

Fundamenta Informaticae

Retricted access

Research article

First published 1980-08

Simple Approximations to Null Sampling Variances

Robert H. Somers

Sociological Methods & Research

Open access

Research article

First published 2025-11

An Abduction-Based Method for Explaining Non-Entailments of Semantic Matching

Ivan Gocev, Georgios Meditskos, Nick Bassiliades

Semantic Web: – Interoperability,Usability,Applicability

Retricted access

Research article

First published 2014-5

A syntactic possibilistic belief change operator: Theory and empirical study

Célia da Costa Pereira, Andrea G.B. Tettamanzi

Web Intelligence

Retricted access

Research article

First published 2001-6

Psychometric Characteristics of the Conceptions of Mathematics Questionnaire

Andile Mji, Emily N. Klass

Psychological Reports

Retricted access

Research article

First published 1978-12

A Queuing Model for the Utilisation of Machines under Random Parallel Loading

N. Ream

Measurement and Control

Open access

Research article

First published 2014-6

Report on SL-COMP 2014

Mihaela Sighireanu, David R. Cok

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2007-3-20

Compositional information flow security for concurrent programs

Annalisa Bossi, Carla Piazza, Sabina Rossi

Journal of Computer Security

Search results