Sage Journals: Discover world-class research

Retricted access

Research article

First published 2006-5

Negative Ordered Hyper-Resolution as a Proof Procedure for Disjunctive Logic Programming

Linh Anh Nguyen

Fundamenta Informaticae

Retricted access

Research article

First published 2011-5

A logical characterisation of ordered disjunction

Pedro Cabalar

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2011-11

Nested Preferences in Answer Set Programming

Roberto Confalonieri, Juan Carlos Nieves

Fundamenta Informaticae

Retricted access

Research article

First published 1993

On a Framework for Logic Programming with Incomplete Information

Hiroshi Sakai

Fundamenta Informaticae

Retricted access

Research article

First published 2010-8

SLGAD Resolution for Inference on Logic Programs with Annotated Disjunctions

Fabrizio Riguzzi

Fundamenta Informaticae

Retricted access

Research article

First published 2006-5

A backjumping technique for Disjunctive Logic Programming

Francesco Ricca, Wolfgang Faber, Nicola Leone

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2013-3

Expectation maximization over binary decision diagrams for probabilistic logic programs

Elena Bellodi, Fabrizio Riguzzi

Intelligent Data Analysis: An International Journal

Free access

Research article

First published 1996-11

Belief Revision in Non-Monotonic Reasoning and Logic Programming

José Júlio Alferes, Luís Moniz Pereira, Teodor C. Przymusinski

Fundamenta Informaticae

Search results