If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2022

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

    Kalech, M. & Natan, A., 2022, AAAI. p. 12334-12341 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 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.). IEEE Computer Society, p. 47-56 10 p. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE; vol. 2021-October).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

  • 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 proceedingConference contributionpeer-review

    3 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 proceedingConference contributionpeer-review

    5 Scopus citations
  • Temporal pattern-based malicious activity detection in SCADA systems

    Kalech, M., Shlomo, A. & Moskovitch, R., 1 Jan 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 proceedingConference contributionpeer-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.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

    8 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 proceedingConference contributionpeer-review

    10 Scopus citations
  • Diagnosing faults in a temporal multi-agent resource allocation: (extended abstract).

    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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

    10 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 proceedingConference contributionpeer-review

    13 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

    38 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 proceedingConference contributionpeer-review

    1 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 proceedingConference contributionpeer-review

    1 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. 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

    4 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 proceedingConference contributionpeer-review

    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 proceedingConference contributionpeer-review

    4 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

    18 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 proceedingConference contributionpeer-review

    11 Scopus citations