Search CORE

1,721,082 research outputs found

Empirical Evaluation of Scoring Methods

Author: PULINA Luca
Publication venue
Publication date: 01/01/2006
Field of study

CINECA IRIS Institutial research information system UNISS

An Ontology for Container Terminal Operations

Author: PULINA Luca
Publication venue
Publication date: 01/01/2014
Field of study

CINECA IRIS Institutial research information system UNISS

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

Author: PULINA Luca
Publication venue
Publication date: 01/01/2010
Field of study

CINECA IRIS Institutial research information system UNISS

NeVer: A Tool for Artificial Neural Networks Verification

Author: PULINA Luca
TACCHELLA A.
Publication venue
Publication date: 01/01/2011
Field of study

CINECA IRIS Institutial research information system UNISS

TROvE: a Graphical Tool to Evaluate OWL Reasoners

Author: PULINA Luca
Bourguet JR
Publication venue
Publication date: 01/01/2014
Field of study

CINECA IRIS Institutial research information system UNISS

QuBIS: An (In)complete Solver for Quantified Boolean Formulas

Author: PULINA Luca
Tacchella A.
Publication venue
Publication date: 01/01/2008
Field of study

CINECA IRIS Institutial research information system UNISS

Hard QBF Encodings Made Easy: Dream or Reality?

Author: PULINA Luca
TACCHELLA A.
Publication venue
Publication date: 01/01/2009
Field of study

CINECA IRIS Institutial research information system UNISS

Solving disjunctive temporal problems with preferences using maximum satisfiability

Author: PULINA Luca
Maratea M
Publication venue
Publication date: 01/01/2012
Field of study

CINECA IRIS Institutial research information system UNISS

A self-adaptive multi-engine solver for quantified Boolean formulas

Author: PULINA Luca
TACCHELLA A.
Publication venue
Publication date: 01/01/2009
Field of study

CINECA IRIS Institutial research information system UNISS

A Multi-engine Solver for Quantified Boolean Formulas

Author: PULINA Luca
TACCHELLA A.
Publication venue
Publication date: 01/01/2007
Field of study

CINECA IRIS Institutial research information system UNISS

…

core