Babak Bagheri Hariri

According to our database, Babak Bagheri Hariri authored at least 17 papers between 2006 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Decidability of Equivalence of Aggregate Count-Distinct Queries.

Babak Bagheri Hariri, Val Tannen

CoRR, 2015

2014

State-Boundedness in Data-Aware Dynamic Systems.

Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Alin Deutsch

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Verification of Human Driven Data-Centric Dynamic Systems.

Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali

Proceedings of the 2014 AAAI Spring Symposia, 2014

2013

Description Logic Knowledge and Action Bases.

Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli

J. Artif. Intell. Res., 2013

Verification of Semantically-Enhanced Artifact Systems (Extended Version).

Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin

CoRR, 2013

Verification of relational data-centric dynamic systems with external services.

Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali

Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013

Verification of Semantically-Enhanced Artifact Systems.

Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin

Proceedings of the Service-Oriented Computing - 11th International Conference, 2013

2012

Verification of Description Logic Knowledge and Action Bases.

Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli, Marco Montali

Proceedings of the ECAI 2012, 2012

2011

Verification of Conjunctive-Query Based Semantic Artifacts.

Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Foundations of Relational Artifacts Verification.

Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli

Proceedings of the Business Process Management - 9th International Conference, 2011

2008

Evolutionary coincidence-based ontology mapping extraction.

Vahed Qazvinian, Hassan Abolhassani, Seyed H. Haeri (Hossein), Babak Bagheri Hariri

Expert Syst. J. Knowl. Eng., 2008

2007

Coincidence-Based Scoring of Mappings in Ontology Alignment.

Seyed H. Haeri (Hossein), Hassan Abolhassani, Vahed Qazvinian, Babak Bagheri Hariri

J. Adv. Comput. Intell. Intell. Informatics, 2007

2006

On Ontology Alignment Experiments.

Hassan Abolhassani, Babak Bagheri Hariri, Seyed H. Haeri

Webology, 2006

A Method for Focused Crawling Using Combination of Link Structure and Content Similarity.

Mohsen Jamali, Hassan Sayyadi, Babak Bagheri Hariri, Hassan Abolhassani

Proceedings of the 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 2006

A new Structural Similarity Measure for Ontology Alignment.

Babak Bagheri Hariri, Hassan Abolhassani, Ali Khodaei

Proceedings of the 2006 International Conference on Semantic Web & Web Services, 2006

Combining Ontology Alignment Metrics Using the Data Mining Techniques.

Babak Bagheri Hariri, Hassan Sayyadi, Hassan Abolhassani, Kyumars Sheykh Esmaili

Proceedings of the 2nd International Workshop on Contexts and Ontologies: Theory, 2006

A New Evaluation Method for Ontology Alignment Measures.

Babak Bagheri Hariri, Hassan Abolhassani

Proceedings of the Semantic Web, 2006