Babak Bagheri Hariri

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