Sage Journals: Discover world-class research

Retricted access

Research article

First published 1992

A Modal Semantics of Negation in Logic Programming

Philippe Balbiani

Fundamenta Informaticae

Retricted access

Research article

First published 1995-6

RELATIONAL ALGEBRA AND EQUATIONAL PROOFS

Eric de Kogel

Fundamenta Informaticae

Retricted access

Research article

First published 1995-7

A FORMALIZATION OF VIEWPOINTS

Guiseppe Attardi, Maria Simi

Fundamenta Informaticae

Retricted access

Research article

First published 2008-5

A Semantic Analysis of a Logic for Pragmatics with Assertions,Obligations,and Causal Implication

Kurt Ranalter

Fundamenta Informaticae

Retricted access

Research article

First published 2015-10

Negation as a Resource: a Novel View on Answer Set Semantics *

Stefania Costantini, Andrea Formisano

Fundamenta Informaticae

Free access

Research article

First published 2017-8-7

Distributed query processing in the presence of blank nodes

Audun Stolpe, Jonas Halvorsen

Semantic Web: – Interoperability,Usability,Applicability

Open access

Research article

First published 2014-1-2

A tutorial on assumption-based argumentation

Francesca Toni

Argument & Computation

Retricted access

Research article

First published 2007-9-29

Dynamic types for authentication *

Michele Bugliesi, Riccardo Focardi, Matteo Maffei

Journal of Computer Security

Retricted access

Research article

First published 2007-11

On Modal Grzegorczyk Logic

Larisa Maksimova

Fundamenta Informaticae

Retricted access

Research article

First published

On lifting quasi-filters and strong lifting quasi-filters in MV-algebras

Xiaodong Pan, Yang Xu

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

Search results