Chiara Ghidini

According to our database1, Chiara Ghidini authored at least 115 papers between 1998 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Special issue: Selected and revised papers from the 17th International Conference of the Italian Association for Artificial Intelligence.
Intelligenza Artificiale, 2019

What's My Process Model Composed of? A Systematic Literature Review of Meta-Models in BPM.
CoRR, 2019

Verification of data-aware workflows via reachability: formalisation and experiments.
CoRR, 2019

Towards the Generation of the "Perfect" Log Using Abductive Logic Programming.
Proceedings of the 34th Italian Conference on Computational Logic, 2019

Nirdizati 2.0: New Features and Redesigned Backend.
Proceedings of the Dissertation Award, 2019

Predicting Critical Behaviors in Business Process Executions: When Evidence Counts.
Proceedings of the Business Process Management Forum, 2019

2018
Expressive ontology learning as neural machine translation.
J. Web Semant., 2018

Genetic algorithms for hyperparameter optimization in predictive business process monitoring.
Inf. Syst., 2018

Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning.
Fundam. Inform., 2018

Incremental Predictive Process Monitoring: How to Deal with the Variability of Real Environments.
CoRR, 2018

A Tool for Generating Event Logs from Multi-Perspective Declare Models.
Proceedings of the Dissertation Award, 2018

Predictive Process Monitoring Methods: Which One Suits Me Best?
Proceedings of the Business Process Management - 16th International Conference, 2018

Business Process Activity Relationships: Is There Anything Beyond Arrows?
Proceedings of the Business Process Management Forum, 2018

On the Notion of Goal in Business Process Models.
Proceedings of the AI*IA 2018 - Advances in Artificial Intelligence, 2018

2017
Distributed First Order Logic.
Artif. Intell., 2017

BPMN 2.0 Choreography Language: Interface or Business Contract?
Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, 2017

Business Process Languages: An Ontology-Based Perspective.
Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, 2017

Rule Propagation: Adapting Procedural Process Models to Declarative Business Rules.
Proceedings of the 21st IEEE International Enterprise Distributed Object Computing Conference, 2017

Intra and Inter-case Features in Predictive Process Monitoring: A Tale of Two Dimensions.
Proceedings of the Business Process Management - 15th International Conference, 2017

Enhancing Workflow-Nets with Data for Trace Completion.
Proceedings of the Business Process Management Workshops, 2017

Nirdizati: A Web-Based Tool for Predictive Process Monitoring.
Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017), 2017

An Eye into the Future: Leveraging A-priori Knowledge in Predictive Business Process Monitoring.
Proceedings of the Business Process Management - 15th International Conference, 2017

Learning Hybrid Process Models from Events - Process Discovery Without Faking Confidence.
Proceedings of the Business Process Management - 15th International Conference, 2017

Business Processes and Their Participants: An Ontological Perspective.
Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017

Add Data into Business Process Verification: Bridging the Gap between Theory and Practice.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Using Recurrent Neural Network for Learning Expressive Ontologies.
CoRR, 2016

Declarative Process Models: Different Ways to Be Hierarchical.
Proceedings of the Service-Oriented Computing - 14th International Conference, 2016

Evaluating Wiki Collaborative Features in Ontology Authoring (Extended Abstract).
Proceedings of the 7th International Workshop on Enterprise Modeling and Information Systems Architectures, 2016

Ontology Learning in the Deep.
Proceedings of the Knowledge Engineering and Knowledge Management, 2016

Abducing Workflow Traces: A General Framework to Manage Incompleteness in Business Processes.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Predictive Business Process Monitoring Framework with Hyperparameter Optimization.
Proceedings of the Advanced Information Systems Engineering, 2016

Abducing Compliance of Incomplete Event Logs.
Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016

2015
A Declarative Framework for Specifying and Enforcing Purpose-Aware Policies.
Proceedings of the Security and Trust Management - 11th International Workshop, 2015

An Ontology for Supporting the Evolution of Virtual Reality Scenarios.
Proceedings of the Ontology Engineering, 2015

Developing an Ontology for Autonomous Entities in a Virtual Reality: The PRESTO Experience.
Proceedings of the Modelling and Simulation for Autonomous Systems, 2015

Worker-Driven Improvement of Processes in Smart Factories.
Proceedings of the Mensch und Computer 2015, 2015

Using Ontologies for Modeling Virtual Reality Scenarios.
Proceedings of the Semantic Web. Latest Advances and New Domains, 2015


Completing Workflow Traces Using Action Languages.
Proceedings of the Advanced Information Systems Engineering, 2015

Collaborative Subject-oriented Workplace Re-design.
Proceedings of the BPM Demo Session 2015 Co-located with the 13th International Conference on Business Process Management (BPM 2015), 2015

