Sage Journals: Discover world-class research

Retricted access

Research article

First published 2008-3

First-Order Ground Non-Monotonic Modal Logic

Benjamin Grimberg, Michael Kaminski

Fundamenta Informaticae

Retricted access

Research article

First published 2020

A Unifying Approach for Nonmonotonic S4F,(Reflexive) Autoepistemic Logic,and Answer Set Programming

Ezgi Iraz Su

Fundamenta Informaticae

Retricted access

Research article

First published 2005-9

A New Partial Semantics for Disjunctive Deductive Databases

Françoise Gire, Corinne Plourde

Fundamenta Informaticae

Retricted access

Research article

First published 2008-1

Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web

Thomas Lukasiewicz

Fundamenta Informaticae

Retricted access

Research article

First published 2017

Abducible Semantics and Argumentation

Mauricio Osorio, José Luis Carballido, Claudia Zepeda

Fundamenta Informaticae

Retricted access

Research article

First published 2026

Bootstrapping SysML with LLM-based inference and integrated discrete-event simulation

Abdurrahman Alshareef

SIMULATION

Retricted access

Research article

First published 2018

Sequence Semantics for Modelling Reason-based Preferences

Erica Calardo, Guido Governatori, Antonino Rotolo

Fundamenta Informaticae

Retricted access

Research article

First published 2013-2

Some Methodological Remarks Inspired by the Paper “On inner classes” by A. Igarashi and B. Pierce

Hans Langmaack, Andrzej Salwicki

Fundamenta Informaticae

Retricted access

Research article

First published 2018

Towards a Rational Closure for Expressive Description Logics: the Case of 𝒮𝒽𝒾𝓆

Laura Giordano, Valentina Gliozzi, Nicola Olivetti

Fundamenta Informaticae

Open access

Research article

First published 2025

Building information model and schema cross-validation using semantics – conceptual framework

Wojciech Teclaw, Marcin Luczkowski, Nathalie Labonnote [...]

International Journal of Architectural Computing

Search results