Sage Journals: Discover world-class research

Open access

Research article

First published 2026

DELE: Deductive E L + + Embeddings for Knowledge Base Completion

Olga Mashkova, Fernando Zhapa-Camacho, Robert Hoehndorf

Neurosymbolic Artificial Intelligence

Retricted access

Research article

First published 2006-8

A Strong Completeness Result for a MAS Logic

Magdalena Kacprzak

Fundamenta Informaticae

Retricted access

Research article

First published 2003-7

Eliminating Unorthodox Derivation Rules in an Axiom System for Iteration-free PDL with Intersection

Philippe Balbiani

Fundamenta Informaticae

Retricted access

Research article

First published 1987-06

Complete Amino Acid Sequence of Human Ornithine Decarboxylase Deduced from Complementary DNA

Noreen J. Hickok, Pauli J. Seppänen, Glen L. Gunsalus [...]

DNA and Cell Biology

Free access

Abstract

First published 1978-1

The two dimensional structure of tetrazolium-mucopolysaccharide complexes deduced from reactivity studies.

V A DeBari, M A Needle

Journal of Histochemistry & Cytochemistry

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

Retricted access

Research article

First published 1989-10

Human Nidogen: Complete Amino Acid Sequence and Structural Domains Deduced from cDNAs,and Evidence for Polymorphism of the Gene

Toshiro Nagayoshi, David Sanborn, Noreen J. Hickok [...]

DNA and Cell Biology

Retricted access

Research article

First published 1997-8

Partial Structural Synthesis of Programs

Mihhail Matskin, Jan Komorowski

Fundamenta Informaticae

Retricted access

Research article

First published 1993

A Prolegomenon to Partial Deduction

Jan Komorowski

Fundamenta Informaticae

Retricted access

Research article

First published 2005-10

Power of Balanced Poly-Phase Systems: An Application of the Multi-Terminal Network Power Theorem

F. Redondo Quintela, R. C. Redondo Melchor, M. M. Redondo Melchor

International Journal of Electrical Engineering & Education

Search results