A ProM Operational Support Provider for Predictive Monitoring of Business Processes.
Proceedings of the BPM Demo Session 2015 Co-located with the 13th International Conference on Business Process Management (BPM 2015), 2015

2014
Evaluating Wiki Collaborative Features in Ontology Authoring.
IEEE Trans. Knowl. Data Eng., 2014

Semantic-Based Process Analysis.
Proceedings of the Semantic Web - ISWC 2014, 2014

Modeling and Monitoring Processes exploiting Semantic Reasoning.
Proceedings of the ISWC 2014 Posters & Demonstrations Track a track within the 13th International Semantic Web Conference, 2014

A Multi-objective Approach to Business Process Repair.
Proceedings of the Service-Oriented Computing - 12th International Conference, 2014

Reasoning on Incomplete Execution Traces Using Action Languages - A First Report.
Proceedings of the Service-Oriented Computing - ICSOC 2014 Workshops, 2014

An ontology for the Business Process Modelling Notation.
Proceedings of the Formal Ontology in Information Systems, 2014

The Role of Semantic Annotations in Business Process Modelling.
Proceedings of the 18th IEEE International Enterprise Distributed Object Computing Conference, 2014

Predictive Monitoring of Business Processes.
Proceedings of the Advanced Information Systems Engineering, 2014

Multi-context Logics - A General Introduction.
Proceedings of the Context in Computing, 2014

Collaborative Management of Multilingual Ontologies.
Proceedings of the Towards the Multilingual Semantic Web, 2014

2013
Semantic technologies for industry: From knowledge modeling and integration to intelligent applications.
Intelligenza Artificiale, 2013

Guided entity reuse and class expression generator.
Proceedings of the 7th International Conference on Knowledge Capture, 2013

Comparing contextual and flat representations of knowledge: a concrete case about football data.
Proceedings of the 7th International Conference on Knowledge Capture, 2013

Modeling and Monitoring Business Process Execution.
Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

Grounding Conceptual Modelling Templates on Existing Ontologies - A Delicate Balance.
Proceedings of the KEOD 2013, 2013

Multilingual MoKi: How to Manage Multilingual Ontologies in a Wiki.
Proceedings of the Semantic Web: ESWC 2013 Satellite Events, 2013

Guiding the Evolution of a Multilingual Ontology in a Concrete Setting.
Proceedings of the Semantic Web: Semantics and Big Data, 10th International Conference, 2013

Ontology authoring with FORZA.
Proceedings of the 22nd ACM International Conference on Information and Knowledge Management, 2013

Reasoning-Based Techniques for Dealing with Incomplete Business Process Execution Traces.
Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

2012
Semantics-Based Aspect-Oriented Management of Exceptional Flows in Business Processes.
IEEE Trans. Systems, Man, and Cybernetics, Part C, 2012

Evaluating the Impact of Ontology Evolution Patterns on the Effectiveness of Resources Retrieval.
Proceedings of the 2nd Joint Workshop on Knowledge Evolution and Ontology Dynamics, 2012

A Formal Semantics for Weighted Ontology Mappings.
Proceedings of the Semantic Web - ISWC 2012, 2012

Achieving Interoperability through Semantic Technologies in the Public Administration.
Proceedings of the Semantic Web: Research and Applications, 2012

Evaluating Wiki-Enhanced Ontology Authoring.
Proceedings of the Knowledge Engineering and Knowledge Management, 2012

Ontology Evolution with Semantic Wikis.
Proceedings of the Advanced Information Systems Engineering Workshops, 2012

2011
A framework for the collaborative specification of semantically annotated business processes.
Journal of Software Maintenance, 2011

Wiki-Based Conceptual Modeling: An Experience with the Public Administration.
Proceedings of the Semantic Web - ISWC 2011, 2011

Applications of Semantic Wikis.
Proceedings of the Context and Semantics for Knowledge Management, 2011

2010
Executable specifications of resource-bounded agents.
Autonomous Agents and Multi-Agent Systems, 2010

MoKi: a Wiki-Based Conceptual Modeling Tool.
Proceedings of the ISWC 2010 Posters & Demonstrations Track: Collected Abstracts, 2010

Automatic Support for Formative Ontology Evaluation.
Proceedings of the EKAW2010 Poster and Demo Track, Lisbon, Portugal, October 11 - 15, 2010, 2010

Collaborative Encoding of Asbru Clinical Protocols.
Proceedings of the Electronic Healthcare - Third International Conference, 2010

A Formal Model of Queries on Interlinked RDF Graphs.
Proceedings of the Linked Data Meets Artificial Intelligence, 2010

2009
ARS/SD: An Associative Retrieval Service for the Semantic Desktop.
Proceedings of the Networked Knowledge - Networked Media, 2009

