ML Anthology
Authors
Search
About
Kalech, Meir
22 publications
AAAI
2023
Distributed Spectrum-Based Fault Localization
Avraham Natan
,
Roni Stern
,
Meir Kalech
AAAI
2022
Model-Based Diagnosis of Multi-Agent Systems: A Survey
Meir Kalech
,
Avraham Natan
AAAI
2020
AI for Software Quality Assurance Blue Sky Ideas Talk
Meir Kalech
,
Roni Stern
AAAI
2020
Model-Based Diagnosis with Uncertain Observations
Dean Cazes
,
Meir Kalech
AAAI
2019
DeBGUer: A Tool for Bug Prediction and Diagnosis
Amir Elmishali
,
Roni Stern
,
Meir Kalech
AAAI
2017
Plan Recognition Design
Reuth Mirsky
,
Roni Stern
,
Ya'akov (Kobi) Gal
,
Meir Kalech
IJCAI
2016
Anticipatory Troubleshooting
Netantel Hasidi
,
Roni Stern
,
Meir Kalech
,
Shulamit Reches
AAAI
2016
Data-Augmented Software Diagnosis
Amir Elmishali
,
Roni Stern
,
Meir Kalech
AAAI
2016
Implementing Troubleshooting with Batch Repair
Roni Stern
,
Meir Kalech
,
Hilla Shinitzky
IJCAI
2016
Sequential Plan Recognition
Reuth Mirsky
,
Roni Stern
,
Ya'akov (Kobi) Gal
,
Meir Kalech
JAIR
2015
Decision Making with Dynamic Uncertain Events
Meir Kalech
,
Shulamit Reches
AAAI
2015
How Many Diagnoses Do We Need?
Roni Tzvi Stern
,
Meir Kalech
,
Shelly Rogov
,
Alexander Feldman
IJCAI
2015
Lie on the Fly: Iterative Voting Center with Manipulative Voters
Lihi Naamani Dery
,
Svetlana Obraztsova
,
Zinovi Rabinovich
,
Meir Kalech
JAIR
2014
A Novel SAT-Based Approach to Model Based Diagnosis
Amit Metodi
,
Roni Stern
,
Meir Kalech
,
Michael Codish
AAAI
2014
Using Model-Based Diagnosis to Improve Software Testing
Tom Zamir
,
Roni Tzvi Stern
,
Meir Kalech
IJCAI
2013
Machine-Learning-Based Circuit Synthesis
Lior Rokach
,
Meir Kalech
,
Gregory M. Provan
,
Alexander Feldman
AAAI
2012
Compiling Model-Based Diagnosis to Boolean Satisfaction
Amit Metodi
,
Roni Stern
,
Meir Kalech
,
Michael Codish
AAAI
2012
Exploring the Duality in Conflict-Directed Model-Based Diagnosis
Roni Tzvi Stern
,
Meir Kalech
,
Alexander Feldman
,
Gregory M. Provan
AAAI
2011
When to Stop? That Is the Question
Shulamit Reches
,
Meir Kalech
,
Rami Stern
AAAI
2006
Diagnosis of Multi-Robot Coordination Failures Using Distributed CSP Algorithms
Meir Kalech
,
Gal A. Kaminka
,
Amnon Meisels
,
Yehuda Elmaliach
AAAI
2005
Towards Model-Based Diagnosis of Coordination Failures
Meir Kalech
,
Gal A. Kaminka
IJCAI
2003
On the Design of Social Diagnosis Algorithms for Multi-Agent Teams
Meir Kalech
,
Gal A. Kaminka