Babak Bagheri Hariri

Publication Activity (10 Years)

Years Active: 2006-2015
Publications (10 Years): 1

Top Topics

Reasoning Mechanism

Knowledge Representation Languages

Dynamic Systems

Top Venues

AAAI Spring Symposia

Publications

Babak Bagheri Hariri, Val Tannen
Decidability of Equivalence of Aggregate Count-Distinct Queries. CoRR (2015)
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali
Verification of Human Driven Data-Centric Dynamic Systems. AAAI Spring Symposia (2014)
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli
Description Logic Knowledge and Action Bases. CoRR (2014)
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Alin Deutsch
State-Boundedness in Data-Aware Dynamic Systems. KR (2014)
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali
Verification of relational data-centric dynamic systems with external services. PODS (2013)
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin
Verification of Semantically-Enhanced Artifact Systems. ICSOC (2013)
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin
Verification of Semantically-Enhanced Artifact Systems (Extended Version). CoRR (2013)
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli
Description Logic Knowledge and Action Bases. J. Artif. Intell. Res. 46 (2013)
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli, Marco Montali
Verification of Description Logic Knowledge and Action Bases. ECAI (2012)
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali
Verification of Relational Data-Centric Dynamic Systems with External Services CoRR (2012)
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli
Foundations of Relational Artifacts Verification. BPM (2011)
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis
Verification of Conjunctive-Query Based Semantic Artifacts. Description Logics (2011)
Vahed Qazvinian, Hassan Abolhassani, Seyed H. Haeri (Hossein), Babak Bagheri Hariri
Evolutionary coincidence-based ontology mapping extraction. Expert Syst. J. Knowl. Eng. 25 (3) (2008)
Seyed H. Haeri (Hossein), Hassan Abolhassani, Vahed Qazvinian, Babak Bagheri Hariri
Coincidence-Based Scoring of Mappings in Ontology Alignment. J. Adv. Comput. Intell. Intell. Informatics 11 (7) (2007)
Hassan Abolhassani, Babak Bagheri Hariri, Seyed H. Haeri
On Ontology Alignment Experiments. Webology 3 (3) (2006)
Babak Bagheri Hariri, Hassan Abolhassani, Ali Khodaei
A new Structural Similarity Measure for Ontology Alignment. SWWS (2006)
Babak Bagheri Hariri, Hassan Sayyadi, Hassan Abolhassani, Kyumars Sheykh Esmaili
Combining Ontology Alignment Metrics Using the Data Mining Techniques. C&O@ECAI (2006)
Mohsen Jamali, Hassan Sayyadi, Babak Bagheri Hariri, Hassan Abolhassani
A Method for Focused Crawling Using Combination of Link Structure and Content Similarity. Web Intelligence (2006)
Babak Bagheri Hariri, Hassan Abolhassani
A New Evaluation Method for Ontology Alignment Measures. ASWC (2006)