Sergio Tessaris

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 23

Top Topics

Abductive Logic Programming

Business Processes

Execution Traces

Top Venues

Publications

Chiara Di Francescomarino, Ivan Donadello, Chiara Ghidini, Fabrizio Maria Maggi, Williams Rizzi, Sergio Tessaris
Making Sense of Temporal Event Data:A Framework for Comparing Techniques for the Discovery of Discriminative Temporal Patterns. CAiSE (2024)
Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris
Process Discovery on Deviant Traces and Other Stranger Things. IEEE Trans. Knowl. Data Eng. 35 (11) (2023)
Antonella De Angeli, Mattia Falduti, María Menéndez-Blanco, Sergio Tessaris
Reporting non-consensual pornography: clarity, efficiency and distress. Multim. Tools Appl. 82 (9) (2023)
Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris
Solving reachability problems on data-aware workflows. Expert Syst. Appl. 189 (2022)
Enrico Franconi, Sergio Tessaris
Relational Algebra and Calculus with SQL Null Values. CoRR (2022)
Mattia Falduti, Sergio Tessaris
On the Use of Chatbots to Report Non-consensual Intimate Images Abuses: the Legal Expert Perspective. GoodIT (2022)
Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Elena Palmieri, Sergio Tessaris
Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints. CILC (2022)
Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Giulia Grundler, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris
Optimising Business Process Discovery Using Answer Set Programming. LPNMR (2022)
Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Giulia Grundler, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris
Shape Your Process: Discovering Declarative Business Processes from Positive and Negative Traces Taking into Account User Preferences. EDOC (2022)
Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Sergio Tessaris
Process discovery on deviant traces and other stranger things. CoRR (2021)
Antonella De Angeli, Mattia Falduti, María Menéndez-Blanco, Sergio Tessaris
Reporting Revenge Porn: a Preliminary Expert Analysis. CoRR (2021)
Antonella De Angeli, Mattia Falduti, María Menéndez-Blanco, Sergio Tessaris
Reporting Revenge Porn: a Preliminary Expert Analysis. CHItaly (2021)
Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Vasyl Skydanienko, Sergio Tessaris
Towards the Generation of the "Perfect" Log Using Abductive Logic Programming. CILC (2019)
Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris
Verification of data-aware workflows via reachability: formalisation and experiments. CoRR (2019)
Luca Sabiucciu, Marco Montali, Sergio Tessaris
A Tool for the Verification of Data-Aware Business Processes. AI*IA (2018)
Verónica Dahl, Sergio Tessaris, Mariano De Sousa Bispo
Parsing as semantically guided constraint solving: the role of ontologies. Ann. Math. Artif. Intell. 82 (1-3) (2018)
Federico Chesani, Paola Mello, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Marco Montali, Sergio Tessaris
Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning. Fundam. Informaticae 161 (1-2) (2018)
Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris
Enhancing workflow-nets with data for trace completion. CoRR (2017)
Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Marco Montali, Sergio Tessaris
Add Data into Business Process Verification: Bridging the Gap between Theory and Practice. AAAI (2017)
Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris
Enhancing Workflow-Nets with Data for Trace Completion. Business Process Management Workshops (2017)
Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris
Abducing Compliance of Incomplete Event Logs. CoRR (2016)
Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris
Abducing Compliance of Incomplete Event Logs. AI*IA (2016)
Federico Chesani, Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Paola Mello, Marco Montali, Sergio Tessaris
Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes. ECAI (2016)
Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris, Itzel Vázquez Sandoval
Completing Workflow Traces Using Action Languages. CAiSE (2015)
Ife Adebara, Verónica Dahl, Sergio Tessaris
Parsing with Partially Known Grammar. ICAART (Revised Selected Papers) (2015)
Ife Adebara, Verónica Dahl, Sergio Tessaris
Completing Mixed Language Grammars Through Womb Grammars Plus Ontologies. ICAART (1) (2015)
Verónica Dahl, Sergio Tessaris, Thom W. Frühwirth
Imperfect Querying through Womb Grammars plus Ontologies. JOWO@IJCAI (2015)
Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris, Itzel Vázquez Sandoval
Reasoning on Incomplete Execution Traces Using Action Languages - A First Report. ICSOC Workshops (2014)
Dmitry Solomakhin, Marco Montali, Sergio Tessaris, Riccardo De Masellis
Verification of Artifact-Centric Systems: Decidability and Modeling Issues CoRR (2013)
Dmitry Solomakhin, Marco Montali, Sergio Tessaris, Riccardo De Masellis
Verification of Artifact-Centric Systems: Decidability and Modeling Issues. ICSOC (2013)
Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris
The ICOM 3.0 intelligent conceptual modelling tool and methodology. Semantic Web 3 (3) (2012)
Enrico Franconi, Sergio Tessaris
The Algebra and the Logic for SQL Nulls. SEBD (2012)
Dmitry Solomakhin, Sergio Tessaris, Marco Montali
Combining Process and Ontological Modeling. DC@AI*IA (2012)
Enrico Franconi, Sergio Tessaris
On the Logic of SQL Nulls. AMW (2012)
Ali Fawzi Najm Al-Shammari, Komminist Weldemariam, Adolfo Villafiorita, Sergio Tessaris
Vote verification through open standard: A roadmap. REVOTE (2011)
Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris
Ontology Design and Integration with ICOM 3.0 - Tool Description and Methodology. Description Logics (2011)
Enrico Franconi, Paolo Guagliardo, Marco Trevisan, Sergio Tessaris
Quelo: an Ontology-Driven Query Interface. Description Logics (2011)
Lina Lubyte, Sergio Tessaris
Supporting the Development of Data Wrapping Ontologies (Extended Abstract). Description Logics (2010)
Lina Lubyte, Sergio Tessaris
Supporting the Development of Data Wrapping Ontologies. ASWC (2009)
Lina Lubyte, Sergio Tessaris
Automatic Extraction of Ontologies Wrapping Relational Data Sources. DEXA (2009)
Lina Lubyte, Sergio Tessaris
Supporting the Design of Ontologies for Data Access. Description Logics (2008)
Chiara Ghidini, Luciano Serafini, Sergio Tessaris
Complexity of Reasoning With Expressive Ontology Mappings. FOIS (2008)
Chiara Ghidini, Luciano Serafini, Sergio Tessaris
Bridging Heterogeneous Representations of Binary Relations: First Results. Description Logics (2008)
Lina Lubyte, Sergio Tessaris
Extracting Ontologies from Relational Databases. Description Logics (2007)
Chiara Ghidini, Luciano Serafini, Sergio Tessaris
On Relating Heterogeneous Elements from Different Ontologies. Description Logics (2007)
Ivan Zorzi, Sergio Tessaris, Paolo Dongilli
Improving Responsiveness of Ontology-Based Query Formulation. SWAP (2007)
Chiara Ghidini, Luciano Serafini, Sergio Tessaris
On Relating Heterogeneous Elements from Different Ontologies. CONTEXT (2007)
Paolo Dongilli, Sergio Tessaris, John A. Bateman
Leveraging Systemic-Functional Linguistics to Enhance Intelligent Database Querying. ISDA (1) (2006)
Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris
The new ICOM Ontology Editor. Description Logics (2006)
Carsten Lutz, Franz Baader, Enrico Franconi, Domenico Lembo, Ralf Möller, Riccardo Rosati, Ulrike Sattler, Boontawee Suntisrivaraporn, Sergio Tessaris
Reasoning Support for Ontology Design. OWLED (2006)
Enrico Franconi, Sergio Tessaris
The logic of RDF and SPARQL: a tutorial. PODS (2006)
Sergio Tessaris, Enrico Franconi
Rules and Queries with Ontologies: a Unifying Logical Framework. Description Logics (2005)
Enrico Franconi, Jos de Bruijn, Sergio Tessaris
Logical Reconstruction of Normative RDF. OWLED (2005)
Paolo Dongilli, Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris
A Multi-Agent System for Querying Heterogeneous Data Sources with Ontologies. SEBD (2005)
Enrico Franconi, Sergio Tessaris
A Unified Logical Framework for Rules (and Queries) with Ontologies. Rule Languages for Interoperability (2005)
Jos de Bruijn, Enrico Franconi, Sergio Tessaris
Logical Reconstruction of RDF and Ontology Languages. PPSWR (2005)
Enrico Franconi, Sergio Tessaris
Rules and Queries with Ontologies: A Unified Logical Framework. PPSWR (2004)
Paolo Dongilli, Enrico Franconi, Sergio Tessaris
Semantics Driven Support for Query Formulation. Description Logics (2004)
Tiziana Catarci, Paolo Dongilli, Tania Di Mascio, Enrico Franconi, Giuseppe Santucci, Sergio Tessaris
An Ontology Based Visual Tool for Query Formulation Support. ECAI (2004)
Tiziana Catarci, Tania Di Mascio, Enrico Franconi, Giuseppe Santucci, Sergio Tessaris
An Ontology Based Visual Tool for Query Formulation Support. OTM Workshops (2003)
Sergio Tessaris, Ian Horrocks, Graham Gough
Evaluating a Modular Abox Algorithm. KR (2002)
Sergio Tessaris, Ian Horrocks
Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics. LPAR (2002)
Ian Horrocks, Sergio Tessaris
Querying the Semantic Web: A Formal Approach. ISWC (2002)
Sergio Tessaris
Querying expressive DLs. Description Logics (2001)
Ian Horrocks, Sergio Tessaris
Answering Conjunctive Queries over DL Aboxes: A Preliminary Report. Description Logics (2000)
Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies
How to decide Query Containment under Constraints using a Description Logic. KRDB (2000)
Ian Horrocks, Sergio Tessaris
A Conjunctive Query Language for Description Logic Aboxes. AAAI/IAAI (2000)
Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies
How to Decide Query Containment Under Constraints Using a Description Logic. LPAR (2000)
Sean Bechhofer, Ian Horrocks, Peter F. Patel-Schneider, Sergio Tessaris
A Proposal for a Description Logic Interface. Description Logics (1999)
Sergio Tessaris, Graham Gough
ABox Reasoning with Transitive Roles and Axioms. Description Logics (1999)