Exploring the Future with Resource-Bounded Agents.
Journal of Logic, Language and Information, 2009

MoKi: the Modelling wiKi.
Proceedings of the 4th Semantic Wiki Workshop (SemWiki 2009) at the 6th European Semantic Web Conference (ESWC 2009), 2009

Semantically-Aided Business Process Modeling.
Proceedings of the Semantic Web - ISWC 2009, 8th International Semantic Web Conference, 2009

Revision Support for Modeling Tasks, Topics and Skills.
Proceedings of the 5th International Conference on Semantic Systems, 2009

MoKi: The Enterprise Modelling Wiki.
Proceedings of the Semantic Web: Research and Applications, 2009

Collaborative Specification of Semantically Annotated Business Processes.
Proceedings of the Business Process Management Workshops, 2009

Querying the Web of Data: A Formal Approach.
Proceedings of the Semantic Web, Fourth Asian Conference, 2009

2008
A Network Model Approach to Retrieval in the Semantic Web.
Int. J. Semantic Web Inf. Syst., 2008

Collaborative Enterprise Integrated Modelling.
Proceedings of the 5th Workshop on Semantic Web Applications and Perspectives (SWAP2008), 2008

Deploying Semantic Web Technologies for Work Integrated Learning in Industry - A Comparison: SME vs. Large Sized Company.
Proceedings of the Semantic Web - ISWC 2008, 7th International Semantic Web Conference, 2008

Reasoning on Semantically Annotated Processes.
Proceedings of the Service-Oriented Computing, 2008

Complexity of Reasoning With Expressive Ontology Mappings.
Proceedings of the Formal Ontology in Information Systems, 2008

Bridging Heterogeneous Representations of Binary Relations: First Results.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Bounded-Resource Reasoning as (Strong or Classical) Planning.
Proceedings of the Computational Logic in Multi-Agent Systems, 9th International Workshop, 2008

2007
On Relating Heterogeneous Elements from Different Ontologies.
Proceedings of the Modeling and Using Context, 2007

2006
Preface.
Autonomous Agents and Multi-Agent Systems, 2006

Mapping Properties of Heterogeneous Ontologies.
Proceedings of the 1st International Workshop on Modular Ontologies, 2006

Verifying Space and Time Requirements for Resource-Bounded Agents.
Proceedings of the Model Checking and Artificial Intelligence, 4th Workshop, 2006

Reconciling Concepts and Relations in Heterogeneous Ontologies.
Proceedings of the Semantic Web: Research and Applications, 2006

Model-Checking Memory Requirements of Resource-Bounded Reasoners.
Proceedings of the Proceedings, 2006

2005
A digitally programmable on-chip RC-oscillator in 0.25µm CMOS logic process.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2005), 2005

2004
The Fourth International and Interdisciplinary Conference on Modeling and Using Context.
AI Magazine, 2004

K-Trek: P2P Knowledge Management in Wireless Mobile Networks.
Proceedings of the MobiQuitous'04 Workshop on Peer-to-Peer Knowledge Management (P2PKM 2004), 2004

A Semantics for Abstraction.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Organising Software in Active Environments.
Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

Programming Groups of Rational Agents.
Proceedings of the Computational Logic in Multi-Agent Systems, 4th International Workshop, 2004

2003
Organising Computation through Dynamic Grouping.
Proceedings of the Objects, 2003

2002
Agents with Bounded Temporal Resources.
Proceedings of the Foundations and Applications of Multi-Agent Systems, 2002

Organising Logic-Based Agents.
Proceedings of the Formal Approaches to Agent-Based Systems, Second International Workshop, 2002

The abc of rational agent modelling.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001
Local Models Semantics, or contextual reasoning=locality+compatibility.
Artif. Intell., 2001

On the Dimensions of Context Dependence: Partiality, Approximation, and Perspective.
Proceedings of the Modeling and Using Context, 2001

2000
Contextual reasoning distilled.
J. Exp. Theor. Artif. Intell., 2000

Using Wrapper Agents to Answer Queries in Distributed Information Systems.
Proceedings of the 4th International Conference on Multi-Agent Systems, 2000

1999
Programming Resource-Bounded Deliberative Agents.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

A Context-Based Logic for Distributed Knowledge Representation and Reasoning.
Proceedings of the Modeling and Using Context, 1999

Modelling (Un)Bounded Beliefs.
Proceedings of the Modeling and Using Context, 1999

1998
Information Integration for Electronic Commerce.
Proceedings of the Agent Mediated Electronic Commerce, 1998

Model Theoretic Semantics for Information Integration.
Proceedings of the Artificial Intelligence: Methodology, 1998

Formalizing Belief Reports - The Approach and a Case Study.
Proceedings of the Artificial Intelligence: Methodology, 1998


  Loading...