Search results

Articles (6)

Journals (0)

1-6 of 6 results for quantified Boolean logic

Sort by:

Relevance

Select all

Sort by:

Relevance

Retricted access

Research article

First published 2003-5

Expressing default abduction problems as quantified Boolean formulas

Hans Tompits

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 1991

Andrzej Blikle

Fundamenta Informaticae

Retricted access

Research article

First published 2010-6

Dimiter Vakarelov

Fundamenta Informaticae

Retricted access

Research article

First published 2009-10

Alessandro Ferrante, Margherita Napoli,, Mimmo Parente

Fundamenta Informaticae

Retricted access

Research article

First published 2006-5

Francesco Ricca, Wolfgang Faber, Nicola Leone

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2020

Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria

Fundamenta Informaticae