Sage Journals: Discover world-class research

Retricted access

Research article

First published 2018

The Impact of Active Domain Predicates on Guarded Existential Rules

Georg Gottlob, Andreas Pieris, Mantas Šimkus

Fundamenta Informaticae

Free access

Research article

First published 2015-8

Sound,complete and minimal UCQ-rewriting for existential rules

Mélanie König, Michel Leclère, Marie-Laure Mugnier [...]

Semantic Web: – Interoperability,Usability,Applicability

Retricted access

Research article

First published 2009-10

A Folding Rule for Eliminating Existential Variables from Constraint Logic Programs

Valerio Senni, Alberto Pettorossi, Maurizio Proietti

Fundamenta Informaticae

Free access

Research article

First published 2021-6-17

UCQ -Rewritings for disjunctive knowledge and queries with negated atoms

Enrique Matos Alfonso, Alexandros Chortaras, Giorgos Stamou

Semantic Web: – Interoperability,Usability,Applicability

Retricted access

Research article

First published 2021

Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker

Sylvain Conchon, Giorgio Delzanno, Angelo Ferrando

Fundamenta Informaticae

Retricted access

Research article

First published 1988-7

Existential there

THOMAS N. HUCKIN, LINDA HUTZ PESANTE

Written Communication

Retricted access

Research article

First published 1997-7

Berne's Life Positions: Science and Morality

Alan Jacobs

Transactional Analysis Journal

Retricted access

Research article

First published 2022-12

Augustine’s Biblical Hermeneutics: Its Three Characteristics and Significance for Today

Hyoseok Kim

The Expository Times

Retricted access

Research article

First published 2009-10

Rollo May’s Critical Position in Psychology

Alberto De Castro

Journal of Humanistic Psychology

Retricted access

Research article

First published 2018

Reasoning on Datalog ± Ontologies with Abductive Logic Programming

Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi [...]

Fundamenta Informaticae

Search results