Sage Journals: Discover world-class research

Free access

Research article

First published 1996-11

Logic Programming from the Perspective of Algebraic Semantics

Jan A. Plaza

Fundamenta Informaticae

Retricted access

Research article

First published 1978

The resolution principle for ω + -valued logic

Ewa Orłowska

Fundamenta Informaticae

Retricted access

Research article

First published 2018

Extending Logic Programming with Labelled Variables: Model and Semantics

Roberta Calegari, Enrico Denti, Agostino Dovier [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2006-7

Foundations of Paraconsistent Resolution

Norihiro Kamide

Fundamenta Informaticae

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 2009-10

Normal Form Nested Programs

Annamaria Bria, Wolfgang Faber, Nicola Leone

Fundamenta Informaticae

Retricted access

Research article

First published 2017

Herbrand-satisfiability of a Quantified Set-theoretic Fragment *

Domenico Cantone, Cristiano Longo, Marianna Nicolosi-Asmundo

Fundamenta Informaticae

Retricted access

Research article

First published 2017-4-18

I-DLV: The new intelligent grounder of DLV

Francesco Calimeri, Davide Fuscà, Simona Perri [...]

Intelligenza Artificiale

Search results