Sage Journals: Discover world-class research

Retricted access

Research article

First published 2012-11

Compact classification of optimized Boolean reasoning with Particle Swarm Optimization

D.F. Sameon, S.M. Shamsuddin, R. Sallehuddin [...]

Intelligent Data Analysis: An International Journal

Open access

Research article

First published 2015-5-4

Reasoning in abstract dialectical frameworks using quantified Boolean formulas

Martin Diller, Johannes Peter Wallner, Stefan Woltran

Argument & Computation

Retricted access

Research article

First published 2004-11

Construction of Boolean contact algebras

Ivo Düntsch, Michael Winter

The European Journal on Artificial Intelligence

Retricted access

Other

First published 2010-2

Engineering portfolios of Machine Learning algorithms to solve complex tasks in Robotics and Automated Reasoning

Luca Pulina

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2009-08

Inferring Causal Complexity

Michael Baumgartner

Sociological Methods & Research

Open access

Research article

First published 2006-2

Report of the Third QBF Solvers Evaluation 1

Massimo Narizzano, Luca Pulina, Armando Tacchella

Journal on Satisfiability,Boolean Modelling and Computation

Open access

Research article

First published 2006-2

Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages 1

Sylvie Coste-Marquis, Daniel Le Berre, Florian Letombe [...]

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2009-11

Evaluating and certifying QBFs: A comparison of state-of-the-art tools

Massimo Narizzano, Claudia Peschiera, Luca Pulina [...]

The European Journal on Artificial Intelligence

Open access

Research article

First published 2006-2

Hard Satisfiable Clause Sets for Benchmarking Equivalence Reasoning Techniques

Harri Haanpää, Matti Järvisalo, Petteri Kaski [...]

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 1998-5

From Optimal Hyperplanes to Optimal Decision Trees

Nguyen Hung Son

Fundamenta Informaticae

Search results