Codice:
E211129
ISSN:
1613-0073
Dati Generali
Pubblicazioni (183)
A Bootstrapping Approach for Semi-Automated Legal Knowledge Extraction and Enrichment
Contributo in Atti di convegnoA Computational History Approach to Interpretation and Analysis of Moral European Values: The VAST Research Project
Contributo in Atti di convegnoA Discussion on Open Issues Regarding Human Value Detection in Arguments
Contributo in Atti di convegnoA Federated Learning Architecture for Prostate MRI Image Segmentation
Contributo in Atti di convegnoA Framework for Trace Clustering and Concept-drift Detection in Event Streams
Contributo in Atti di convegnoA Knowledge Graph of Values across Space and Time
Contributo in Atti di convegnoA Knowledge-Based Service Architecture for Legal Document Building
Contributo in Atti di convegnoA Natural Deduction Calculus for Godel-Dummett Logic Internalizing Proof-search Control Mechanisms
Contributo in Atti di convegnoA New Approach to Clausification for Intuitionistic Propositional Logic
Contributo in Atti di convegnoA Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality
Contributo in Atti di convegnoA Scalable Model for Vessel-Generated Underwater Noise: Enhancing Efficiency through Parallelisation
Contributo in Atti di convegnoA Scikit-learn Extension Dedicated to Process Mining Purposes
Contributo in Atti di convegnoA Service Architecture for AI-based Legal Knowledge Extraction
Contributo in Atti di convegnoA Service Infrastructure for Management of Legal Documents
Contributo in Atti di convegnoA Web Tool for the Semantic Integration of Heterogeneous and Complex Spreadsheet Tables
Contributo in Atti di convegnoA case study on graph-based planning for emergency evacuation
Contributo in Atti di convegnoA geometric XAI approach to protein pocket detection
Contributo in Atti di convegnoA lightweight architecture for RSS polling of arbitrary Web sources
Contributo in Atti di convegnoA logical approach to algorithmic opacity
Contributo in Atti di convegnoA model for handling multiple social networks and its implementation
Contributo in Atti di convegnoA semiotic approach to EUD for the internet of things
Contributo in Atti di convegnoA web application to demonstrate the properties of Label Propagation algorithms
Contributo in Atti di convegnoA.T.L.A.S.: Automatic Terrain and Labels Assembling Software
Contributo in Atti di convegnoAI Governance: A Security and Privacy Organizational Standard Architecture (SPOSA)
Contributo in Atti di convegnoARnopoly: exploring strengths and weaknesses of AR experience
Contributo in Atti di convegnoAXDInterpolator: A Tool for Computing Interpolants for Arrays with MaxDif
Contributo in Atti di convegnoActive Integrity Constraints with Existential Quantification
Contributo in Atti di convegnoAdversarial Learning for Visual Tracking Research Idea
Contributo in Atti di convegnoAlgebraic Petri Nets with Active Tokens: Effective Implementation in Maude
Contributo in Atti di convegnoAn Analysis of the Performance of Italian Schools in Bebras and in the National Student Assessment INVALSI
Contributo in Atti di convegnoAn Operational Approach to Consistent Query Answering
Contributo in Atti di convegnoAnalysis of Energy-Efficient Buildings through Simulation and Formal Methods
Contributo in Atti di convegnoAnomaly detection based on interval-valued fuzzy sets: Application to rare sound event detection
Contributo in Atti di convegnoArtificial Conversations, Real Results: Fostering Language Detection with Synthetic Data
Contributo in Atti di convegnoAutomated Knowledge Extraction from Legal Texts using ASKE
Contributo in Atti di convegnoAutomatic entity labeling through explanation techniques
Contributo in Atti di convegnoAvaDrive: A Blockchain Based Framework for Efficient Vehicle to Grid Management
Contributo in Atti di convegnoBRIOxAlkemy: A Bias detecting tool
Contributo in Atti di convegnoBenchmarking approximate consistent query answering
Contributo in Atti di convegnoBias Amplification Chains in ML-based Systems with an Application to Credit Scoring
Contributo in Atti di convegnoBrexit or Bremain? : evidence from bubble analysis
Contributo in Atti di convegnoCausal Mediation Analysis for Interpreting Large Language Models
Contributo in Atti di convegnoChase Termination for Guarded Existential Rules
Contributo in Atti di convegnoChatbots and conversational interfaces: Three domains of use
Contributo in Atti di convegnoCommunity based activity center to support independently living elders
Contributo in Atti di convegnoComputer-Aided Modelling of the Bilingual Word Indices to the Ninth-Century Uchitel'noe evangelie
Contributo in Atti di convegnoComputing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations
Contributo in Atti di convegnoComputing the Why-Provenance for Datalog Queries via SAT Solvers
Contributo in Atti di convegnoConnections Between Answer Set Semantics and Information Terms Semantics in Constructive EL_bot (Extended Abstract)
Contributo in Atti di convegnoCounter abstractions in model checking of distributed broadcast algorithms: some case studies
Contributo in Atti di convegnoCounting Database Repairs Entailing a Query: The Case of Functional Dependencies
Contributo in Atti di convegnoCounting Database Repairs under Primary Keys Revisited (Discussion paper)
Contributo in Atti di convegnoCybersecurity Assessment of Digital Twin in Smart Grids
Contributo in Atti di convegnoData Pipelines Assessment: The Role of Data Engine Deployment Models
Contributo in Atti di convegnoData Quality Dimensions for Fair AI
Contributo in Atti di convegnoDesigning Conversational Agents for Empowering Human Work
Contributo in Atti di convegnoDetecting the Semantic Shift of Values in Cultural Heritage Document Collections (short paper)
Contributo in Atti di convegnoDigital humanities competencies development in various learning environments
Contributo in Atti di convegnoEnd-user development for Lifelogging and eWellness
Contributo in Atti di convegnoEngaging Users in Writing Imaginary Conversations on Cultural Heritage Paintings
Contributo in Atti di convegnoEnhancing Ontological Query-Rewriting via Parallelization
Contributo in Atti di convegnoExploiting Contextual Embeddings to Extract Topic Genealogy from Scientific Literature
Contributo in Atti di convegnoFEEED: Feature Extraction from Event Data
Contributo in Atti di convegnoFormalization and automated reasoning about a complex signalling network
Contributo in Atti di convegnoFormalizing Program Equivalences in Dependent Type Theory
Contributo in Atti di convegnoForward countermodel construction in modal Logic K
Contributo in Atti di convegnoForward proof-search and Countermodel Construction in Intuitionistic Propositional Logic
Contributo in Atti di convegnoForward refutation for Gödel-Dummett Logics
Contributo in Atti di convegnoFrom Philosophy to Ontology: Rethinking Food Concepts
Capitolo di libroFrom digital to computational humanities: The VAST project vision
Contributo in Atti di convegnoGHItaly 2017: game-computer interaction in research
Contributo in Atti di convegnoGHItaly18: Game-Computer Interaction in research
Contributo in Atti di convegnoGHItaly19: Research Perspectives on Game Human Interaction
Contributo in Atti di convegnoGender Discriminatory Language Identification with an Hybrid Algorithm based on Syntactic Rules and Machine Learning
Contributo in Atti di convegnoGeneral composition for Symmetric Net arc functions with applications
Contributo in Atti di convegnoGraph evolution rules for node temporal behavior representation
Contributo in Atti di convegnoGraph representations of logic programs: Properties and comparison
Contributo in Atti di convegnoGrimm in Wonderland: Prompt Engineering with Midjourney to Illustrate Fairytales
Contributo in Atti di convegnoHealthier and Independent Living of the Elderly: Interoperability in a Cross-Project Pilot
Contributo in Atti di convegnoIdentifying Gender Stereotypes and Biases in Automated Translation from English to Italian using Similarity Networks
Contributo in Atti di convegnoIncreasing protection and autonomy in the IoT through a two-tier blockchain framework
Contributo in Atti di convegnoInitial achievements in relation extraction from RNA-focused scientific papers
Contributo in Atti di convegnoIntroducing Online Profile Learning in Crowdsourcing Task Routing
Contributo in Atti di convegnoIterated Transduction on Unary Languages (short paper)
Contributo in Atti di convegnoIterated uniform finite-state transducers
Contributo in Atti di convegnoKnowledge-Based Legal Document Retrieval: A Case Study on Italian Civil Court Decisions
Contributo in Atti di convegnoLOGI: A didactic tool for a beginners' course in logic (system description)
Contributo in Atti di convegnoLaw Data Science and Ethics: the CRIKE Approach
Capitolo di libroLearning simplified functions to understand
Contributo in Atti di convegnoLinear-time limited automata : extended abstract
Contributo in Atti di convegnoLiquid FM: recommending music through viscous democracy
Contributo in Atti di convegnoMI-search : a smart approach for urban information clouding
Contributo in Atti di convegnoMV-tropical polynomials and neural networks
Contributo in Atti di convegnoMachine Learning-Augmented Ontology-Based Data Access for Renewable Energy Data
Contributo in Atti di convegnoMethods and Techniques for Ontology-based Semantic Interoperability in Networked Enterprise Contexts
Contributo in Atti di convegnoMinimal and reduced reversible automata
Contributo in Atti di convegnoMonsters of Darwin: a strategic game based on Artificial Intelligence and Genetic Algorithms
Contributo in Atti di convegnoMotivation, participation, and engagement in human work Interaction design literature
Contributo in Atti di convegnoMutantChick: Type-Preserving Mutation Analysis for Coq
Contributo in Atti di convegnoNetwork-wide shocking events through the lens of node representation shift
Contributo in Atti di convegnoOn fuzzy truth-values and quasi-standard completeness
Contributo in Atti di convegnoOn some succinct representations of regular languages : extended abstract
Contributo in Atti di convegnoOn the extraction of meaningful RNA interactions from Scientific Publications through LLMs and SPIRES
Contributo in Atti di convegnoOpen world reasoning in semantics-aware access control: A preliminary study
Contributo in Atti di convegnoPOIsafe : a privacy-conscious system for retrieval of points of interest
Contributo in Atti di convegnoPetri Nets as Run-Time Models for Self-Adaptive Cyber-Physical Systems Cost-Benefit Analysis of Structural Transformations
Contributo in Atti di convegnoPreface
Capitolo di libroPreface
Capitolo di libroPreface
Capitolo di libroPreface
Capitolo di libroPreface
Capitolo di libroPreface
Capitolo di libroPreference-based inconsistency-tolerant query answering under existential rules
Contributo in Atti di convegnoPrior to Trust: Frequentist and Bayesian views of Trust in AI
Contributo in Atti di convegnoProbabilistic Answers over Inconsistent Knowledge Bases
Contributo in Atti di convegnoPrompt Engineering Approaches for Working with Biomedical Knowledge Graphs through LLMs
Contributo in Atti di convegnoProof Search and Countermodel Construction for iCK4
Contributo in Atti di convegnoProof-search in Hilbert calculi
Contributo in Atti di convegnoProperty-based testing of the meta-theory of abstract machines: An experience report
Contributo in Atti di convegnoPushdown automata and constant height: Decidability and bounds: Extended abstract
Contributo in Atti di convegnoQuerying Data Exchange Settings Beyond Positive Queries
Contributo in Atti di convegnoQuerying Data Exchange Settings beyond Positive Queries
Contributo in Atti di convegnoReasoning With Bias
Contributo in Atti di convegnoReasoning about algorithmic opacity
Contributo in Atti di convegnoReasoning on Information Term Semantics with ASP for Constructive ELꓕ
Contributo in Atti di convegnoReifying default reasons in justification logic
Contributo in Atti di convegnoRepresentation of the temporal ego-networks through graph evolution rules: a tool for Web3 applications
Contributo in Atti di convegnoResults of the ontology alignment evaluation initiative 2013
Contributo in Atti di convegnoResults of the ontology alignment evaluation initiative 2014
Contributo in Atti di convegnoResults of the ontology alignment evaluation initiative 2015
Contributo in Atti di convegnoResults of the ontology alignment evaluation initiative 2017?
Contributo in Atti di convegnoResults of the ontology alignment evaluation initiative 2018
Contributo in Atti di convegnoResults of the ontology alignment evaluation initiative 2019
Contributo in Atti di convegnoRewriting-based Check of Chase Termination
Contributo in Atti di convegnoRobustness: A natural Definition based on Nets-within-Nets
Contributo in Atti di convegnoSapori locali : Glossaire multilingue des produits typiques émiliens
Contributo in Atti di convegnoScouting Big Data Campaigns using TOREADOR Labs
Contributo in Atti di convegnoSecond Order Quantifier Elimination: Towards Verification Applications
Contributo in Atti di convegnoSemantic Shift Detection in Vatican Publications: a Case Study from Leo XIII to Francis
Contributo in Atti di convegnoSemiotic Framework for Virtual Reality Usability and UX Evaluation: a Pilot Study
Contributo in Atti di convegnoSemiotic Virtual Reality Framework Validation
Contributo in Atti di convegnoSlAide2Voice: a new educational tool for students with visual disabilities
Contributo in Atti di convegnoSmartFit: Lifelogging for Teams of non-Professional Athletes
Contributo in Atti di convegnoSome Properties of the Rate Functions of Large Deviations for Symbol Statistics
Contributo in Atti di convegnoSpanIE: A Span-Based Approach to OpenIE
Contributo in Atti di convegnoSymbolic structural techniques improving the analysis of Stochastic Symmetric Nets
Contributo in Atti di convegnoTechno/Ecofeminism in Action: Fair and Responsible Resource Allocation for Sustainable Data Science Pipelines
Contributo in Atti di convegnoThe Blame Game for Property-based Testing
Contributo in Atti di convegnoThe CDESF toolkit: An introduction
Contributo in Atti di convegnoThe CRIKE Data-Science Process for Legal Knowledge Extraction
Capitolo di libroThe HMatch 2.0 suite for ontology matchmaking
Contributo in Atti di convegnoThe LATO knowledge model for automated knowledge extraction and enrichment from court decisions corpora
Contributo in Atti di convegnoTowards a Phenomenographic Framework for Exploratory Visual Analysis of Bibliographic Data
Contributo in Atti di convegnoTowards a Semantic Document Management System for Public Administration
Contributo in Atti di convegnoTowards a tableau-based procedure for PLTL based on a multi-conclusion rule and logical optimizations
Contributo in Atti di convegnoTowards the Assessment of Trustworthy AI: A Catalog-Based Approach
Contributo in Atti di convegnoTowards the Construction of an RNA-based Knowledge Graph
Contributo in Atti di convegnoType vector representations from text: An empirical analysis
Contributo in Atti di convegnoUniMIDIHub: A Prototype of Accessible Digital Musical Instruments for Musical Inclusion
Contributo in Atti di convegnoUniform Circle Formation for Fully, Semi-, and Asynchronous Opaque Robots with Lights
Contributo in Atti di convegnoUnlocking Music Archives: Openness and Accessibility
Contributo in Atti di convegnoUser-Centered Event Data Modelling and Analytics
Contributo in Atti di convegnoUsing Graph Neural Networks for Heterogeneous Event Classification
Contributo in Atti di convegnoUsing Rewriting Systems for Performance Analysis
Contributo in Atti di convegnoUsing Semantic Trajectories for Spatio-temporal Characterisation of Underwater Noise
Contributo in Atti di convegnoWeb3 Social Platforms: Modeling, Mining and Evolution
Contributo in Atti di convegnoWhy Proof-Theory Matters in Specification-Based Testing
Contributo in Atti di convegnoNo Results Found