CEUR WORKSHOP PROCEEDINGS

Series

Identifier:

E211129

ISSN:

1613-0073

Overview

Publication venue (183)

A Bootstrapping Approach for Semi-Automated Legal Knowledge Extraction and Enrichment

Conference Paper

A Computational History Approach to Interpretation and Analysis of Moral European Values: The VAST Research Project

Conference Paper

A Discussion on Open Issues Regarding Human Value Detection in Arguments

Conference Paper

A Federated Learning Architecture for Prostate MRI Image Segmentation

Conference Paper

A Framework for Trace Clustering and Concept-drift Detection in Event Streams

Conference Paper

A Knowledge Graph of Values across Space and Time

Conference Paper

A Knowledge-Based Service Architecture for Legal Document Building

Conference Paper

A Natural Deduction Calculus for Godel-Dummett Logic Internalizing Proof-search Control Mechanisms

Conference Paper

A New Approach to Clausification for Intuitionistic Propositional Logic

Conference Paper

A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality

Conference Paper

A Scalable Model for Vessel-Generated Underwater Noise: Enhancing Efficiency through Parallelisation

Conference Paper

A Scikit-learn Extension Dedicated to Process Mining Purposes

Conference Paper

A Service Architecture for AI-based Legal Knowledge Extraction

Conference Paper

A Service Infrastructure for Management of Legal Documents

Conference Paper

A Web Tool for the Semantic Integration of Heterogeneous and Complex Spreadsheet Tables

Conference Paper

A case study on graph-based planning for emergency evacuation

Conference Paper

A geometric XAI approach to protein pocket detection

Conference Paper

A lightweight architecture for RSS polling of arbitrary Web sources

Conference Paper

A logical approach to algorithmic opacity

Conference Paper

A model for handling multiple social networks and its implementation

Conference Paper

A semiotic approach to EUD for the internet of things

Conference Paper

A web application to demonstrate the properties of Label Propagation algorithms

Conference Paper

A.T.L.A.S.: Automatic Terrain and Labels Assembling Software

Conference Paper

AI Governance: A Security and Privacy Organizational Standard Architecture (SPOSA)

Conference Paper

ARnopoly: exploring strengths and weaknesses of AR experience

Conference Paper

AXDInterpolator: A Tool for Computing Interpolants for Arrays with MaxDif

Conference Paper

Active Integrity Constraints with Existential Quantification

Conference Paper

Adversarial Learning for Visual Tracking Research Idea

Conference Paper

Algebraic Petri Nets with Active Tokens: Effective Implementation in Maude

Conference Paper

An Analysis of the Performance of Italian Schools in Bebras and in the National Student Assessment INVALSI

Conference Paper

An Operational Approach to Consistent Query Answering

Conference Paper

Analysis of Energy-Efficient Buildings through Simulation and Formal Methods

Conference Paper

Anomaly detection based on interval-valued fuzzy sets: Application to rare sound event detection

Conference Paper

Artificial Conversations, Real Results: Fostering Language Detection with Synthetic Data

Conference Paper

Assessing the Legality of Using the Category of Race and Ethnicity in Clinical Algorithms - the EU Anti-discrimination Law Perspective

Conference Paper

Automated Knowledge Extraction from Legal Texts using ASKE

Conference Paper

Automatic entity labeling through explanation techniques

Conference Paper

AvaDrive: A Blockchain Based Framework for Efficient Vehicle to Grid Management

Conference Paper

BEWARE 2023 : Bias, Ethical AI, Explainability and the role of Logic and Logic Programming

Edited Book

BRIOxAlkemy: A Bias detecting tool

Conference Paper

Benchmarking approximate consistent query answering

Conference Paper

Bias Amplification Chains in ML-based Systems with an Application to Credit Scoring

Conference Paper

Brexit or Bremain? : evidence from bubble analysis

Conference Paper

Causal Mediation Analysis for Interpreting Large Language Models

Conference Paper

Chase Termination for Guarded Existential Rules

Conference Paper

Chatbots and conversational interfaces: Three domains of use

Conference Paper

Community based activity center to support independently living elders

Conference Paper

Computer-Aided Modelling of the Bilingual Word Indices to the Ninth-Century Uchitel'noe evangelie

Conference Paper

Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations

Conference Paper

Computing the Why-Provenance for Datalog Queries via SAT Solvers

Conference Paper

Connections Between Answer Set Semantics and Information Terms Semantics in Constructive EL_bot (Extended Abstract)

Conference Paper

Counter abstractions in model checking of distributed broadcast algorithms: some case studies

Conference Paper

Counting Database Repairs Entailing a Query: The Case of Functional Dependencies

Conference Paper

Counting Database Repairs under Primary Keys Revisited (Discussion paper)

Conference Paper

Cultures of Participation in the Digital Age

Edited Book

Cultures of Participation in the Digital Age

Edited Book

Cultures of Participation in the Digital Age

Edited Book

Cybersecurity Assessment of Digital Twin in Smart Grids

Conference Paper

