Publications

158 entries « 3 of 4 »

2014

Pulina, L

An ontology for container terminal operations Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8741 , pp. 224-229, 2014.

Links | BibTeX

Bourguet, J -R; Pulina, L

TROvE: A graphical tool to evaluate OWL reasoners Conference

1207 , CEUR-WS, 2014.

Links | BibTeX

Maratea, M; Pulina, L; Ricca, F

A multi-engine approach to answer-set programming Journal Article

Theory and Practice of Logic Programming, 14 (6), pp. 841-868, 2014.

Links | BibTeX

Grosso, E; Lagorio, A; Pulina, L; Tistarelli, M

Towards practical space-variant based face recognition and authentication Conference

Institute of Electrical and Electronics Engineers Inc., 2014.

Links | BibTeX

Palumbo, F; Sau, C; Raffo, L

Power-awarness in coarse-grained reconfigurable designs: A dataflow based strategy Conference

Institute of Electrical and Electronics Engineers Inc., 2014.

Links | BibTeX

Palumbo, F; Carta, N; Pani, D; Meloni, P; Raffo, L

The multi-dataflow composer tool: Generation of on-the-fly reconfigurable platforms Journal Article

Journal of Real-Time Image Processing, 9 (1), pp. 233-249, 2014.

Links | BibTeX

Sau, C; Raffo, L; Palumbo, F; Bezati, E; Casale-Brunet, S; Mattavelli, M

Automated design flow for coarse-grained reconfigurable platforms: An RVC-CAL multi-standard decoder use-case Conference

Institute of Electrical and Electronics Engineers Inc., 2014.

Links | BibTeX

2013

Maratea, M; Pulina, L; Ricca, F

Automated selection of grounding algorithm in Answer Set Programming Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8249 LNAI , pp. 73-84, 2013.

Links | BibTeX

Bourguet, J -R; Maratea, M; Pulina, L

A reduction-based approach for solving Disjunctive Temporal Problems with Preferences Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8249 LNAI , pp. 445-456, 2013.

Links | BibTeX

Pathak, S; Pulina, L; Metta, G; Tacchella, A

Ensuring safety of policies learned by reinforcement: Reaching objects in the presence of obstacles with the iCub Conference

2013.

Links | BibTeX

Bourguet, J -R; Cicala, G; Pulina, L; Tacchella, A

OBDA and intermodal logistics: Active projects and applications Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7994 LNCS , pp. 210-215, 2013.

Links | BibTeX

Bourguet, J -R; Pulina, L

FRaQuE: A framework for rapid query processing evaluation Conference

1015 , CEUR-WS, 2013.

Links | BibTeX

Pathak, S; Pulina, L; Metta, G; Tacchella, A

How to abstract intelligence? If verification is in order Conference

FS-13-02 , AI Access Foundation, 2013.

Links | BibTeX

Carta, N; Sau, C; Pani, D; Palumbo, F; Raffo, L

A coarse-grained reconfigurable approach for low-power spike sorting architectures Conference

2013.

Links | BibTeX

Carta, N; Sau, C; Palumbo, F; Pani, D; Raffo, L

A coarse-grained reconfigurable wavelet denoiser exploiting the multi-dataflow composer tool Conference

2013.

Links | BibTeX

Palumbo, F; Sau, C; Raffo, L

DSE and profiling of multi-context coarse-grained reconfigurable systems Conference

IEEE Computer Society, 2013.

Links | BibTeX

2012

Maratea, M; Pulina, L; Ricca, F

Applying machine learning techniques to ASP solving Conference

17 , 2012.

Links | BibTeX

Maratea, M; Pulina, L; Ricca, F

The multi-engine ASP solver me-asp Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7519 LNAI , pp. 484-487, 2012.

Links | BibTeX

Grosso, E; Pulina, L; Tistarelli, M

Modeling biometric template update with Ant Colony Optimization Conference

2012.

Links | BibTeX

Pulina, L; Tacchella, A

Challenging SMT solvers to verify neural networks Journal Article

AI Communications, 25 (2), pp. 117-135, 2012.

Links | BibTeX

Maratea, M; Pulina, L

Solving disjunctive temporal problems with preferences using maximum satisfiability Journal Article

AI Communications, 25 (2), pp. 137-156, 2012.

Links | BibTeX

Grosso, E; Lagorio, A; Pulina, L; Tistarelli, M

Understanding critical factors in appearance-based gender categorization Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7584 LNCS (PART 2), pp. 280-289, 2012.

Links | BibTeX

Sau, C; Pani, D; Palumbo, F; Raffo, L

A nature-inspired adaptive floating-point coprocessing system Conference

2012.

Links | BibTeX

Nezan, J -F; Siret, N; Wipliez, M; Palumbo, F; Raffo, L

Multi-purpose systems: A novel dataflow-based generation and mapping strategy Conference

2012.

Links | BibTeX

Palumbo, F; Pani, D; Congiu, A; Raffo, L

