Sergio Tessaris

75 papers A* 3A 5B 4C 2Misc 1Journal 15Unranked 42

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