DANKMEMES @ EVALITA 2020: The memeing of life: Memes, multimodality and politics

Chapter

Data Pipelines Assessment: The Role of Data Engine Deployment Models

Conference Paper

Data Quality Dimensions for Fair AI

Conference Paper

Data-driven Process Discovery and Analysis

Edited Book

Designing Conversational Agents for Empowering Human Work

Conference Paper

Detecting the Semantic Shift of Values in Cultural Heritage Document Collections (short paper)

Conference Paper

Digital humanities competencies development in various learning environments

Conference Paper

End-user development for Lifelogging and eWellness

Conference Paper

Engaging Users in Writing Imaginary Conversations on Cultural Heritage Paintings

Conference Paper

Enhancing Ontological Query-Rewriting via Parallelization

Conference Paper

Exploiting Contextual Embeddings to Extract Topic Genealogy from Scientific Literature

Conference Paper

FEEED: Feature Extraction from Event Data

Conference Paper

Formalization and automated reasoning about a complex signalling network

Conference Paper

Formalizing Program Equivalences in Dependent Type Theory

Conference Paper

Forward countermodel construction in modal Logic K

Conference Paper

Forward proof-search and Countermodel Construction in Intuitionistic Propositional Logic

Conference Paper

Forward refutation for Gödel-Dummett Logics

Conference Paper

From Low-Level-Event-Logs to High-Level-Business-Process-Model-Activities: An Advanced Framework based on Machine Learning and Flexible BPMN Model Translation

Conference Paper

From Philosophy to Ontology: Rethinking Food Concepts

Chapter

From digital to computational humanities: The VAST project vision

Conference Paper

GHItaly 2017: game-computer interaction in research

Conference Paper

GHItaly18: Game-Computer Interaction in research

Conference Paper

GHItaly19: Research Perspectives on Game Human Interaction

Conference Paper

Gender Discriminatory Language Identification with an Hybrid Algorithm based on Syntactic Rules and Machine Learning

Conference Paper

General composition for Symmetric Net arc functions with applications

Conference Paper

Graph evolution rules for node temporal behavior representation

Conference Paper

Graph representations of logic programs: Properties and comparison

Conference Paper

Grimm in Wonderland: Prompt Engineering with Midjourney to Illustrate Fairytales

Conference Paper

Healthier and Independent Living of the Elderly: Interoperability in a Cross-Project Pilot

Conference Paper

Identifying Gender Stereotypes and Biases in Automated Translation from English to Italian using Similarity Networks

Conference Paper

Increasing protection and autonomy in the IoT through a two-tier blockchain framework

Conference Paper

Initial achievements in relation extraction from RNA-focused scientific papers

Conference Paper

Introducing Online Profile Learning in Crowdsourcing Task Routing

Conference Paper

Italian Information Retrieval Workshop

Edited Book

Iterated Transduction on Unary Languages (short paper)

Conference Paper

Iterated uniform finite-state transducers

Conference Paper

Knowledge-Based Legal Document Retrieval: A Case Study on Italian Civil Court Decisions

Conference Paper

LOGI: A didactic tool for a beginners' course in logic (system description)

Conference Paper

Large Deviation Properties for Pattern Statistics in Primitive Rational Models

Chapter

Law Data Science and Ethics: the CRIKE Approach

Chapter

Learning simplified functions to understand

Conference Paper

Linear-time limited automata : extended abstract

Conference Paper

Liquid FM: recommending music through viscous democracy

Conference Paper

MI-search : a smart approach for urban information clouding

Conference Paper

MV-tropical polynomials and neural networks

Conference Paper

Machine Learning-Augmented Ontology-Based Data Access for Renewable Energy Data

Conference Paper

Methods and Techniques for Ontology-based Semantic Interoperability in Networked Enterprise Contexts

Conference Paper

Minimal and reduced reversible automata

Conference Paper

Monsters of Darwin: a strategic game based on Artificial Intelligence and Genetic Algorithms

Conference Paper

Motivation, participation, and engagement in human work Interaction design literature

Conference Paper

MutantChick: Type-Preserving Mutation Analysis for Coq

Conference Paper

Network-wide shocking events through the lens of node representation shift

Conference Paper

On fuzzy truth-values and quasi-standard completeness

Conference Paper

On some succinct representations of regular languages : extended abstract

Conference Paper

On the extraction of meaningful RNA interactions from Scientific Publications through LLMs and SPIRES

Conference Paper

Open world reasoning in semantics-aware access control: A preliminary study

Conference Paper

POIsafe : a privacy-conscious system for retrieval of points of interest

Conference Paper

Petri Nets as Run-Time Models for Self-Adaptive Cyber-Physical Systems Cost-Benefit Analysis of Structural Transformations

Conference Paper

Preface

Chapter

Preface

Chapter

Preface

Chapter

Preface

Chapter

Preface

Chapter

Preface

Chapter

Preference-based inconsistency-tolerant query answering under existential rules

Conference Paper

