Meir Kalech

View Scopus Profile

Meir Kalech

 https://orcid.org/0000-0001-7394-4713
20012024

Research activity per year

Filter
Conference contribution

Search results

  • 2024

    Diagnosing Multi-Agent STRIPS Plans

    Natan, A., Stern, R., Kalech, M., Yeoh, W. & Son, T. C., 26 Nov 2024, 35th International Conference on Principles of Diagnosis and Resilient Systems, DX 2024. Pill, I., Natan, A. & Wotawa, F. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 8. (OpenAccess Series in Informatics; vol. 125).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Diagnosing Non-Intermittent Anomalies in Reinforcement Learning Policy Executions

    Natan, A., Stern, R. & Kalech, M., 26 Nov 2024, 35th International Conference on Principles of Diagnosis and Resilient Systems, DX 2024. Pill, I., Natan, A. & Wotawa, F. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 23. (OpenAccess Series in Informatics; vol. 125).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Real-Time Sensor Fault Detection in Drones: A Correlation-Based Algorithmic Approach

    Roshanski, I., Roshanski, M. & Kalech, M., 26 Nov 2024, 35th International Conference on Principles of Diagnosis and Resilient Systems, DX 2024. Pill, I., Natan, A. & Wotawa, F. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 17. (OpenAccess Series in Informatics; vol. 125).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2023

    Blame Attribution for Multi-Agent Path Finding Execution Failures

    Natan, A., Stern, R. & Kalech, M., 28 Sep 2023, ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings. Gal, K., Gal, K., Nowe, A., Nalepa, G. J., Fairstein, R. & Radulescu, R. (eds.). IOS Press BV, p. 1763-1770 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 372).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • CLEAN++: Code Smells Extraction for C++

    Mashiach, T., Sotto-Mayor, B., Kaminka, G. & Kalech, M., 1 Jan 2023, Proceedings - 2023 IEEE/ACM 20th International Conference on Mining Software Repositories, MSR 2023. Institute of Electrical and Electronics Engineers, p. 441-445 5 p. (Proceedings - 2023 IEEE/ACM 20th International Conference on Mining Software Repositories, MSR 2023).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Diagnosis for Post Concept Drift Decision Trees Repair

    Almog, S. & Kalech, M., 1 Jan 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023. Marquis, P., Son, T. C. & Kern-Isberner, G. (eds.). Association for the Advancement of Artificial Intelligence, p. 23-33 11 p. (Proceedings of the International Conference on Knowledge Representation and Reasoning).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    2 Scopus citations

  • Distributed Spectrum-Based Fault Localization

    Natan, A., Stern, R. & Kalech, M., 27 Jun 2023, AAAI-23 Technical Tracks 5. Williams, B., Chen, Y. & Neville, J. (eds.). AAAI press, p. 6491-6498 8 p. (Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023; vol. 37).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Multi-Agent Planning and Diagnosis with Commonsense Reasoning

    Son, T. C., Yeoh, W., Stern, R. & Kalech, M., 30 Nov 2023, Proceedings of 2023 5th International Conference on Distributed Artificial Intelligence, DAI 2023. Association for Computing Machinery, 14. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    1 Scopus citations
  • 2022

    Model-Based Diagnosis of Multi-Agent Systems: A Survey

    Kalech, M. & Natan, A., 30 Jun 2022, IAAI-22, EAAI-22, AAAI-22 Special Programs and Special Track, Student Papers and Demonstrations. Association for the Advancement of Artificial Intelligence, p. 12334-12341 8 p. (Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022; vol. 36).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    10 Scopus citations
  • 2021

    BEIRUT: Repository Mining for Defect Prediction

    Elmishali, A., Sotto-Mayor, B., Roshanski, I., Sultan, A. & Kalech, M., 1 Jan 2021, Proceedings - 2021 IEEE 32nd International Symposium on Software Reliability Engineering, ISSRE 2021. Jin, Z., Li, X., Xiang, J., Mariani, L., Liu, T., Yu, X. & Ivaki, N. (eds.). Institute of Electrical and Electronics Engineers, p. 47-56 10 p. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE; vol. 2021-October).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • Contingent Planning for Robust Multi-Agent Path Finding

    Nekvinda, M., Barták, R. & Kalech, M., 1 Jan 2021, 14th International Symposium on Combinatorial Search, SoCS 2021. Ma, H. & Serina, I. (eds.). Association for the Advancement of Artificial Intelligence, p. 185-187 3 p. (14th International Symposium on Combinatorial Search, SoCS 2021).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • With measured words: Simple sentence selection for black-box optimization of sentence compression algorithms

    Shichel, Y., Kalech, M. & Tsur, O., 1 Jan 2021, EACL 2021 - 16th Conference of the European Chapter of the Association for Computational Linguistics, Proceedings of the Conference. Association for Computational Linguistics (ACL), p. 1625-1634 10 p. (EACL 2021 - 16th Conference of the European Chapter of the Association for Computational Linguistics, Proceedings of the Conference).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations
  • 2020

    Ai for software quality assurance blue sky ideas talk

    Kalech, M. & Stern, R., 1 Jan 2020, AAAI 2020 - 34th AAAI Conference on Artificial Intelligence. AAAI press, p. 13529-13533 5 p. (AAAI 2020 - 34th AAAI Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Efficient hybrid fault detection for autonomous robots

    Khalastchi, E. & Kalech, M., 1 Jan 2020, Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2020. An, B., El Fallah Seghrouchni, A. & Sukthankar, G. (eds.). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 1884-1886 3 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; vol. 2020-May).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Model-based diagnosis with uncertain observations

    Cazes, D. & Kalech, M., 1 Jan 2020, AAAI 2020 - 34th AAAI Conference on Artificial Intelligence. AAAI press, p. 2766-2773 8 p. (AAAI 2020 - 34th AAAI Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    7 Scopus citations
  • 2019

    Debguer: A tool for bug prediction and diagnosis

    Elmishali, A., Stern, R. & Kalech, M., 1 Jan 2019, 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019. AAAI press, p. 9446-9451 6 p. (33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    12 Scopus citations

  • Temporal pattern-based malicious activity detection in SCADA systems

    Kalech, M., Shlomo, A. & Moskovitch, R., 19 May 2019, Cyber Security Cryptography and Machine Learning - 3rd International Symposium, CSCML 2019, Proceedings. Dolev, S., Hendler, D., Lodha, S. & Yung, M. (eds.). Springer Verlag, p. 316-319 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11527 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2017

    Plan recognition design

    Mirsky, R., Stern, R., Gal, Y. & Kalech, M., 5 Jul 2017, The Workshops of the Thirty-First AAAI Conference on Artificial Intelligence: Technical Reports Ws-17-01 - Ws-17-15. AI Access Foundation, p. 859-866 8 p. (AAAI Workshop - Technical Report; vol. WS-17-01 - WS-17-15).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations
  • 2016

    Batch repair with heuristic search

    Shinitzky, H., Stern, R. & Kalech, M., 1 Jan 2016, Proceedings of the 9th Annual Symposium on Combinatorial Search, SoCS 2016. Baier, J. A. & Botea, A. (eds.). AAAI press, p. 141-142 2 p. (Proceedings of the 9th Annual Symposium on Combinatorial Search, SoCS 2016; vol. 2016-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • Implementing troubleshooting with batch repair

    Stern, R., Kalech, M. & Shinitzky, H., 1 Jan 2016, 30th AAAI Conference on Artificial Intelligence, AAAI 2016. AAAI press, p. 769-775 7 p. (30th AAAI Conference on Artificial Intelligence, AAAI 2016).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations

  • Sequential Plan Recognition

    Mirsky, R., Gal, Y., Stern, R. & Kalech, M., 1 Jan 2016, Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems: AAMAS 2016. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 1347-1348 2 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    8 Scopus citations
  • 2015

    How many diagnoses do we need?

    Stern, R., Kalech, M., Rogov, S. & Feldman, A., 1 Jun 2015, Proceedings of the 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015. AI Access Foundation, p. 1618-1624 7 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    7 Scopus citations

  • Lie on the fly: Iterative voting center with manipulative voters

    Naamani-Dery, L., Obraztsova, S., Rabinovich, Z. & Kalech, M., 1 Jan 2015, IJCAI 2015 - Proceedings of the 24th International Joint Conference on Artificial Intelligence. Wooldridge, M. & Yang, Q. (eds.). International Joint Conferences on Artificial Intelligence, p. 2033-2039 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2015-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    9 Scopus citations
  • 2014

    A hybrid approach for fault detection in autonomous physical agents

    Khalastchi, E., Kalech, M. & Rokach, L., 1 Jan 2014, 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 941-948 8 p. (13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    14 Scopus citations

  • Diagnosing faults in a temporal multi-agent resource allocation

    Bar-Zev, Y., Stern, R. & Kalech, M., 1 Jan 2014, 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 1513-1514 2 p. (13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Preference elicitation for group decisions

    Naamani-Dery, L., Golan, I., Kalech, M. & Rokach, L., 1 Jan 2014, Group Decision and Negotiation: A Process-Oriented View - Joint INFORMS-GDN and EWG-DSS International Conference, GDN 2014, Proceedings. Springer Verlag, p. 193-200 8 p. (Lecture Notes in Business Information Processing; vol. 180 LNBIP).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Preference elicitation for narrowing the recommended list for groups

    Naamani-Dery, L., Kalech, M., Rokach, L. & Shapira, B., 6 Oct 2014, RecSys 2014 - Proceedings of the 8th ACM Conference on Recommender Systems. Association for Computing Machinery, p. 333-336 4 p. (RecSys 2014 - Proceedings of the 8th ACM Conference on Recommender Systems).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    13 Scopus citations

  • Using model-based diagnosis to improve software testing

    Zamir, T., Stern, R. & Kalech, M., 1 Jan 2014, Proceedings of the National Conference on Artificial Intelligence. AI Access Foundation, p. 1135-1141 7 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    14 Scopus citations
  • 2013

    Machine-learning-based circuit synthesis

    Rokach, L., Kalech, M., Provan, G. & Feldman, A., 1 Dec 2013, IJCAI 2013 - Proceedings of the 23rd International Joint Conference on Artificial Intelligence. p. 1635-1641 7 p. (IJCAI International Joint Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations
  • 2012

    Compiling model-based diagnosis to Boolean satisfaction

    Metodi, A., Stern, R., Kalech, M. & Codish, M., 7 Nov 2012, AAAI-12 / IAAI-12 - Proceedings of the 26th AAAI Conference on Artificial Intelligence and the 24th Innovative Applications of Artificial Intelligence Conference. p. 793-799 7 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    24 Scopus citations

  • Exploring the duality in conflict-directed model-based diagnosis

    Stern, R., Kalech, M., Feldman, A. & Provan, G., 7 Nov 2012, AAAI-12 / IAAI-12 - Proceedings of the 26th AAAI Conference on Artificial Intelligence and the 24th Innovative Applications of Artificial Intelligence Conference. p. 828-834 7 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    42 Scopus citations

  • Machine-learning-based circuit synthesis

    Rokach, L., Feldman, A., Kalech, M. & Provan, G., 1 Dec 2012, 2012 IEEE 27th Convention of Electrical and Electronics Engineers in Israel, IEEEI 2012. 6377134. (2012 IEEE 27th Convention of Electrical and Electronics Engineers in Israel, IEEEI 2012).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations
  • 2011

    When to stop? That is the question

    Reches, S., Kalech, M. & Stern, R., 2 Nov 2011, AAAI-11 / IAAI-11 - Proceedings of the 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference. p. 1063-1068 6 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • When to Stop? That Is the Question

    Reches, S., Kalech, M. & Stern, R., 11 Aug 2011, Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011. AAAI press, p. 1063-1068 6 p. (Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations
  • 2010

    Ants meeting algorithms

    Shiloni, A., Levy, A., Feiner, A. & Kalech, M., 1 Jan 2010, 9th International Joint Conference on Autonomous Agents and Multiagent Systems 2010, AAMAS 2010. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 567-574 8 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Decision making with dynamically arriving information

    Kalech, M. & Pfeffer, A., 1 Jan 2010, 9th International Joint Conference on Autonomous Agents and Multiagent Systems 2010, AAMAS 2010. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 267-274 8 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations

  • Iterative voting under uncertainty for group recommender systems

    Naamani-Dery, L., Kalech, M., Rokach, L. & Shapira, B., 15 Dec 2010, RecSys'10 - Proceedings of the 4th ACM Conference on Recommender Systems. p. 265-268 4 p. (RecSys'10 - Proceedings of the 4th ACM Conference on Recommender Systems).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    20 Scopus citations

  • Searching for a k-clique in unknown graphs

    Stern, R., Kalech, M. & Felner, A., 1 Dec 2010, Proceedings of the 3rd Annual Symposium on Combinatorial Search, SoCS 2010. p. 83-89 7 p. (Proceedings of the 3rd Annual Symposium on Combinatorial Search, SoCS 2010).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    6 Scopus citations
  • 2007

    Matrix-based representation for coordination fault detection: A formal approach

    Kalech, M., Lindner, M. & Kaminka, G. A., 1 Dec 2007, AAMAS'07 - Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems. p. 516-523 8 p. 118. (Proceedings of the International Conference on Autonomous Agents).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations
  • 2006

    Diagnosis of multi-robot coordination failures using distributed CSP algorithms

    Kalech, M., Kaminka, G. A., Meisels, A. & Elmaliach, Y., 13 Nov 2006, Proceedings of the 21st National Conference on Artificial Intelligence and the 18th Innovative Applications of Artificial Intelligence Conference, AAAI-06/IAAI-06. p. 970-975 6 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    23 Scopus citations
  • 2004

    Diagnosing a team of agents: Scaling-up

    Kalech, M. & Kaminka, G. A., 27 Sep 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004. Jennings, N. R., Sierra, C., Sonenberg, L. & Tambe, M. (eds.). p. 1474-1475 2 p. (Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004; vol. 3).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    11 Scopus citations