Luca Pulina - Publications, H-index & Citations

Luca Pulina

università degli studi di sassari

18H指数

121论文数

1.5K被引数

收录论文 8

发表时间

Enhancing Intangible Cultural Heritage Through Ontology: The BISTÌRIS Model for Sardinian Traditional Costumes 通过本体论增强非物质文化遗产：撒丁岛传统服饰的BISTÌRIS模型

Semantic Web

IF2.9

2026-08-25

PREAI

Giorgio Corona; Dario Guidotti; Laura Pandolfo; Luca Pulina

Discovering sentiment insights: streamlining tourism review analysis with Large Language Models 发现情感洞察力: 使用大型语言模型简化旅游评论分析

INFORMATION TECHNOLOGY & TOURISM

IF7

2025-01-17

OAAI

Guidotti, Dario; Pandolfo, Laura; Pulina, Luca

A Knowledge-Driven Approach to Threat Validation and Security Reasoning in Modular Systems 模块化系统中威胁验证和安全推理的知识驱动方法

IEEE Access

IF3.6

2025-01-01

OAAI

Laura Pandolfo; Giorgio Corona; Dario Guidotti; Luca Pulina

Building the Semantic Layer of the Jozef Pilsudski Digital Archive With an Ontology-Based Approach 使用基于本体的方法构建Jozef Pilsudski数字档案的语义层

INTERNATIONAL JOURNAL ON SEMANTIC WEB AND INFORMATION SYSTEMS

IF5.6

2021-10-01

PREAI

Pandolfo, Laura; Pulina, Luca

SMT-Based Consistency Checking of Configuration-Based Components Specifications

IEEE ACCESS

IF3.6

2021-01-01

OAAI

Pandolfo, Laura; Pulina, Luca; Vuotto, Simone

The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)

artificial intelligence review

IF4.6

2019-09-01

OAAI

Pulina, Luca; Seidl, Martina

Constrained Image Generation Using Binarized Neural Networks with Decision Procedures

THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2018

IF0

2018-06-26

PREAI

Korneev, Svyatoslav; Narodytska, Nina; Pulina, Luca; Tacchella, Armando; Bjorner, Nikolaj; Sagiv, Mooly

Verification and repair of control policies for safe reinforcement learning

APPLIED INTELLIGENCE

IF3.5

2017-08-05

PREAI

Pathak, Shashank; Pulina, Luca; Tacchella, Armando

研究方向