Prior to Trust: Frequentist and Bayesian views of Trust in AI

Conference Paper

Probabilistic Answers over Inconsistent Knowledge Bases

Conference Paper

Proceedings of the 25th Workshop "From Objects to Agents"

Edited Book

Proceedings of the 3rd Workshop on Bias, Ethical AI, Explainability and the role of Logic and Logic Programming co-located with the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024)

Edited Book

Prompt Engineering Approaches for Working with Biomedical Knowledge Graphs through LLMs

Conference Paper

Proof Search and Countermodel Construction for iCK4

Conference Paper

Proof-search in Hilbert calculi

Conference Paper

Property-based testing of the meta-theory of abstract machines: An experience report

Conference Paper

Pushdown automata and constant height: Decidability and bounds: Extended abstract

Conference Paper

Querying Data Exchange Settings Beyond Positive Queries

Conference Paper

Querying Data Exchange Settings beyond Positive Queries

Conference Paper

Reasoning With Bias

Conference Paper

Reasoning about algorithmic opacity

Conference Paper

Reasoning on Information Term Semantics with ASP for Constructive ELꓕ

Conference Paper

Reifying default reasons in justification logic

Conference Paper

Representation of the temporal ego-networks through graph evolution rules: a tool for Web3 applications

Conference Paper

Results of the ontology alignment evaluation initiative 2013

Conference Paper

Results of the ontology alignment evaluation initiative 2014

Conference Paper

Results of the ontology alignment evaluation initiative 2015

Conference Paper

Results of the ontology alignment evaluation initiative 2017?

Conference Paper

Results of the ontology alignment evaluation initiative 2018

Conference Paper

Results of the ontology alignment evaluation initiative 2019

Conference Paper

Rewriting-based Check of Chase Termination

Conference Paper

Robustness: A natural Definition based on Nets-within-Nets

Conference Paper

SIMPDA 2014 : Data-driven Process Discovery and Analysis

Edited Book

SIMPDA 2016 : Data-driven Process Discovery and Analysis

Edited Book

SIMPDA 2017 : Data-driven Process Discovery and Analysis

Edited Book

Saddle Point Method in the analysis of pattern statistics for regular languages

Chapter

Sapori locali : Glossaire multilingue des produits typiques émiliens

Conference Paper

Scouting Big Data Campaigns using TOREADOR Labs

Conference Paper

Second Order Quantifier Elimination: Towards Verification Applications

Conference Paper

Semantic Shift Detection in Vatican Publications: a Case Study from Leo XIII to Francis

Conference Paper

Semiotic Framework for Virtual Reality Usability and UX Evaluation: a Pilot Study

Conference Paper

Semiotic Virtual Reality Framework Validation

Conference Paper

SlAide2Voice: a new educational tool for students with visual disabilities

Conference Paper

SmartFit: Lifelogging for Teams of non-Professional Athletes

Conference Paper

Some Properties of the Rate Functions of Large Deviations for Symbol Statistics

Conference Paper

SpanIE: A Span-Based Approach to OpenIE

Conference Paper

Symbolic structural techniques improving the analysis of Stochastic Symmetric Nets

Conference Paper

Techno/Ecofeminism in Action: Fair and Responsible Resource Allocation for Sustainable Data Science Pipelines

Conference Paper

The Blame Game for Property-based Testing

Conference Paper

The CDESF toolkit: An introduction

Conference Paper

The CRIKE Data-Science Process for Legal Knowledge Extraction

Chapter

The HMatch 2.0 suite for ontology matchmaking

Conference Paper

The LATO knowledge model for automated knowledge extraction and enrichment from court decisions corpora

Conference Paper

Towards a Phenomenographic Framework for Exploratory Visual Analysis of Bibliographic Data

Conference Paper

Towards a Semantic Document Management System for Public Administration

Conference Paper

Towards a tableau-based procedure for PLTL based on a multi-conclusion rule and logical optimizations

Conference Paper

Towards the Assessment of Trustworthy AI: A Catalog-Based Approach

Conference Paper

Towards the Construction of an RNA-based Knowledge Graph

Conference Paper

Type vector representations from text: An empirical analysis

Conference Paper

UniMIDIHub: A Prototype of Accessible Digital Musical Instruments for Musical Inclusion

Conference Paper

Uniform Circle Formation for Fully, Semi-, and Asynchronous Opaque Robots with Lights

Conference Paper

Unlocking Music Archives: Openness and Accessibility

Conference Paper

User-Centered Event Data Modelling and Analytics

Conference Paper

Using Graph Neural Networks for Heterogeneous Event Classification

Conference Paper

Using Rewriting Systems for Performance Analysis

Conference Paper

Using Semantic Trajectories for Spatio-temporal Characterisation of Underwater Noise

Conference Paper

Web3 Social Platforms: Modeling, Mining and Evolution

Conference Paper

Why Proof-Theory Matters in Specification-Based Testing

Conference Paper

No Results Found

CEUR WORKSHOP PROCEEDINGS

Overview

Publication venue (183)