Concurrent hybrid switching for massively parallel systems-on-chip: The CYBER architecture Conference

2012.

Links | BibTeX

2011

Pulina, L; Tacchella, A

Checking safety of neural networks with SMT solvers: A comparative evaluation Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6934 LNAI , pp. 127-138, 2011.

Links | BibTeX

Maratea, M; Pulina, L

Over-subscription planning with Boolean optimization: An assessment of state-of-the-art solutions Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6934 LNAI , pp. 420-425, 2011.

Links | BibTeX

Pulina, L; Tacchella, A

NEVER: A tool for artificial neural networks verification Journal Article

Annals of Mathematics and Artificial Intelligence, 62 (3-4), pp. 403-425, 2011.

Links | BibTeX

Palumbo, F; Pani, D; Raffo, L

Hybrid switching techniques for heterogeneous traffic support in multi-processors system on chip and massively parallel processors Book

Nova Science Publishers, Inc., 2011.

Links | BibTeX

Palumbo, F; Carta, N; Raffo, L

The multi-dataflow composer tool: A runtime reconfigurable HDL platform composer Conference

2011.

Links | BibTeX

Palumbo, F; Pani, D; Deidda, A; Raffo, L

Towards self-adaptive networks on chip for massively parallel processors: Multilevel quality of service programmability Conference

2011.

Links | BibTeX

2010

Pulina, L; Tacchella, A

An empirical study of QBF encodings: From treewidth estimation to useful preprocessing Journal Article

Fundamenta Informaticae, 102 (3-4), pp. 391-427, 2010.

Links | BibTeX

Pulina, L; Tacchella, A

An abstraction-refinement approach to verification of artificial neural networks Conference

616 , 2010.

Links | BibTeX

Metta, G; Natale, L; Pathak, S; Pulina, L; Tacchella, A

Safe learning with real-time constraints: A case study Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6096 LNAI (PART 1), pp. 133-142, 2010.

Links | BibTeX

Metta, G; Natale, L; Pathak, S; Pulina, L; Tacchella, A

Safe and effective learning: A case study Conference

2010.

Links | BibTeX

Pulina, L; Tacchella, A

An abstraction-refinement approach to verification of artificial neural networks Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6174 LNCS , pp. 243-257, 2010.

Links | BibTeX

Peschiera, C; Pulina, L; Tacchella, A; Bubeck, U; Kullmann, O; Lynce, I

The seventh QBF solvers evaluation (QBFEVAL'10) Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6175 LNCS , pp. 237-250, 2010.

Links | BibTeX

Pulina, L

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

AI Communications, 23 (1), pp. 61-63, 2010.

Links | BibTeX

Stern, D; Herbrich, R; Graepel, T; Samulowitz, H; Pulina, L; Tacchella, A

Collaborative expert portfolio management Conference

1 , AI Access Foundation, 2010.

Links | BibTeX

Palumbo, F; Pani, D; Manca, E; Raffo, L; Mattavelli, M; Roquier, G

RVC: A multi-decoder CAL composer tool Conference

2010.

Links | BibTeX

Palumbo, F; Pani, D; Pilia, A; Raffo, L

Impact of half-duplex and full-duplex DMA implementations on NoC performance Conference

2010.

Links | BibTeX

Pani, D; Palumbo, F; Raffo, L

A fast MPI-based parallel framework for cycle-accurate HDL multi-parametric simulations Journal Article

International Journal of High Performance Systems Architecture, 2 (3-4), pp. 187-202, 2010.

Links | BibTeX

2009

Pulina, L; Tacchella, A

Hard QBF encodings made easy: Dream or reality? Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5883 LNAI , pp. 31-41, 2009.

Links | BibTeX

Pulina, L; Tacchella, A

Learning to integrate deduction and search in reasoning about quantified boolean formulas Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5749 LNAI , pp. 350-365, 2009.

Links | BibTeX

Narizzano, M; Peschiera, C; Pulina, L; Tacchella, A

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

AI Communications, 22 (4), pp. 191-210, 2009.

Links | BibTeX

Pulina, L; Tacchella, A

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

Constraints, 14 (1), pp. 80-116, 2009.

Links | BibTeX

Pulina, L; Tacchella, A

A structural approach to reasoning with quantified Boolean formulas Conference

589 , CEUR-WS, 2009.

Links | BibTeX

Pulina, L; Tacchella, A

Treewidth: A useful marker of empirical hardness in quantified boolean logic encodings Conference

451 , CEUR-WS, 2009.

Links | BibTeX

Pulina, L; Tacchella, A

A structural approach to reasoning with quantified Boolean formulas Conference

International Joint Conferences on Artificial Intelligence, 2009.

Links | BibTeX

Kontchakov, R; Pulina, L; Sattler, U; Schneider, T; Selmer, P; Wolter, F; Zakharyaschev, M

Minimal module extraction from DL-lite ontologies using QBF solvers Conference

International Joint Conferences on Artificial Intelligence, 2009.

Links | BibTeX

158 entries « 3 of 4 »