Publications By Years

    2023

    JOURNAL PAPERS
    HIGHLY REFEREED CONFERENCES
    • Sarit Kraus, Yaniv Oshrat, Yonatan Aumann, Tal Hollander, Oleg Maksimov, Anita Ostroumov and Natali Shechtman. Customer Service Combining Human Operators and Virtual Agents: a Call for Multidisciplinary AI Research. AAAI Senior Member Track, 2023.
      [ pdf version ] [ video ] [ slides ]
    • Yohai Trabelsi, Abhijin Adiga, Sarit Kraus, S.S. Ravi, Daniel J. Rosenkrantz. Resource Sharing Through Multi-Round Matchings, AAAI 2023.
      [ pdf version ]
    • Osnat Ackerman Viden, Yohai Trabelsi, Pan Xu, Karthik Abinav Sankararaman, Oleg Maksimov and Sarit Kraus. Allocation Problem in Remote Teleoperation: Online Matching with Offline Reusable Resources and Delayed Assignments, AAMAS 2023.
      [ pdf version ]
    • Yohai Trabelsi, Or Shabat, Joel Lanir, Oleg Maksimov , Sarit Kraus. Advice Provision in Teleoperation of Autonomous Vehicles, IUI 2023.
      [ pdf version ]

    2022

    JOURNAL PAPERS
    • Gan, J., Elkind, E., Kraus, S., & Wooldridge, M. Defense coordination in security games: Equilibrium analysis and mechanism design. Artificial Intelligence, 313, 103791, 2022.
      [ pdf version ]
    HIGHLY REFEREED CONFERENCES
    • Mutzari Yonatan Aumann and Sarit KrausRobust Solutions for Multi-Defender Stackelberg Security Games, IJCAI 2022.
      [ pdf version ]
    • Kayla Boggess, Sarit Kraus and Lu Feng. Toward Policy Explanations for Multi-Agent Reinforcement Learning, IJCAI 2022.
      [ pdf version ]
    • Sharadhi Alape Suryanarayana, D. Sarne, S. Kraus. Justifying Social-Choice Mechanism Outcome for Improving Participant Satisfaction AAMAS 2022.
      [ pdf version ]
    • Alberto Pozanco, Francesca Mosca, Parisa Zehtabi, Daniele Magazzeni and Sarit Kraus. Explaining Preference-driven Schedules: the EXPRES Framework, ICAPS 2022.
      [ pdf version ]
    • Benjamin Wexler, Elad Sarafian, and Sarit Kraus, Analyzing and Overcoming Degradation in Warm-Start Reinforcement Learnin, IROS 2022.
      [ pdf version ]
    • E. Pakdamanian, E. Hu, S. Sheng, S. Kraus, S. Heo, and L. Feng. Enjoy the Ride Consciously with CAWA: Context-Aware Advisory Warnings for Automated Driving, AutoUI, 2022.
      [ pdf version ]
    • Yohai Trabelsi, Abhijin Adiga, Sarit Kraus, and S.S. Ravi. Resource Allocation to Agents with Restrictions: Maximizing Likelihood with Minimum Compromise, EUMAS 2022.
      [ pdf version ]
    • Aviram Aviv, Yaniv Oshrat, Samuel L. Assefa, Toby Mustapha, Daniel Borrajo, Manuela Veloso, and Sarit Kraus. Advising Agent for Service-Providing Live-Chat Operators, EUMAS 2022.
      [ pdf version ]
    • Sharadhi Alape Suryanarayana, David Sarne, and Sarit Kraus. Explainability in Mechanism Design: Recent Advances and the Road Ahead (Survey), EUMAS 2022.
      [ pdf version ]
    • Leora Schmerler, Noam Hazon, Sarit Kraus: Strategic Voting in the Context of Stable-Matching of Teams. SAGT 2022: 562-579.
      [ pdf version ]

    2021

    JOURNAL PAPERS
    • Yanhai Xiong, Bo An, Sarit Kraus. Electric vehicle charging strategy study and the application on charging station placement. Journal of Autonomous Agents and Multi-Agent Systems, 35(3), 2021.
      [ pdf version ]
    • Hanan Rosemarin, Ariel Rosenfeld, Steven Lapp, Sarit Kraus. Online Learning-Based Assignment of Patients to Medical Professionals, Sensors, Special Issue "Human-Computer Interaction in Smart Environments", 2021.
      [ pdf version ]
    • Suryanarayana, Sharadhi Alape, David Sarne, and Sarit Kraus. Information Design in Affiliate Marketing. Autonomous Agents and Multi-Agent Systems 35,(2):1-28, 2021.
      [ pdf version ]
    HIGHLY REFEREED CONFERENCES
    • Dolev Mutzari, Jiarui Gan and Sarit Kraus. Coalition Formation in Multi-defender Security Games, AAAI 2021.
      [ pdf version ]
    • Erfan Pakdamanian, Shili Sheng, Sonia Baee, Seongkook Heo, Sarit Kraus, Lu Feng. DeepTake: Prediction of Driver Takeover Behavior using Multimodal Data, CHI 2021.
      [ pdf version ]
    • Naftali Waxman, Noam Hazon, Sarit Kraus. Manipulation of k-Coalitional Games on Social Networks, IJCAI 2021.
      [ pdf version ]
    • Anat Hashavit, Hongning Wang, Raz Lin, Tamar Stern, Sarit Kraus. Understanding and Mitigating Bias in Online Health Search, SIGIR 2021.
      [ pdf version ]
    • Elad Sarafian, Shai Keynan, Sarit Kraus. Recomposing the Reinforcement Learning Building Blocks with Hypernetworks, ICML 2021.
      [ pdf version ]

    2020

    JOURNAL PAPERS
    • A. Rosenfeld, O. Maksimov, S. Kraus. When Security Games Hit Traffic: A Deployed Optimal Traffic Enforcement System, Artificial Intelligence journal, 289, 2020.
      [ pdf version ]
    • Paul E. Dunne, Paul Harrenstein, Sarit Kraus, and Michael Wooldridge. Delegating Decisions in Strategic Settings, IEEE Transactions on Artificial Intelligence, 2020.
      [ pdf version ]
    • A Kleinerman, A Rosenfeld, F Ricci, S Kraus. Supporting users in finding successful matches in reciprocal recommender systems, User Modeling and User-Adapted Interaction, 1-49, 2020.
      [ pdf version ]
    • A. Rosenfeld, M. Cohen, J. Keshet and S. Kraus. Online Prediction of Time Series with Assumed Behavior, Journal Engineering Applications of Artificial Intelligence, 28, 2020.
      [ pdf version ]
    • Haipeng Chen, Mohammad T. Hajiaghayi, Sarit Kraus, Anshul Sawant, Edoardo Serra, V.S. Subrahmanian and Yanhai Xiong. PIE: A Data-Driven Payoff Inference Engine for Strategic Security Applications. IEEE Transactions on Computational Social Systems, 2020.
      [ pdf version ]
    HIGHLY REFEREED CONFERENCES
    • Elad Sarafian, Mor Sinay, Yoram louzoun, Noa Agmon and Sarit. Explicit Gradient Learning for Black-Box Optimization. ICML 2020.
      [ pdf version ]
    • Sarit Kraus, A. Azaria, J. Fiosina, M. Greve, N. Hazon, L. Kolbe, T. Lembcke, J. P. Mueller, S. Schleibaum, M. Vollrath. AI for Explaining Decisions in Multi-Agent Environments, AAAI-2020 (Blue Sky category of the Senior Member Presentation Track).
      [ pdf version ]
    • Y. Oshrat, N. Agmon and Sarit Kraus. Adversarial Fence Patrolling: Non-Uniform Policies for Asymmetric Environments, AAAI 2020.
      [ pdf version ]
    • Y. Oshrat, N. Agmon and Sarit Kraus. Non-Uniform Policies for Multi-Robot Asymmetric Perimeter Patrol in Adversarial Domains, AAMAS 2020.
      [ pdf version ]
    • Jiarui Gan, Edith Elkind, Sarit Kraus, Michael Wooldridge. Mechanism Design for Defense Coordination in Security Games, AAMAS 2020.
      [ pdf version ]
    • E. Sarafian, A. Tamar and S. Kraus. Constrained Policy Improvement for Efficient Reinforcement Learning, IJCAI 2020.
      [ pdf version ]
    • Abhijin Adiga, Sarit Kraus, Oleg Maksimov and S. S. Ravi. Boolean Games: Inferring Agents' Goals Using Taxation Queries. IJCAI 2020.
      [ pdf version ]
    • C. V. Goldman, A. Harounian, R. Mergui and S. Kraus. Adaptive Driving Agent: From driving a machine to riding with a friend, HAI 2020.
      [ pdf version ]
    • Hartuv, N. Agmon and S. Kraus. Spare Drone Optimization for Persistent Task Performance with Multiple Homes Presentation format, proceedings of the 2020 International Conference on Unmanned Aircraft Systems (ICUAS 2020).
      [ pdf version ]

    2019

    JOURNAL PAPERS
    • E. Sless Lin, N. Agmon, S. Kraus. Multi-Robot Adversarial Patrolling: Handling Sequential Attacks, Artificial Intelligence Journal, 2019.
      [ pdf version ]
    HIGHLY REFEREED CONFERENCES
    • H. Rosemarin, A. Rosenfeld, S. Kraus. Emergency Department Online Patient-Caregiver Scheduling, AAAI 2019.
      [ pdf version ]
    • Julian Gutierrez, Sarit Kraus, Michael Wooldridge. Cooperative Concurrent Games, AAMAS 2019.
      [ pdf version ]
    • Idan Achituve, Sarit Kraus and Jacob Goldberger. Interpretable online banking fraud detection based on hierarchical attention mechanism., IEEE Machine Learning for Signal Processing Workshop (MLSP), 2019. 2
      [ pdf version ]
    EXTENDED ABSTRACT
    • A. Ismaili, N. Hazon, E. Watanabe, M. Yokoo and S. Kraus. Complexity and Approximations in Robust Coalition Formation via Max-Min k-Partitioning, AAMAS 2019.
      [ pdf version ]
    • E. Sarafian, Aviv Tamar, S. Kraus. Constrained Policy Improvement for Safe and Efficient Reinforcement Learning, The Multi-disciplinary Conference on Reinforcement Learning and Decision Making, 2019.
      [ pdf version ]

    2018

    JOURNAL PAPERS
    • L. Sless, N. Hazon, S. Kraus and M. Wooldridge. Forming k coalitions and facilitating relationships in social networks, Artificial Intelligence, 259: 217-245, 2018.
      [ pdf version ]
    • Avi Rosenfeld, S. Sina, D. Sarne, O. Avidov and S. Kraus. WhatsApp usage patterns and prediction of demographic characteristics without access to message content, Demographic Research, 39:647–670, 2018.
      [ pdf version ]
    • Ariel Rosenfeld, Moshe Cohen, Mattew Taylor and Sarit Kraus. Leveraging human knowledge in tabular reinforcement learning: A study of human subjects, Knowledge Engineering Review, 33, 2018.
      [ pdf version ]
    HIGHLY REFEREED CONFERENCES
    • E. Hartuv, N. Agmon and S. Kraus. Scheduling Spare Drones for Persistent Task Performance under Energy Constraints. AAMAS 2018.
      [ pdf version ]
    • S. Erlich, N. Hazon, S. Kraus. Negotiation Strategies for Agents with Ordinal Preferences, IJCAI 2018.
      [ pdf version ]
    • A. Rosenfeld, O. Maksimov, S. Kraus. Optimal Cruiser-Drone Traffic Enforcement Under Energy Limitation, IJCAI 2018.
      [ pdf version ]
    • Mor Sinay, Noa Agmon, Oleg Maksimov, Guy Levy, Moshe Bitan, Sarit Kraus. UAV/UGV Search and Capture of Goal-Oriented Uncertain Targets, IROS 2018.
      [ pdf version ]
    • Akiva Kleinerman, Ariel Rosenfeld and Sarit Kraus. Providing Explanations for Automated Advice in Reciprocal Environments, RecSys, 2018.
      [ pdf version ]
    • Akiva Kleinerman, Ariel Rosenfeld, Francesco Ricci and Sarit Kraus. Optimizing Interactions in Reciprocal Recommender Systems, RecSys, 2018.
      [ pdf version ]

    2017

    JOURNAL PAPERS
    • Rosenfeld A, Agmon N, Maksimov O, Kraus S. Intelligent agent supporting human-multi-robot team collaboration. Artificial Intelligence. 252: 211-231, 2017. [ pdf version ]
    • Galit Haim, Kobi Gal, Bo An, Sarit Kraus. Human-computer negotiation in a three player market setting. Artificial Intelligence, 2017.
      [ pdf version ]
    • S. Barrett, A. Rosenfeld, , S. Kraus and P. Stone. Making Friends on the Fly: Cooperating with New Teammates, Artificial Intelligence. 242:132–171, 2017.
      [ pdf version ]
    HIGHLY REFEREED CONFERENCES
    • Ariel Rosenfeld, Oleg Maksimov and Sarit Kraus. Optimizing Traffic Enforcement: From the Lab to the Roads, GameSec 2017
      [ pdf version ]
    • Tanvi Verma, Pradeep Varakantham, Sarit Kraus and Hoong Chuin Lau. Augmenting Decisions of Taxi Drivers through Reinforcement Learning for Improving Revenues, ICAPS 2017.
      [ pdf version ]
    • Ariel Rosenfeld, O. Maksimov and S. Kraus When Security Games Hit Traffic: Optimal Traffic Enforcement Under One Sided Uncertainty, IJCAI 2017.
      [ pdf version ]
    • Mor Sinay, Noa Agmon , Oleg Maximov, Sarit Kraus and David Peleg. Maintaining Communication in Multi-Robot Tree Exploration, IJCAI 2017.
      [ pdf version ]
    • Ariel Rosenfeld, Matt Taylor and Sarit Kraus. Leveraging Human Knowledge in Tabular Reinforcement Learning: A Study of Human Subjects, IJCAI 2017.
      [ pdf version ]
    • Moshe Bitan, Galit Nahari, Zvi Nisin, Ariel Roth and Sarit Kraus. Psychologically based Virtual-Suspect for Interrogative Interview Training, AAAI 2017.
      [ pdf version ] [ watch video ]

    2016

    JOURNAL PAPERS
    • C. Kang, S. Kraus, C. Molinaro, F. Spezzano, and V.S. Subrahmanian. Diffusion Centrality in Social Networks, Artificial Intelligence, Vol. 239, pages 70-96, July 2016.
      [ pdf version ]
    • Ariel Rosenfeld and Sarit Kraus, 2016. Providing Arguments in Discussions on the Basis of the Prediction Human Argumentative Behavior. ACM Transactions on Interactive Intelligent Systems (TiiS).
      [ pdf version ]
    • A. Rosenfeld, I. Zuckerman, E. Segal-Halevi, O. Drein and S. Kraus. NegoChat-A: a chat-based negotiation agent with bounded rationality, Journal of Autonomous Agents and Multi-Agent Systems, 30(1), 60-81, 2016
      [ pdf version ] [ watch video ]
    HIGHLY REFEREED CONFERENCES
    • A. Rosenfeld and S. Kraus. Strategical Argumentative Agent for Human Persuasion, ECAI 2016.
      [ pdf version ]
    • Ariel Rosenfeld, Joseph Keshet, Claudia V. Goldman, Sarit Kraus. Online Prediction of Exponential Decay Time Series with Human-Agent Application, ECAI 2016.
      [ pdf version ]
    • A. Shvartzon, A. Azaria, S. Kraus, C. Goldman, J. Meyer and O. Tsimhoni, Personalized Alert Agent for Optimal User Performance, AAAI 2016.
      [ pdf version ]
    WORKSHOPS and POSTERS
    • Ariel Rosenfeld, Oleg Maksimov, Sarit Kraus and Noa Agmon. Human-Multi-Robot Team Collaboration for Efficient Warehouse Operation, AAMAS workshop ARMS 2016.
      [ pdf version ]
    • Avi Rosenfeld, Sigal Sina, David Sarne, Or Avidov, Sarit Kraus, WhatsApp Usage Patterns and Prediction Models, ICWSM/IUSSP Workshop on Social Media and Demographic Research, 2016.
      [ pdf version ]

    2015

    JOURNAL PAPERS
    • S. Sina, A. Rosenfeld, and S. Kraus. SAMI: An Algorithm for Solving the Missing Node Problem using Structure and Attribute Information. Social Network, Analysis and mining journal (2015).
      [ pdf version ]
    • A. Azaria, Y. Gal, S. Kraus and C. V. Goldman. Strategic advice provision in repeated human-agent interactions, Journal of Autonomous Agents and Multi-Agent Systems, 2015 (published online).
      [ pdf version ]
    • Noam Peled, Ya'akov Gal, Sarit Kraus. A Study of Computational and Human Strategies in Revelation Games. Journal of Autonomous Agents and Multi-Agent Systems, 29(1):73-97, 2015.
      [ pdf version ]
    • A. Azaria, A. Richardson, S. Kraus, and V. S. Subrahmanian. Behavioral Analysis of Insider Threat: A Survey and Bootstrapped Prediction in Imbalanced Data. IEEE Transactions on Comutational Social Systems, 2015.
      [ pdf version ]
    HIGHLY REFEREED CONFERENCES
    • S. Kraus. Human-Agent Decision-making: Combining Theory and Practice, TARK 2015.
      [ pdf version ]
    • Ariel Rosenfeld, Noa Agmon , Oleg Maksimov, Amos Azaria and Sarit Kraus Intelligent Agent Supporting Human-Multi-Robot Team Collaboration, IJCAI, 2015.
      [ pdf version ] [ watch video ]
    • A. Azaria, Ariel Rosenfeld, S. Kraus, C. V. Goldman and Omer Tsimhoni. Advice Provision for Energy Saving in Automobile Climate Control Systems, AI-Magazine (to appear).
      [ pdf version ]
    • S. Sina, N. Hazon, A. Hassidim and S. Kraus. Adapting the Social Network to Affect Elections, AAMAS 2015.
      [ pdf version ]
    • Ariel Rosenfeld, A. Azaria, S. Kraus, C. Goldman and O. Tsimhoni. Adaptive Advice in Automobile Climate Control Systems, AAMAS 2015.
      [ pdf version ]
    • Ariel Rosenfeld and S. Kraus. Providing Arguments in Discussions Based on the Prediction of Human Argumentative Behavior. AAAI 2015.
      [ pdf version ]
    • S. Sina, A. Rosenfeld, S. Kraus. and N. Akiva. A Hybrid Approach of Classifier and Clustering for Solving the Missing Node Problem. AAAI 2015.
      [ pdf version ]
    • S. Kraus. Intelligent Agents for Rehabilitation and Care of Disabled and Chronic Patients, AAAI 2015 (“Blue Sky" category of the Senior Member Presentation Track).
      [ pdf version ]
    • A. Azaria, A. Richardson and S. Kraus. An Agent for Deception Detection in Discussion Based Environments. The 18th ACM conference on Computer-Supported Cooperative Work and Social Computing, 2015.
      [ pdf version ]

    2014

    JOURNAL PAPERS
    • A. Richardson, S. Kraus, G. Kaminka. REEF: Resolving Length Bias in Frequent Sequence Mining Using Sampling, International Journal On Advances in Intelligent Systems, 7(1 and 2):208-222, 2014.
      [ pdf version ]
    • A. Azaria, Y. Aumann and S. Kraus. Automated Agents for Reward Determination for Human Work in Crowdsourcing Applications, Journal of Autonomous Agents and Multi-Agent System. 28(6): 934-955, 2014.
      [ pdf version ]
    • F. M. Delle Fave, A. X. Jiang, Z. Yin, C. Zhang, M. Tambe, S. Kraus, J.P. Sullivan. Game-theoretic Security Patrolling with Dynamic Execution Uncertainty and a Case Study on a Real Transit System Journal of Artificial Intelligence Research, 50:321-368, 2014.
      [ pdf version ]
    • Raz Lin, Ya'akov Gal, Sarit Kraus and Yaniv Mazliah. Training with Automated Agents Improves People’s Behavior in Negotiation and Coordination Tasks. Decision Support Systems, 60:1-9 (2014).
      [ pdf version ]
    • J. Grant, S. Kraus, M. Wooldridge and I. Zuckerman. Stabilizing Boolean Games, Studia Logica journal 102(2):267-295, 2014.
      [ pdf version ]
    • R. Lin, S. Kraus, T. Baarslag, D. Tykhonov, K. Hindriks and C. M. Jonker. Genius: An Integrated Environment for Supporting the Design of Generic Automated Negotiators, Computational Intelligence journal, 30(1):48-70, 2014 [ pdf version ] [Wiley Online Library ]
    • Rina Azoulay, Ron Katz and Sarit Kraus. Efficient Bidding Strategies for Cliff-Edge Problems, Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS), 28:290–336, (2014).
      [ pdf version ]
    • Azaria A, Rabinovich Z, Kraus S, Goldman CV. Strategic Information Disclosure to People with Multiple Alternatives, Transactions on Intelligent Systems and Technology (TIST) ACM Journal,2014.
      [ pdf version ]
    • R. Eyal, A. Rosenfeld, S. Sina and S. Kraus. Predicting and Identifying Missing Node Information in Social Networks Acm Transactions on Knowledge Discovery from Data, 8(3), June 2014.
      [ pdf version ]
    HIGHLY REFEREED CONFERENCES
    • Ya'akov Gal, Avi Rosenfeld, Sarit Kraus, Michele Gelfand, Bo An and Jun Lin. A new paradigm for the study of corruption across cultures. International Conference on Social Computing, Behavioral-Cultural Modeling, & Prediction (SBP),Maryland, MD, April 2014.
      [ pdf version ]
    • A. Azaria, S. Kraus, C. Goldman and O. Tsimhoni Advice Provision for Energy Saving in Automobile Climate Control Systems, Proc. Of the Twenty-Sixth Annual Conference on Innovative Applications of Artificial Intelligence (IAAI-14).
      [ pdf version ]
    • C. Buntain, A. Azaria and and S. Kraus. Leveraging Fee-Based, Imperfect Advisors in Human-Agent Games of Trust, AAAI 2014.
      [ pdf version ]
    • S. Sina, A. Rosenfeld and S. Kraus. Using the Crowd to Generate Content for Scenario-Based Serious-Games, AAAI 2014.
      [ pdf version ]
    • S. Barrett, N. Agmon, N. Hazon, P. Stone and S. Kraus. Communicating with Unknown Teammates, ECAI 2014.
      [ pdf version ]
    • G. Haim, Y. Gal, S. Kraus and B. An. Human-Computer Negotiation in Three-Player Market Settings. ECAI 2014.
      [ pdf version ]
    • E. Sless, N. Agmon and S. Kraus. Multi-Robot Adversarial Patrolling: Facing Coordinated Attacks, AAMAS 2014.
      [ pdf version ]
    • L. Sless, N. Hazon and S. Kraus and M. Wooldridge. Forming coalitions and facilitating relationships for completing tasks in social networks, AAMAS 2014.
      [ pdf version ]
    • A. Rosenfeld, I. Zuckerman, E. Segal-Halevi, O. Drein and S. Kraus. NegoChat: A Chat-Based Negotiation Agent. AAMAS 2014.
      [ pdf version ]
    • T. Shrot, A. Rosenfeld, j. Golbeck and S. Kraus. CRISP - An Interruption Management Algorithm based on Collaborative Filtering. The ACM CHI Conference, 2014.
      [ pdf version ][ video ]
    • Azaria A, Richardson A, Kraus S. An Agent for the Prospect Presentation Problem, AAMAS 2014.
      [ pdf version ]

    2013

    JOURNAL PAPERS
    • S. Reches, Y. Gal and S. Kraus. Efficiently Gathering Information in Costly Domains. Decision Support Systems, 55 (2013) 326–335.
      [ pdf version ]
    • Peter Stone, Gal A. Kaminka, Sarit Kraus, Jeffrey R. Rosenschein, and Noa Agmon. Teaching and leading an ad hoc teammate: Collaboration without pre-coordination. Artificial Intelligence, 203:35–65, Elsevier, October 2013.
      [ pdf version ]
    • Salmon, E. D., Gelfand, M. J., Çelik, A. B., Kraus, S., Wilkenfeld, J., & Inman, M. (2013). Cultural contingencies of mediation: Effectiveness of mediator styles in intercultural disputes. Journal of Organizational Behavior, 34(6), 887-909. doi: 10.1002.1870
      [ pdf version ]
    • M. Hadad, S. Kraus, I. Ben-Arroyo Hartman, and A Rosenfeld. Group planning with time constraints Annals of Mathematics and Artificial Intelligence, June 2013.
      [ pdf version ][Science Direct ]
    • Baarslag, Tim, Fujita, Katsuhide, Gerding Enrico H, Hindriks Koen, Ito Takayuki, Jennings Nicholas R, Jonker Catholijn, Kraus Sarit, Lin Raz, Robu Valentin and Williams Colin R. Evaluating Practical Negotiating Agents: Results and Analysis of the 2011 International Competition. Artificial Intelligence journal, 198:73-103, May 2013.
      [ pdf version ]
    • Ron Adany, Sarit Kraus and Fernando Ordonez. Allocation algorithms for personal TV advertisements, Multimedia Systems 19(2):79-93 March 2013.
      [ pdf version ]
    • M. Wooldridge, U. Endriss, S. Kraus, and J. Lang. Incentive engineering for Boolean games, Artificial Intelligence, 195:418-439, 2013.
      [pdf version ]
    • Noam Hazon, Yonatan Aumann, Sarit Kraus, David Sarne, Physical search problems with probabilistic knowledge, Artificial Intelligence, Volume 196: 26-52, March 2013.
      [pdf version ]
    • R. Adany, D. Aurbach, and S. Kraus, Switching Algorithms for Extending Battery Life in Electric Vehicles. Journal of Power Sources 231 (2013) 50e59
      [Science Direct ][pdf version ]
    HIGHLY REFEREED CONFERENCES
    • Ariella Richardson, Gal A. Kaminka, Sarit Kraus, REEF: Resolving Length Bias in Frequent Sequence Mining. The Third International Conference on Advances in Information Mining and Management (IMMM 2013) (Best paper Award)
      [pdf version ]
    • Azaria A, Kraus S and Richardson A. A System for Advice Provision in Multiple Prospect Selection Problems, RecSys 2013 (short paper), (also presented in HAIDM 2013 and appears as an extended abstract in AAAI 2013)
      [pdf version ]
    • Azaria A, Hassidim A, Kraus S, Eshkol A, Weintraub O, Netanely I. Movie Recommender System for Profit Maximization, RecSys 2013 (also presented as a late breaking paper in AAAI 2013, and ITWP workshop)
      [pdf version ]
    • S. Sina, A. Rosenfeld and S. Kraus. Solving the Missing Node Problem using Structure and Attribute Information, The 2013 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining ASONAM 2013.
      [pdf version ]
    • Noam Peled, Ya'akov Gal, Sarit Kraus. An Agent Design for Repeated Negotiation and Information Revelation with People. National Conference on Artificial Intelligence (AAAI), Bellevue, WA, July 2013. (also AAMAS 2013 short paper and poster)
      [pdf version ]
    • N. Hazon, R.. Lin and S. Kraus. How to Change a Group’s Collective Decision? Proc. Of IJCAI 2013.
      [pdf version ]
    • N. Peled, M. Bitan, Y. Keshet and S. Kraus. Predicting Human Strategic Decisions Using Facial Expressions, Proc. Of IJCAI 2013.
      [pdf version ]
    • S. Barrett, P. Stone, S. Kraus and A. Rosenfeld. Teamwork with Limited Knowledge of Teammates, Proc. Of AAAI 2013.
      [pdf version ]
    • M. Bitan, Y. Gal, S. Kraus, E. Dokow and A. Azaria. Social Rankings in Human-Computer Committees, Proc. of AAAI 2013.
      [pdf version ]
    • Thanh H. Nguyen, Rong Yang, Amos Azaria, Sarit Kraus and Milind Tambe Analyzing the Effectiveness of Adversary Modeling in Security Games, Proc. Of AAAI 2013.
      [pdf version ]
    • Albert Xin Jiang, Zhengyu Yin, Chao Zhang, Milind Tambe, Sarit Kraus.Game-theoretic Randomization for Security Patrolling with Dynamic Execution Uncertainty, Proc. Of AAMAS 2013
      [pdf version ]
    WORKSHOPS and POSTERS
    • Inon Zuckerman, Erel Segal-haLevi, Avi Rosenfeld, Sarit Kraus. Towards Automated Negotiation Agents that use Chat Interface In The Sixth International Workshop on Agent-based Complex Automated Negotiations (ACAN) (6 May 2013)
      [pdf version ]
    • Azaria A, Richardson A, Kraus S, Autonomous Agent for Deception Detection, in Proc. Of HAIDM (In AAMAS) 2013
      [pdf version ]
    • Azaria A, Richardson A, Elmalech A, Rosenfeld A, Kraus S, Sarne D, On Automated Agents Rationality, HAIDM (In AAMAS) 2013
      [pdf version ]
    • Azaria A. and Kraus S. Advice Provision in Multiple Prospect Selection Problems, HAIDM (In AAMAS) 2013 (also appears as an extended abstract in AAAI 2013).
      [pdf version ]
    • Sigal Sina, Sarit Kraus and Avi Rosenfeld. Social Narrative Adaptation using Crowdsourcing, 2013 Workshop on Computational Models of Narrative.
      [pdf version ]

    2012

    JOURNAL PAPERS
    • A. Rosenfeld, Z. Bareket, C. V. Goldman, S. Kraus, D. J. LeBlanc and O. Tsimhoni. Towards Adapting Cars to their Drivers, AI Magazine, 33(4) :46-58, 2012.
      [pdf version ]
    • A. Rosenfeld, S. Kraus. Modeling Agents Based on Aspiration Adaptation Theory. Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS) 24:221-254, 2012.
      [pdf version ]
    • Michal Chalamish and Sarit Kraus. AutoMed - An Automated Mediator for Multi-Issue Bilateral Negotiations, Journal of Autonomous Agents and Multi-Agent System, 24(3):536-564, 2012.
      [ pdf version ]
    • N. Hazon, Y. Aumann, S. Kraus and M. Wooldridge. Evaluation of Election Outcomes Under Uncertainty. Artificial Intelligence Journal Volume 189, September 2012, Pages 1–18
      [ pdf version ]
    • A. Rosenfeld, I. Zuckerman, A. Azaria, and S. Kraus, Combining Psychological Models with Machine Learning to Better Predict People's Decisions, Synthese, 189:81-93, 2012.
      [ pdf version ]
    HIGHLY REFEREED CONFERENCES
    • Chanhyun Kang, Cristian Molinaro, Sarit Kraus, Yuval Shavitt, V. S. Subrahmanian: Diffusion Centrality in Social Networks. ASONAM 2012: 558-564
      [ pdf version ]
    • Avi Rosenfeld, Zevi Bareket, Claudia V. Goldman3, Sarit Kraus, David J. LeBlanc and Omer Tsimoni, Learning Driver's Behavior to Improve the Acceptance of Adaptive Cruise Control, Proc. Of IAAI 2012.
      [ pdf version ]
    • Azaria A, Aumann Y, Kraus S. Automated Strategies for Determining Rewards for Human Work, AAAI 2012.
      [ pdf version ]
    • Azaria A, Rabinovich Z, Kraus S, Goldman CV, Gal Y Strategic Advice Provision in Repeated Human-Agent Interactions, AAAI 2012.
      [ pdf version ]
    • Galit Haim, Yakov Gal, Sarit Kraus, M. Gelfand, A Cultural Sensitive Agent for Human-Computer Negotiation. Proc. of AAMAS 2012.
      [ pdf version ]
    • Amos Azaria, Zinovi Rabinovich, Sarit Kraus, Claudia Goldman, Omer Tsimhoni, Giving Advice to People in Path Selection Problems, Proc. Of AAMAS 2012.
      [pdf version ]
    • James Pita and Richard John and Rajiv Maheswaran and Milind Tambe and Sarit Kraus. A Robust Approach to Addressing Human Adversaries in Security Games, Proc. Of ECAI 2012.
      [ pdf version ]
    • James Pita, Richard John, Rajiv Maheswaran, Milind Tambe, Rong Yang, Sarit Kraus, A Robust Approach to Addressing Human Adversaries in Security Games (Extended Abstract), Proc. Of AAMAS 2012. [ pdf version ]
    • Asaf Frieder, Raz Lin, Sarit Kraus. Agent-human Coordination with Communication Costs under Uncertainty (Extended Abstract), Proc. Of AAMAS 2012.
      [ pdf version ]
    • Asaf Frieder, Raz Lin and Sarit Kraus. Agent-human Coordination with Communication Costs under Uncertainty. In Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI-12), p. 1557-1563. Toronto, Canada, July 2012.
      [ pdf version ]
    • Maier Fenster, Inon Zuckerman and Sarit Kraus. Guiding User Choice During Discussion by Silence, Examples and Justifications, Proc. Of ECAI 2012.
      [ pdf version ]
    • Michael Wooldridge and Sarit Kraus. Delegating Decisions in Strategic Settings, Proc. Of ECAI 2012. [ pdf version ]
    WORKSHOPS and POSTERS
    • N. Peled, Y. Gal and S. Kraus. Learning to Reveal Information in Repeated Human-Computer Negotiation, Human-Agent Interaction Design and Models (HAIDM) workshop, 2012.
      [pdf version]
    • M. Bitan, Y. Gal, E. Dokow and S. Kraus. Social Rankings in Human-Computer Committees, Human-Agent Interaction Design and Models (HAIDM) workshop, 2012.
      [pdf version]
    • A. Rosenfeld, Z. Bareket, C. Goldman, S. Kraus, D. LeBlanc, and O. Tsimoni, Using Driver Type to Better Predict Drivers’ Adaptive Cruise Control Settings, HAIDM 2012.
      [pdf version]
    • A. Rosenfeld, Z. Bareket, C. Goldman, S. Kraus, D. LeBlanc, and O. Tsimoni, Learning Driver’s Behavior to Improve Adaptive Cruise Control, ATT 2012.
      [pdf version]
    • S. Barrett, P. Stone, S. Kraus, and A. Rosenfeld, Learning Teammate Models for Ad Hoc Teamwork, ALA 2012.
      [pdf version]
    BOOK CHAPTERS
    • Tim Baarslag, Koen Hindriks, Catholijn Jonker, Sarit Kraus and Raz Lin. The First Automated Negotiating Agents Competition (ANAC 2010). In New Trends in Agent-based Complex Automated Negotiations. Edited by T. Ito, M. Zhang, V. Robu, S. Fatima and T. Matsuo, Volume 383 of Series on Studies of Computational Intelligence. Springer-Verlag. pp. 113-135. 2012.
      [ pdf version ]
    • Raz Lin, Yinon Oshrat and Sarit Kraus. Automated Agents that Proficiently Negotiate with People: Can We Keep People out of the Evaluation Loop? In New Trends in Agent-based Complex Automated Negotiations. Edited by T. Ito, M. Zhang, V. Robu, S. Fatima and T. Matsuo, Volume 383 of Series on Studies of Computational Intelligence. Springer-Verlag. pp. 57-80. 2012.
      [ pdf version ]

    2011

    JOURNAL PAPERS
    • R. Adany, S. Kraus, and F. Ordonez, Allocation Algorithms for Personal TV Advertisements. Multimedia Systems, Springer-Verlag, 2012, 1-15. 10.1007/s00530-012-0284-y.
      [Springer Link] [pdf version]
    • Igor Vainer, Sarit Kraus, Gal A. Kaminka, Hamutal Slovin: Obtaining scalable and accurate classification in large-scale spatio-temporal domains. Knowl. Inf. Syst. 29(3): 527-564 (2011)
      [pdf version]
    • N. Agmon, G. A. Kaminka and S. Kraus. Multi-Robot Adversarial Patrolling: Facing a Full-Knowledge Opponent, Journal of Artificial Intelligence Research (JAIR), 42:887-916, 2011.
      [pdf version]
    • Ya'akov Gal, Sarit Kraus, Michele Gelfand, Hilal Khashan and Elizabeth Salmon. Negotiating with People across Cultures using an Adaptive Agent, ACM Transactions on Intelligent Systems and Technology, 3(1), 2011
      [pdf version].
    • Raz Lin and Yehoshua Gev and Sarit Kraus. Bridging the Gap: Face-to-Face Negotiations with Automated Mediator, IEEE Intelligent Systems, 26(6): 40-47 (2011).
      [pdf version]
    • I. Zuckerman, S. Kraus and J. S. Rosenschein. Using Focal Points Learning to Improve Human-Machine Tactic Coordination, Journal of Autonomous Agents and Multi-Agent System, 22(2):289-316, 2011.
      [pdf version]
    • M. Kalech, S. Kraus, G. A. Kaminka and C. V. Goldman. Practical Voting Rules with Partial Information, Autonomous Agents and Multi-Agent Systems, 22(1):151-182 (2011)
      [pdf version]
    HIGHLY REFEREED CONFERENCES
    • Amos Azaria, Zinovi Rabinovich, Sarit Kraus, Claudia V. Goldman. Strategic Information Disclosure to People with Multiple Alternatives, Proc of AAAI, 2011.
      [pdf version]
    • Ron Eyal, Sarit Kraus and Avi Rosenfeld. Identifying Missing Node Information in Social Networks. Proc of AAAI, 2011.
      [pdf version ]
    • Raz Lin, Sarit Kraus Noa Agmon, Samuel Barrett and Peter Stone. Comparing Agents' Success against People in Security Domains. Proc of AAAI, 2011.
      [pdf version ]
    • Noam Peled, Ya'akov Gal, Sarit Kraus. A Study of Computational and Human Strategies in Revelation Games, Ninth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), Taipei, Taiwan, May 2011.
      [pdf version ]
    • Ulle Endriss, Sarit Kraus, Jerome Lang and Michael Wooldridge. Designing Incentives for Boolean Games. Proc. of Ninth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), Taipei, Taiwan, May 2011.
      [pdf version]
    • Avi Rosenfeld and Sarit Kraus. Using Aspiration Adaptation Theory to Improve Learning. Proc. of Ninth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), Taipei, Taiwan, May 2011.
      [pdf version]
    • Samuel Barrett, Peter Stone and Sarit Kraus. Empirical Evaluation of Ad Hoc Teamwork in the Pursuit Domain. Proc. of Ninth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS), Taipei, Taiwan, May 2011.
      [pdf version ]
    • John Grant, Sarit Kraus, Michael Wooldridge and Inon Zuckerman. Manipulating Boolean Games Through Communication. Proc. of IJCAI 2011.
      [pdf version]
    WORKSHOPS and POSTERS
    • Raz Lin, Yehoshua Gev and Sarit Kraus. Facilitating Better Negotiation Solutions using AniMed. In Proceedings of the Fourth International Workshop on Agent-based Complex Automated Negotiations (ACAN'11), Taipei, Taiwan, May 2011.
      [pdf version]

    2010

    JOURNAL PAPERS
    • Y. Gal, B. Grosz, S. Kraus, A. Pfeffer and S. Shieber. A framework for Investigating Decision-Making in Open Mixed Networks, Artificial Intelligence journal, 2010.
      Artificial Intelligence journal 174(18):1460-1480, December 2010.
      [ pdf version]
    • Paul E. Dunne, Sarit Kraus, Efrat Manisterski and Michael Wooldridge. Solving coalitional resource games.
      Artificial Intelligence journal , Volume 174, Issue 1, January 2010, Pages 20-50.
      [pdf version]
    • Raz Lin and Sarit Kraus. Can Automated Agents Proficiently Negotiate With Humans? Communications of the ACM Vol. 53 No. 1, Pages 78-88, January, 2010.
      [pdf version]
    • James Pita, Manish Jain, Fernando Ordonez, Milind Tambe and Sarit Kraus.
      Robust Solutions to Stackelberg Games: Addressing Bounded Rationality and Limited Observations in Human Preference Models, Artificial Intelligence journal, 174(15):1142 - 1171, 2010.
      [pdf version]
    • J. Grant, S. Kraus, D. Perlis and M. Wooldridge. Postulates for Revising BDI Structures,
      Synthese, 175:39-62, 2010.
      [pdf version]
    • David Sarne and Efrat Manisterski ans Sarit Kraus. Multi-Goal Economic Search using Dynamic Search Structures,
      Journal of Autonomous Agents and Multi-Agent System , 21(2):204-236, 2010.
      [pdf version]
    HIGHLY REFEREED CONFERENCES
    • Peter Stone and Sarit Kraus. Teach or not to Teach? Decision Making Under Uncertainty in Ad Hoc Team. Proc. of AAMAS 2010.
      [pdf version]
    • Gerardo Simari, John Dickerson, V.S. Subrahmanian, Sarit Kraus. A Graph-Theoretic Approach to Protect Static and Moving Targets from Adversaries. Proc. of AAMAS 2010.
      [pdf version]
    • Tammar Shrot, Yonatan Aumann and Sarit Kraus. On agent types in Coalition formation problems. Proc. of AAMAS 2010.
      [pdf version ]
    • Gal A Kaminka, Dan Erusalimchik, Sarit Kraus. Adaptive Multi-Robot Coordination: A Game-Theoretic Perspective, Proc. of ICRA 2010.
      [pdf version]
    • John Grant, Sarit Kraus and Michael Wooldridge. Intentions in Equilibrium, Proc. of AAAI 2010.
      [pdf version]
    • Raz Lin, Sarit Kraus, Yinon Oshrat, Kobi Gal. Facilitating the Evaluation of Automated Negotiators using Peer Designed Agents, Proc. of AAAI 2010.
      [pdf version]
    • Peter Stone, Gal Kaminka, Sarit Kraus, Jeffrey Rosenschein. Ad Hoc Autonomous Agent Teams: Collaboration without Pre-Coordination. Proc of AAAI-10 (Special Track on Challenges in AI).
      [pdf version ]
    WORKSHOPS AND POSTERS
    • Galit Haim, Ya'akov Gal, Sarit Kraus, and Yael Blumberg. Learning Human Negotiation Behavior Across Cultures. Second International Working Conference on Human Factors and Computational Models in Negotiation (HuCom @ GDN 2010).
      [pdf version ]
    • Raz Lin, Yinon Oshrat and Sarit Kraus. Automated Agents that Proficiently Negotiate with People: Can We Keep People out of the Evaluation Loop? In Proceedings of the Third International Workshop on Agent-based Complex Automated Negotiations (ACAN'10). Toronto, Canada, May 2010
      [pdf version]

    2009

    JOURNAL PAPERS
    • Praveen Paruchuri, Jonathan Pearce, Janusz Marecki, Milind Tambe, Fernando Ordonez, Sarit Kraus. Coordinating Randomized policies for Increasing Security of Agent Systems, Information Technology and Management, 10(1) pp 67-79, 2009.
      [pdf version]
    • Yingqian Zhang, Efrat Manisterski, Sarit Kraus, V.S. Subrahmanian, David Peleg. Computing the Fault Tolerant Capability of Multiagent Deployment, Artificial Intelligence journal, 173(3-4):437-465, 2009.
      [pdf version]
    • A. Rosenfeld, Claudia V. Goldman, Gal A Kaminka, and Sarit Kraus. PHIRST: A Distributed Architecture for P2P Database Information Retrieval, Information Systems, 34:290-303, 2009.
      [pdf version]
    • Avi Rosenfeld, Sarit Kraus and Charles L. Ortiz, Jr. Measuring the Expected Gain of Communicating Constraint Information. Multiagent and Grid Systems -- An International Journal, 5(4):427-449, December 2009.
      [pdf version]
    • Pita, Manish Jain, Fernando Ordonez, Christopher Portway, Milind Tambe, Craig . Western, Praveen Paruchuri, Sarit Kraus. Using Game Theory for Los Angeles Airport Security James . AI Magazine 30(1):43-57 2009.
      [ pdf version ]
    HIGHLY REFEREED CONFERENCSE
    • Noa Agmon, Sarit Kraus, Gal A. Kaminka and Vladimir Sadov. Adversarial Uncertainty in Multi-Robot Patrol, Proc of IJCAI 2009.
      [ pdf version]
    • Noam Hazon Yonatan Aumann Sarit Kraus. Collaborative Multi Agent Physical Search with Probabilistic Knowledge, Proc. of IJCAI09.
      [ pdf version ]
    • Avi Rosenfeld and Sarit Kraus. Modeling Agents through Bounded Rationality Theories. Proc. of IJCAI 2009.
      [ pdf version]
    • Inon Zuckerman, Ariel Felner, Sarit Kraus. Mixing Search Strategies for Multi-Player Games, Proc. of IJCAI 2009.
      [pdf version ]
    • James Pita, Manish Jain, Fernando Ordonez, Milind Tambe, Sarit Kraus, Reuma Magori-Cohen. Effective Solutions for Real-World Stackelberg Games: When Agents Must Deal with Human Uncertainties, Proc of AAMAS 2009, pp. 369-376.
      [ pdf version ]
    • Yinon Oshrat, Raz Lin, Sarit Kraus Facing the Challenge of Human-Agent Negotiations via Effective General Opponent Modeling, Proc of AAMAS 2009, 377-384.
      [ pdf version ]
    • Raz Lin, Yinon Oshrat, Sarit Kraus, Investigating the Benefits of Automated Negotiations in Enhancing Negotiation Skills of People, Proc of AAMAS 2009, pp. 345-352.
      [ pdf version ]
    • Tammar Shrot, Yonatan Aumann, Sarit Kraus, Easy and Hard Coalition Formation Problems - Parameterized Complexity Analysis. Proc of AAMAS 2009, pp. 443-450.
      [ pdf version ]
    • Tammar Shrot, Avi Rosenfeld and Sarit Kraus. Leveraging Users for Efficient Interruption Management in Agent.User Systems. Proc. of IAT 2009.
      [ pdf version]
    • Igor Vainer, Sarit Kraus, Gal A. Kaminka, and Hamutal Slovin. Scalable Classification in Large Scale Spatiotemporal Domains Applied to Voltage-Sensitive Dye Imaging. In Proceedings of the IEEE International Conference on Data Mining (ICDM 2009), 2009.
      [pdf version]
    WORKSHOPS AND POSTERS
    • Noa Agmon, Sarit Kraus, Gal Kaminka. Uncertainties in Adversarial Patrol, In Proceedings of the Eighth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2009) (extended abstract). [ pdf version ]
    • Dan Erusalimchik, Gal Kaminka, Sarit Kraus. Adaptive Game-Theoretic Multi-Robot Coordination Based on Resource Spending Velocity, In Proceedings of the Eighth International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2009) (extended abstract).
      [ pdf version ]
    • Tammar Short, Avi Rosenfeld, Sarit Kraus. Quickly Learning User Characteristics for Efficient Interruptability in Agent--User Collaborative Systems, MIMS09 workshop, AAMAS 2009.
    • Avi Rosenfeld and Sarit Kraus. Modeling Agents through Bounded Rationality Theories, AGS workshop, AAMAS 2009.
    • Raz Lin and Sarit Kraus. Designing Automated Agents Capable of Efficiently Negotiating with People - Overcoming the Challenge. In Proceedings of the 7th European Workshop on Multi-Agent Systems (EUMAS'09). Ayia Napa, Cyprus, December 2009.
      [pdf version]
    • Raz Lin, Sarit Kraus, Dmytro Tykhonov, Koen Hindriks and Catholijn M. Jonker. Supporting the Design of General Automated Negotiators. In Proceedings of the Second International Workshop on Agent-based Complex Automated Negotiations (ACAN'09). Budapest, Hungary, May 2009.
      [pdf version ]

    2008

    JOURNAL PAPERS
    • Raz Lin, Sarit Kraus, Jonathan Wilkenfeld and James Barry. Negotiating with Bounded Rational Agents in Environments with Incomplete Information Using an Automated Agent, Artificial Intelligence journal, 172(6-7):823-851, 2008.
      [ pdf version ]
    • Avi Rosenfeld, Gal A. Kaminka, Sarit Kraus, and Onn Shehory. A Study of Mechanisms for Improving Robotic Group Performance. Artificial Intelligence, 172(6--7):633--655, 2008.
      [ pdf version]
    • E. Manisterski, D. Sarne and S. Kraus (2008) "Cooperative Search with Concurrent Interactions", JAIR, Volume 32, pages 1-36.
      [ pdf version]
    • Sarit Kraus, Roni Parshani, and Yuval Shavitt. A Study on Gossiping in Transportation Networks, IEEE Transactions on Vehicular Technology, 57(4):2602-2607, 2008.
      [ pdf version]
    • S. Kraus, P. Hoz-Weiss, J. Wilkenfeld, David R. Andersen and Amy Pate. Resolving crises through automated bilateral negotiations, Artificial Intelligence journal, 172(1):1-18, 2008.
      [ pdf version] [ abstract]
    • S. Kraus, R. Lin and Y. Shavitt. On Self-Interested Agents in Vehicular Networks with Car-to-Car Gossiping, IEEE Transactions on Vehicular Technology, 57(6):3319 - 3332, 2008.
      [pdf version ]
    • R. Katz, Y. Amichai-Hamburger, E. Manisterski and S. Kraus. Different Orientations of Males and Females in Computer-Mediated Negotiation.
      Computers in human behavior journal , 24(2):516-534, 2008.
      [ pdf version]
    HIGHLY REFEREED CONFERENCES
    • Yonatan Aumann, Noam Hazon, David Sarne and Sarit Kraus. Physical search problems applying economic search models. In Proc. of AAAI 2008.
      [ pdf version]
    • P. E. Dunne, S. Kraus, W. van der Hoek, and M. Wooldridge. Cooperative Boolean Games. In Proceedings of the Seventh International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2008). Estoril, Portugal, May 2008.
      [pdf version]
    • Praveen Paruchuri, Jonathan Pearce, Janusz Marecki, Milind Tambe, Fernando Ordonez, and Sarit Kraus. Playing Games for Security: An Efficient Exact Algorithm for Solving Bayesian Stackelberg Games In Proceedings of the Seventh International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2008). Estoril, Portugal, May 2008.
      [ pdf version]
    • Michal Chalamish, David Sarne, Sarit Kraus. Programming Agents as a Means of Capturing Self-Strategy. In Proceedings of the Seventh International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2008). Estoril, Portugal, May 2008.
      [ pdf version ]
    • Tsz-Chiu Au, Dana Nau, Sarit Kraus. Synthesis of Strategies from Interaction Traces. In Proceedings of the Seventh International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2008). Estoril, Portugal, May 2008.
      [ pdf version ]
    • Shulamit Reches, Philip Hendrix, Barbara J. Grosz and Sarit Kraus. Efficiently Determining the Appropriate Mix of Personal Interaction and Reputation Information in Partner Choice. In Proceedings of the Seventh International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2008). Estoril, Portugal, May 2008.
      [ pdf version ]
    • Noa Agmon, Vladimir Sadov, Sarit Kraus, Gal Kaminka. The Impact of Adversarial Knowledge on Adversarial Planning in Perimeter Patrol. In Proceedings of the Seventh International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2008). Estoril, Portugal, May 2008.
      [ pdf version]
    • Noa Agmon, Sarit Kraus and Gal A. Kamink. Multi-Robot Perimeter Patrol in Adversarial Settings. Proc. of ICRA 2008.
      [ pdf version ]
    • Victor Shafran, Gal Kaminka, Sarit Kraus, Claudia Goldman. Multidirectional Distributed Matchmaking. In Proceedings of the Seventh International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2008). Estoril, Portugal, May 2008. (short paper)
      [ pdf version ]
    • Ron katz, Sarit Kraus. How Automated Agents Treat Humans and Other Automated Agents: An Experimental Study In Proceedings of the Seventh International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2008). Estoril, Portugal, May 2008. (short paper)
      [ pdf version ]
    • Efrat Manistersky, Raz Lin, Sarit Kraus. Understanding How People Design Trading Agents over Time. In Proceedings of the Seventh International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2008). Estoril, Portugal, May 2008. (short paper)
      [ pdf version ]
    • James Pita, Manish Jain, Janusz Maerecki, Fernando Ordsqez, Christopher Portway, Milind Tambe, Craig Western, Praveen Paruchuri and Sarit Kraus. Deployed ARMOR Protection: The Application of a Game Theoretic Model for Security at the Los Angeles International Airport. Proc. of AAMAS 2008 Industrial Track, Estoril, Portugal, May 2008.
      [ pdf version]
    • G. I. Simari, M. Broecheler, V. S. Subrahmanian and S. Kraus. Promises Kept, Promises Broken: An Axiomatic and Quantitative Treatment of Fulfillment. Proc. of KR-2008.
      [ pdf version]
    • Inon Zuckerman and Sarit Kraus and Jeffrey S. Rosenschein An Empirical Investigation of the Adversarial Activity Model, Proc. Of ECAI 2008, 861-862, Greece, 2008.(short paper)
    • COACH - Cumulative Online Algorithm for Classification of Handwriting Deficiencies, A. Richardson, S. Kraus, P. L. Weiss and S. Rosenblum. Proceedings of the Twentieth Annual Conference on Innovative Applications of Artificial Intelligence (IAAI-08).
      [pdf version]
    WORKSHOPS
    • Noam Hazon, Paul E. Dunne, Sarit Kraus and Michael Wooldridge. How to Rig Elections and Competitions 2nd International Workshop on Computational Social Choice Liverpool, 3-5 September 2008.
    • Noa Agmon, Gal A Kaminka, Sarit Kraus. Multi-Robot Fence Patrol in Adversarial Domains, IAS 2008.

    2007

    • D. Sarne and S. Kraus. Managing Parallel Inquiries in Agents' Two-Sided Search Artificial Intelligence journal
      [ pdf version] (to appear).
    • R. Katz and Sarit Kraus. Gender-Sensitive Automated Negotiators, AAAI 2007.
      [ pdf version]
    • Avi Rosenfeld, Sarit Kraus and Charlie Ortiz. Quantifying the Expected Utility of Information in Multi-Agent Scheduling Tasks CIA 2007.
      [ pdf version]
    • Avi Rosenfeld, Claudia Goldman, Gal Kaminka and Sarit Kraus. An Agent Architecture for Hybrid P2P Free-Text Search CIA 2007 [Best paper Award].
      [ pdf version]
    • Efrat Manisterski, David Sarne, Sarit Kraus. Enhancing MAS Cooperative Search Through Coalition Partitioning, Proc. of IJCAI 2007 pp. 1415-1421.
      [ pdf version] [ abstract]
    • Efrat Manisterski, Roni Katz, Sarit Kraus Providing a recommended trading agent to a population: a novel approach, IJCAI 2007 pp. 1408-1414.
      [ pdf version], [ abstract]
    • Inon Zuckerman, Sarit Kraus, Jeffrey S. Rosenschein Using Focal Point Learning to Improve Tactic Coordination in Human-Machine Interactions, Proc. of IJCAI 2007 pp. 1563-1568.
      [pdf version], [abstract]
    • E. David, A. Rogers, N. R. Jennings, J. Schiff, S. Kraus and M. H. Rothkopf, Optimal design of English auctions with discrete bid levels, ACM Trans on Internet Technology 7 (2), article 12
      [ pdf version]
    • Praveen Paruchuri, Jonathan Pearce, Milind Tambe, Fernando Ordonez, Sarit Kraus. An Efficient Heuristic Approach for Security Against Multiple Adversaries. Proceeding of AAMAS 07, USA.
      [ pdf version] [ abstract]
    • Raz Lin, Sarit Kraus, Yuval Shavitt. On the Benefits of Cheating by Self-Interested Agents in Vehicular Networks. Proceeding of AAMAS 07, USA.
      [ pdf version] [ abstract]
    • Inon Zuckerman, Sarit Kraus, Jeffrey Rosenschein, Gal Kaminka. An Adversarial Environment Model for Bounded Rational Agents in Zero-Sum Interactions. Proceeding of AAMAS 07, USA.
      [ pdf version] [ abstract]
    • David Sarne, Sarit Kraus, Takayuki Ito. Scaling-Up Shopbots - a Dynamic Allocation-Based Approach. Proceeding of AAMAS 07, USA.
      [ pdf version] [ abstract]
    • Shulamit Reches, Shavit Talman, Sarit Kraus. A statistical decision-making model for choosing between multiple alternatives, Proceeding of AAMAS 07, USA (short paper).
      [ pdf version]
    • Michal Chalamish, David Sarne, Sarit Kraus. Mass Programmed Agents for Simulating Human Strategies in Large Scale Systems, Proceeding of AAMAS 07, USA (short paper).
      [ pdf version]
    • Michal Chalamish, Sarit Kraus. AutoMed - An Automated Mediator for Bilateral Negotiations Under Time Constraints Proceeding of AAMAS 07, USA (short paper).
      [ pdf version]
    • Tsz-Chiu Au, Sarit Kraus and Dana Nau. Symbolic Noise Detection in the Noisy Iterated Chicken Game and the Noisy Iterated Battle of the Sexes. Proc. of ICCC.
      [ pdf version]
    • Raz Lin, Sarit Kraus, Jonathan Wilkenfeld. GPNeg: General Purpose Negotiation Training Tool, Proc. of ICCC.
      [ pdf version]

    2006

    • Esther David, Rina Azoulay-Schwartz, and Sarit Kraus Bidding in Sealed-bid and English Multi-Attribute auctions. [Decision Support Systems, ] Decision Support Systems, 42(2):527-556 , November 2006.
      [ pdf version]
    • Raz Lin, Sarit Kraus, Jonathan Wilkenfeld and James Barry. An Automated Agent for Bilateral Negotiation with Bounded Rational Agents with Incomplete Information Proc. of ECAI 2006.
      [ pdf version]
    • Ron Katz and Sarit Kraus. Efficient agents for Cliff Edge environments with a large set of decision options, Proceeding of AAMAS 06, Japan. [ pdf version]
    • Ron Katz and Sarit Kraus. Modeling human decision making in Cliff-Edge environments", Proceeding of AAAI 06, Boston.
      [ pdf version]
    • Ron Katz and Sarit Kraus Efficient Bidding Strategies for Simultaneous Cliff-Edge Environments, IAT 2006.
      [ pdf version]
    • Efrat Manisterski, Esther David, Sarit Kraus and Nick Jennings, Forming Efficient Agent Groups for Completing Complex Tasks, Proceeding of AAMAS 06, Japan.
      [ pdf version]
    • Praveen Paruchuri, Milind Tambe, Fernando Ordonez and Sarit Kraus. Security in multiagent systems by policy randomization, Proceeding of AAMAS 06, Japan. [ pdf version]
    • Efrat Manisterski, David Sarne and Sarit Kraus. Integrating Parallel Interactions into Cooperative Search, Proceeding of AAMAS 06, Japan.
      [ pdf version]
    • Juergen Dix, Sarit Kraus, and V.S. Subrahmanian. Heterogeneous Temporal Probabilistic Agents, ACM Transactions on Computational Logic . 7(1): 151-198 (2006). [pdf version]
    • A. Rosenfeld, G. A. Kaminka, S. Kraus. Adaptive Robotic Communication Using Coordination Costs. In DARS 2006, Minneapolis, MN, July 2006.
      [ pdf version]
    • Raz Lin, Daphna Dor-Shifer, Sarit Kraus, and David Sarne. Local Negotiation in Cellular Networks: From Theory to Practice Proc. of IAAI 2006, Boston, USA.
      [ pdf version]
    • A. Rosenfeld, G. A. Kaminka, S. Kraus. Adaptive Robotic Communication using Coordination Costs for Improved Trajectory Planning. AAAI 2006 Spring Symposium.
      [ pdf version]
    • A. Rosenfeld, G. A. Kaminka, S. Kraus. A Study of Scalability Properties in Robotic Teams, In Coordination of Large-Scale Mutliagent Systems, pages 27-51, Ed: Paul Scerri, Regis Vincent, Roger Mailler, Springer 2006.
      [ pdf version]
    • O. Yadgar and S. Kraus. Coverage Density as a Dominant Property of Large-Scale Sensor Networks. In Cooperative Information Agents X, pp. 138-152, Springer Berlin/ Heidelberg, 2006.
      [ pdf version]
    • R. Meshulam, S. Reches, A. Yarden, S. Kraus. MLBP: MAS for Large-Scale Biometric Pattern Recognition. 3rd International Workshop on Safety and Security in Multiagent Systems (SASEMAS '06) Winner of Best Paper Award.
      [ pdf version]
    • R. Lin, Daphna Dor-Shifer, Saar Rosenberg, David Sarne and Sarit Kraus. Towards the Fourth Generation of Cellular Networks: Improving Performance Using Distributed Negotiation. Proc. the 9-th ACM/IEEE International Symposium on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM) 2006.

    2005

    • J. Grant, S. Kraus and D. Perlis. A Logic-Based Model of Intention Formation and Action for Multi-Agent Subcontracting Artificial Intelligence journal, 163(2):163-201, 2005.
      [ pdf version]
    • E. David, A. Rogers, J. Schiff, S. Kraus and N. Jenings. Optimal Design of English Auctions with Discrete bid Levels, Proc. of ACM EC 2005.
      [ pdf version]
    • R. Meshulam, A. Felner and S. Kraus. Utility-Based Multi-Agent System for Performing Repeated Navigation Tasks, Proc. of AAMAS 2005.
      [ pdf version]
    • S. Talman, Y. Gal, S. Kraus and M. Hadad. Adapting to Agents' Personalities in Negotiation, Proc. of AAMAS 2005.
      [ pdf version]
    • D. Sarne and S. Kraus. Buyers Coalition for Optimal Search Proc. of AAMAS 2005 (poster).
      [ pdf version]
    • R. Toester, S. Talman and S. Kraus. Choosing between heuristics and strategies - an enhanced model, Proc. of IJCAI 2005.
      [ pdf version]
    • Y. Zhang, E. Manisterski, S. Kraus, V.S.Subrahmanian, Approximation results for probabilistic survivability, Proc. of the Second IEEE Symposium on Multi-Agent Security and Survivability, Philadelphia, USA 2005.
      [ pdf version]
    • D. Sarne and S. Kraus. Cooperative exploration in the electronic marketplace, In Proceedings of AAAI-2005, 2005.
      [ pdf version]
    • D. Sarne and S. Kraus. Solving the auction-based task allocation problem in an open environment. In Proceedings of AAAI-2005, 2005.
      [ pdf version]
    • M. Hadad, G. Kaminka, G. Armon and S. Kraus. Supporting Collaborative Activity, In Proceedings of AAAI-2005, 2005.
      [ pdf version]
    • N. Agmon, G. A. Kaminka and S. Kraus. Team Member-Reallocation via Tree Pruning. In Proceedings of the National Conference on Artificial Intelligence (AAAI-2005).
      [ pdf version]
    • Yaakov Gal, Barbara J. Grosz, Sarit Kraus, Avi Pfeffer and Stuart Shieber. Colored Trails: A Formalism for Investigating Decision- making in Strategic Environments IJCAI'05 Workshop on Reasoning, Representation, and Learning in Computer Games, 2005.
      [ pdf version]
    • Praveen Paruchuri, Don Dini, Milind Tambe, Fernando Ordonez and Sarit Kraus Safety in multiagent systems by Policy Randomization - SASEMAS workshop, AAMAS-05, Utrecht, Netherlands.
    • J. Grant, S. Kraus and D. Perlis. Formal Approaches to Teamwork. In We Will Show Them: Essays in Honour of Dov Gabbay, Vol 1. S. Artemov, H. Barringer, A. S. d'Avila Garcez, L. C. Lamb, and J. Woods (eds.), College Publications, pp. 39-68, 2005.
      [ pdf version]
    • Praveen Paruchuri, Don Dini, Milind Tambe, Fernando Ordonez and Sarit Kraus Intentional Randomization for Single Agents and Agent-teams, GTDT workshop, IJCAI-05, Edinburgh, Scotland, 2005.

    2004

    • R. Lin, S. Kraus and J. Tew. OSGS - A Personalized Online Store for E-commerce Environments, Information Retrieval journal, Vol. 7, Issues 3-4, pp. 369-394, 2004.
      [Download: pdf version]
    • C. Goldman, S. Kraus and O. Shehory. On experimental equilibria strategies for selecting sellers and satisfying buyers, International Journal on Decision Support Systems and Electronic Commerce 38(3):329-346, 2004.
      [Download: pdf version]
    • C. Goldman and S. Kraus. The Value of Temptation, Electronic Commerce Research, 4(4):415-454, 2004.
      [Download: pdf version]
    • R. Azoulay-Schwartz, S. Kraus and J. Wilkenfeld. Exploitation vs. Exploration: Choosing a Supplier in an Environment of Incomplete Information, International Journal on Decision Support Systems and Electronic Commerce 38(1):1-18, 2004.
      [Download: ps version ; pdf version]
    • R. Azoulay-Schwartz, S. Kraus. Stable repeated strategies for information exchange between two autonomous agents, Artificial Intelligence journal 154(1-2):43-93, 2004.
      [Download: pdf version]
    • A. Felner, R. Stern, A. Ben-Yair, S. Kraus and N. Netanyahu, "PHA*: Finding the Shortest Path with A* in An Unknown Physical Environment", Journal of Artificial Intelligence Research (JAIR) 21:631-670, 2004.
      [ pdf version] [ ps version ]
    • Jonathan Wilkenfeld, Sarit Kraus, Tara E. Santmire, and Christopher K. Frain, "The Role of Mediation in Conflict Management: Conditions for Successful Resolution," in Zeev Maoz et al. (eds.), Multiple Paths to Knowledge in International Relations, Lexington Books, 2004.
    • S. Kraus, O. Shehory and Gilad Taase. The Advantages of Compromising in Coalition Formation with Incomplete Information, Proc. of AAMAS-2004 pp. 588-595, 2004.
      [ pdf version]
    • P. Paruchuri, M. Tambe, Fernando Ordonez and Sarit Kraus Towards a formalization of teamwork with resource constraints Proc. of AAMAS-2004 pp. 596-603 2004.
      [ ps version]
    • B. Grosz, S. Kraus, S. Talman, B. Stossel and Moti Havlin The Influence of Social Dependencies on Decision-Making: Initial Investigations with a New Game. Proc. of AAMAS-2004 pp. 780-787, 2004.
      [ pdf version]
    • D. Sarne and S. Kraus. Time-Variant Distributed Agent Matching Applications. Proc. of AAMAS-2004 168-175, 2004.
      [ pdf version]
    • D. Sarne, M. Hadad and S. Kraus. Equilibrium Strategies for Task Allocation in Dynamic Multi-Agent Systems. Proc. of ECAI-2004 (poster)
      [ pdf version] .
    • A. Rosenfeld, G. Kaminka and S. Kraus. Adaptive Robot Coordination using Interference Metrics Proc. of ECAI-2004
      [ pdf version] .
    • Rosenfeld, A., Kaminka, G. A., and Kraus, S. 2004. A Study of Marginal Performance Properties in Robotic Groups. In Proceedings of the AAMAS 2004 Workshop on Coalitions and Teams.
      [ pdf version]
    • Rosenfeld, A., Kaminka, G. A., and Kraus, S. 2004. Adaptive Robot Coordination using Interference Metrics, In Proceedings of the AAMAS 2004 Workshop on Learning and Evolution in Agent-Based Systems.
      [ pdf version]
    • Rosenfeld, A., Kaminka, G. A., and Kraus, S. 2004. A Study of Marginal Performance Properties in Robotic Groups. In Proceedings of AAMAS 2004. Poster.
      [ pdf version]
    • D. Sarne, M. Hadad and S. Kraus. Auction Equilibrium Strategies for Task Allocation in Uncertain Environments, in S. Ossowski and V. Kashyap (eds.), Cooperative Information Agents VIII, LNAI Springer-Verlag, 2004.
      [ pdf version]
    • D. Sarne and S. Kraus. Agent's Multiple Inquiries for Enhancing the Partnership Formation Process in S. Ossowski and V. Kashyap (eds.), Cooperative Information Agents VIII, LNAI Springer-Verlag, 2004.
      [ pdf version]
    • D. Sarne and S. Kraus. Agents Strategies for the Dual Parallel Search in Partnership Formation Applications, in P. Faratin and J. A. Rodriguez-Aguilar in Proc. of AMEC, LNAI Springer-Verlag, 2004.
      [ pdf version]

    2003

    • D. Sarne and S. Kraus. The Search for Coalition Formation in Costly Environments, in J.G. Carbonell and J. Siekmann (eds.), Cooperative Information Agents VII, LNAI vol. 2782, Springer-Verlag, pp. 117-136, 2003. [Download: pdf version]
    • M. Hadad, S. Kraus Y. Gal, R. Lin. Time Reasoning for a Collaborative Planning Agent in a Dynamic Environment, Annals of Mathematics and Artificial Intelligence 37(4):331-380, 2003. pdf version
    • P. Bonatti, S. Kraus and V.S. Subrahmanian. Secure Agents, Annals of Mathematics and Artificial Intelligence, 37(1-2):169-235, 2003. [Download: ps version ; pdf version]
    • O. Yadgar, C. Ortiz, S. Kraus and E. Sharabi. Cooperative large scale mobile agent systems. Proc. of the Second Annual Symposium on Autonomous Intelligent Networks and Systems Menlo Park, CA, USA, 2003. [Download: pdf version]
    • S. Kraus and O. Schechter. Strategic-negotiation for Sharing a Resource between Two Agents, Computational Intelligence, 19(1):9-41, 2003.
      [Download: ps version ; pdf version]
    • O. Yadgar, S. Kraus and O. Ortiz. Hierarchical information combination in large-scale multiagent resource management in Marc-Philippe Huget editor, Communication in MAS: background, current trends and future Springer-Verlag, pp. 129-145, 2003.
      [Download: pdf version]
    • E. David, R. Azoulay-Schwartz and S. Kraus. The Design of the Multi-Attribute English Auction with a Deadline Vs. the eBay Auction Protocol.
      [Download: pdf version]
    • R. Lin, S. Kraus and J. Tew. Attaining Fast and Successful Searches in E-Commerce Environments, Proc. of ECIR 2003.
    • E. David, R. Azulay-Schwartz and Sarit Kraus Bidders` strategy for Multi-Attribute sequential English auction with a deadline. Proc. of AAMAS-2003.
      [Download: pdf version]
    • S. Kraus, O. Shehory and G. Tasse. Coalition Formation with Uncertain Heterogeneous Information. Proc. of AAMAS-2003 page 1--8, 2003.
      [Download: pdf version]
    • S. Kraus, V.S. Subrahmanian and N. Cihan Tacs. Probabilistically Survivable MASs, Proc. IJCAI-03.
      [Download: pdf version]
    • O. Yadgar, S. Kraus and C. Ortiz. Upscaling ANTS Challenge: Cooperative Large Scale Mobile Agent System, in V. Lesser, C. Ortiz and M. Tambe, Distributed Sensor Network, Kluwer academic publishers. (2003).
      [Download: ps version ; pdf version]

    2002

    • R. Ben-Yashar and S. Kraus. Optimal Collective Dichotomous Choice Under Quota Constraints, Economic Theory, 19(2):839-852, 2002.
      [Download: pdf version]
    • A. Felner, R. Korf and S. Kraus. KBFS: K-Best First Search, Annals of Mathematics and Artificial Intelligence, 39:19-39, September 2003.
      [Download: ps version ; pdf version]
    • B. J. Grosz, S. Kraus., D. G. Sullivan and S. Das. The influence of social norms and social consciousness on intention reconciliation. Artificial Intelligence journal, 142(2):147-177, 2002.
      [Download: ps version ; pdf version]
    • R. Azulay-Schwartz and S. Kraus. Negotiation On Data Allocation in Multi-Agent Environments. Autonomous Agents and Multi-Agent Systems journal 5(2):123-172, 2002.
      [Download: ps version ; pdf version]
    • R. Azoulay-Schwartz and S. Kraus. Acquiring an Optimal Amount of Information for Choosing from Alternatives. Proc. of Cooperative Information Agents, LNAI vol. 2446, Springer, Springer-Verlag, 2002.
      [Download: ps version ; pdf version]
    • M. Hadad, S. Kraus Exchanging and Combining Temporal Information in a Cooperative Environment, Cooperative Information Agents, LNAI vol. 2446, Springer, Springer-Verlag, 2002.
      [Download: ps version ; pdf version ]
    • E. David, R. Azoulay-Schwartz and S. Kraus. An English Auction Protocol for Multi-Attributes Items, in J. Padget, D. Parkes, N. Sadeh O. Shehory and W. Walsh, (Eds.), Agent Mediated Electronic Commerce IV: Designing Mechanisms and Systems, LNAI vol. 2531, pp 52-68, 2002.
      [Download: pdf version ]
    • A. Felner, S. Kraus and R. Stern. Finding Optimal Path in Unknown Physical Environment. Proc. of AAMAS-2002 pp. 240-247.
      [Download: ps version ; pdf version ]
    • E. David, R. Azoulay-Schwartz and S. Kraus. Protocols and Strategies for Automated Multi Attributes Auctions, Proc. of AAMAS-2002, pp. 77-85, July, Bologna, Italy, 2002.
      [Download: pdf version ]
    • J. Dix, S. Kraus and V.S. Subrahmanian. Agents dealing with Time and Uncertainty. Proc. of AAMAS-2002, pp. 912-919, July, Bologna, Italy, 2002.
      [Download: ps version ; pdf version ]
    • P. Hoz-Weiss, S. Kraus, J. Wilkenfeld and T. E. Santmire. An Automated Negotiator for an International Crisis. Proc. of AAAI-2002, Intelligent Systems Demos.
      [Download: pdf version]
    • G. Grant, S. Kraus and D. Perlis. A Logic-Based Model of Intentions for Multi-Agent Subcontracting. Proc. of AAAI-2002, pp. 320-325, Canada, 2002.
      [Download: pdf version]

    2001

    • S. Kraus. Strategic Negotiation in Multi-Agent Environments, MIT Press, Cambridge, USA, 2001.
    • R. Ben-Yashar, Samir Khuller and S. Kraus. Optimal Collective Dichotomous Choice Under Partial Order Constraints, Mathematical Social Sciences 41:349--364, 2001. pdf version
    • J. Dix, S. Kraus and V.S. Subrahmanian. Temporal Agent Programs, Artificial Intelligence Journal 127(1):87-135, 2001. pdf version
    • R. Azoulay-Schwartz and S. Kraus. Stable Strategies for Sharing Information among Agents, Proc. of IJCAI-2001, Seatle, pp. 1128-1134, August 2001.
      [Download: ps version ; pdf version ]
    • C.V. Goldman, S. Kraus and O. Shehory. Agent strategies: for sellers to satisfy purchase orders, for buyers to select sellers, MAAMAW 2001.
    • S. Kraus. Automated Negotiation and Decision Making in Multiagent Environments. Lecture Notes in Artificial Intelligence 2086, pp 150, 2001.
      [pdf version ]
    • C. Goldman, S. Kraus and O. Shehory. Equilibria Strategies for selecting sellers and satisfying buyers. Shehory. In Mathias Klusch and Franco Zambonelli (eds), Cooperative Information Agents V (CIA01), Lecture Notes in Artificial Intelligence 2182, pp. 166-177.
      [Download: ps version ]
    • C. L. Ortiz, E. Hsu, M. desJardins, T. Rauenbusch, B. Grosz, O. Yadgar and S. Kraus. Incremental Negotiation and Coalition Formation for Resource-bounded Agents: Perliminary Report," in AAAI Fall Symposium on Negotiation Methods for Autonomous Cooperative Systems, AAAI 2001.
      [Download: ps version ; pdf version ]
    • M. Hadad and S. Kraus. A Mechanism for Temporal Reasoning by Collaborative Agents, in M. Klusch editor, Cooperative Information Agents, Lecture Notes in Artificial Intelligence 2182, Springer-Verlag, pp. 229--234, 2001.
      [Download: ps version ; pdf version ]

    2000

    • V.S. Subrahmanian, P. Bonatti, J. Dix, T. Eiter, S. Kraus, F. Ozcan and R. Ross. Heterogeneous Agent Systems MIT Press, Cambridge, USA, 2000.
    • S. Kraus, J. S. Rosenschein and M. Fenster. Exploiting Focal Points Among Alternative Solutions: Two Approaches, Annals of Mathematics and Artificial Intelligence, 28(1-4):187-258, 2000.
      [Download: ps version ; pdf version ]
    • J. Grant, S. Kraus and D. Perlis. A logic for characterizing multiple bounded agents. Autonomous Agents and Multi-Agent Systems journal, 3(4):351-387, 2000.
      pdf version
    • S. Kraus and T. Plotkin. Algorithms of distributed task allocation for cooperative agents, Theoretical Computer Science, 242(1-2):1-27, June, 2000. .
    • E. David and S. Kraus. Agents for Broadcasting Environment, in N. Jennings and Y. Lesperance (Eds.), Lecture Notes in Artificial Intelligence, Intelligent Agents VI, pp. 91--105, 2000.
    • R. Azoulay-Schwartz and S. Kraus. Assessing Usage Patterns to Improve Data Allocation via Auctions, Proc. of ICMAS-2000, pp. 47--54, Boston, July 2000.
      ps version
    • D. G. Sullivan, B. J. Grosz and S. Kraus. Intention Reconciliation by Collaborative Agents, Proc. of ICMAS-2000, pp. 293--300, Boston, July 2000. ps version
    • J. Wilkenfeld, S. Kraus, T. Santmire, and C. Frain. Cognitive complexity and the mediation of international disputes. In Annual Meeting of the International Studies Association, Los Angeles, March 2000.

    1999

    • E. De-Medonsa, S. Kraus and Y. Shiftan. A Self Processing Network Model for Relational Databases. IEEE Transactions on Systems, Man and Cybernetics 29(4):198-225, Apr. 1999.
    • O. Shehory and S. Kraus. Feasible Formation of Stable Coalitions among Autonomous Agents in Non-super-additive Environments, Computational Intelligence, 15(3):218--251, 1999. ps version
    • O. Shehory, S. Kraus and O. Yadgar. Emergent cooperative goal-satisfaction in large scale automated-agent systems, Artificial Intelligence journal, 110(1):1-55, 1999. ps version
    • K. Arisha, S. Kraus, F. Ozcan, R. Ross and V.S. Subrahmanian. IMPACT: Interactive Maryland Platform for Agents Collaborating Together, IEEE Intelligent Systems, Mar-Apr issue 14(2):64--72, 1999.
    • S. Argamon-Engelson, S. Kraus and S. Sina. Interleaved vs. A Priori Exploration for Repeated Navigation in a Partially-Known Graph. International journal of pattern recognition and Artificial Intelligence, 13(7):963-986, 1999.
      [ pdf version] [ps version]
    • B. J. Grosz, L. Hunsberger and S. Kraus. Planning and Acting Together, AI Magazine 20(4):23-34, 1999. ps version
    • M. Hadad and S. Kraus. SharedPlans in Electronic Commerce, in M. Klusch editor, Intelligent Information Agents, Springer Publisher, pp. 204-231, 1999. ps version
    • D. G. Sullivan, A. Glass, B. J. Grosz and S. Kraus. Intention Reconciliation in the Context of Teamwork: an Initial Empirical Investigation, in M. Klusch, O. Shehory and G. Weiss, Cooperative Information Agents III, Lecture Notes in Artificial Intelligence, Vol. 1652, Berlin et al.: Springer-Verlag, 1999 (July), pp. 138--151. ps version
    • Barbara J. Grosz and S. Kraus. The Evolution of SharedPlans, in M. Wooldridge and A. Rao, Foundations and Theories of Rational Agency, pp. 227--262, 1999. ps version
    • J. Wilkenfeld, S. Kraus, T. E. Santmire, C. Frain. The role of mediation in conflict management: conditions for successful resolution, Annual Meeting of the International Studies Association, February 1999, Washington DC.

    1998

    • S. Kraus, K. Sycara and A. Evenchik. Reaching agreements through argumentation: a logical model and implementation. Artificial Intelligence journal, 104(1-2):1-69, 1998. [ps version .]
      [sciencedirect link .] [ pdf version]
    • M. Morreau and S. Kraus. Syntactical Treatments of Propositional Attitudes, Artificial Intelligence journal, 106: 161-177, 1998. ps version
    • T. E. Santmire, J. Wilkenfeld, S. Kraus, K. Holley and T. E. Santmire. The impact of cognitive diversity on crisis negotiations. Political Psychology, 19(4):721-748, 1998.
    • O. Shehory and S. Kraus. Methods for Task Allocation via Agent Coalition Formation. Artificial Intelligence,101(1-2):165-200, 1998. [ pdf version ] Copyright terms do not allow copying this paper for commercial use without the permission of Elsevier Science.
    • T. Plotkin, B. Plotkin and S. Kraus. Problem of Equivalence, Categoricity of Axioms and States Description in Databases. Studia Logica, 61:347-366, 1998.
    • J. Wilkenfeld, S. Kraus and K. M. Holley. The Negotiation Training Model. Simulation and Gaming , 29(1):31-51, March 1998. [ pdf version]
    • S. Argamon-Engelson, S. Kraus and S. Sina. Utility-Based On-Line Exploration for Repeated Navigation in an Embeded Graph. Artificial Intelligence journal .101(1-2,):267-284, May 1998.
      [ pdf version] [ ps version]
    • R. Schwartz and S. Kraus, Bidding Mechanisms for Data Allocation in Multi-Agent Environments, in M. P. Singh A. S. Rao and M. J. Wooldridge editors, Intelligent Agents IV: Agent Theories, Architectures, and Languages, (LNAI Volume 1365) Springer-Verlag, 1998.
      [ pdf version]
    • P. Bonatti, S. Kraus, J. Salinas, V.S. Subrahmanian. Data-Security in Heterogeneous Agent Systems, in M. Klusch editor, Cooperative Information Agents, Springer-Verlag, Springer-Verlag, 1998.
    • O. Shehory, S. Kraus and O. Yadgar. Goal-satisfaction in large-scale agent-systems: a transportation example, in A. Rao, M. Singh and M. Wooldridge (Eds.), Lecture Notes in Artificial Intelligence, Intelligent Agents V, 1998, pp. 277-292. (BEST PAPER AWARD)
      ps version

    1997

    • M. Nirkhe, S. Kraus, D. Perlis and M. Miller. How to (plan to) meet a deadline between Now and Then, , Journal of Logic and Computation, 7(1):109-156, January 1997.
    • S. Kraus. Beliefs, Time and Incomplete Information in Multiple Encounter Negotiations Among Autonomous Agents. Annals of Mathematics and Artificial Intelligence, 20(1-4):111-159. ps version
    • S. Kraus. Negotiation and Cooperation in Multi-Agent Environments, Artificial Intelligence journal, Special Issue on Economic Principles of Multi-Agent Systems, 94(1-2):79-98, 1997. ps version
    • J. Wilkenfeld, S. Kraus and K. Holley. The use of decision support systems in crisis negotiation , in A. Kent and J. G. Williams, editors, Encyclopedia of Microcomputers, Marcel Dekker, New York, 1997.
    • R. Schwartz and S. Kraus. Negotiation On Data Allocation in Multi-Agent Environments , Proc. of AAAI-97, July 1997. ps version
    • S. Kraus. Strategic Negotiation and Cooperation Among Autonomous Agents, Proceedings of SCAI-97, pp. 8--13, Helsinki, August, 1997 (invited address.)
    • R. Schwartz and S. Kraus. Bidding Mechanisms for Data Allocation in Multi-Agent Environments, Proc. of ATAL-97, pp. 55--70, 1997.
      [ pdf version]
    • T. E. Santmire, J. Wilkenfeld, S. Kraus, T. E. Santmire, K. Gleditsch. Cognitive Difference and Performance in International Crisis: An experimental Design, 1997 Annual Meeting of American Political Science Association, Washington , DC, 1997.

    1996

    • S. Kraus. An Overview of Incentive Contracting. Artificial Intelligence journal, 83(2):297-346, 1996.
      [ ps version][pdf version]
    • B. Grosz and S. Kraus. Collaborative Plans for Complex Group Action. Artificial Intelligence journal, 86(2):269-357, 1996.[pdf version]
    • T. Plotkin, B. Plotkin and S. Kraus. Algebraic Logic in Database State Description, Fundamental and Applied Mathematics, 3:875-910, 1996.
    • O. Shehory and S. Kraus. A Kernel-oriented model for autonomous-agent coalition-formation in general environments , in Distributed Artificial Intelligence -- Architecture and Modeling. Springer-Verlag, 1996, pp. 31-45.
    • O. Shehory and S. Kraus. A Kernel-Oriented Model for Coalition-Formation in General Environments: Implementation and Results. Proc. of AAAI96, pp. 134-140. ps version
    • O. Shehory and S. Kraus. Emergent cooperative goal-satisfaction in large scale automated-agent systems, Proceedings of ECAI-96, Augusts, 1996, pp. 544--548. ps version
    • O. Shehory and S. Kraus. Formation of overlapping coalitions for precedence-ordered task-execution among autonomous agents, Proc. of the Second International Conference on Multiagent Systems, 1996.
    • M. Morreau and S. Kraus. Syntactical Treatments of Ideal Propositional Attitudes, Society for Exact Philosophy Meeting, October 1996, Tennessee.
    • J. Wilkenfeld, S. Kraus, T. E. Santmire, K. Holley and T. E. Santmire. Cognitive Structure and Crisis Decision Making, 37th Annual Meeting of the International Studies Association, 1996, San Diego CA.

    1995

    • S. Kraus and D. Lehmann. Designing and Building a Negotiating Automated Agent, Computational Intelligence, 11(1):132-171, 1995 [This paper describes a succesful automated Diplomacy player]
      [ps version, pdf version ]
    • P. Bonatti, S Kraus and V.S. Subrahmanian. Foundations of Secure Deductive Databases, IEEE Transaction on Knowledge and Data Engineering, 7(3):406-422, 1995. ps version
    • S. Kraus and V.S. Subrahmanian. Multiagent Reasoning with Probability, Time and Beliefs, International Journal of Intelligent Systems, 10(5):459--499, 1995.
    • S. Kraus, J. Wilkenfeld and G. Zlotkin Multiagent Negotiation Under Time Constraints, Artificial Intelligence journal, 75(2):297--345, 1995.
      [ ps version] [ pdf version ]
    • M. Nirkhe and S. Kraus. Formal Real-time Imagination, Fundamenta Informaticae, special issue on Context: theory and practice, 23(2,3,4):371--390, 1995.ps version
    • J. Wilkenfeld, S. Kraus, K. Holley and M. Harris. GENIE: A Decision Support System for Crisis Negotiations, International Journal on Decision Support Systems, 14:369-391, 1995.
      pdf version
    • O. Shehory and S. Kraus. Coalition Formation among Autonomous Agents: Strategies and Complexity, in C. Castelfranchi and J.P. Muller, editors, From Reactions to Cognition. Springer Verlag Publishers, Lecture Notes in Artificial Intelligence, 957, 1995, pp. 57-72.
    • S. Kraus and J. Wilkenfeld. Issues in the Development of Automated Negotiators in Multi-Agent Environments, in G. M. Olson, J.B. Smith and T.W. Malone, editors, Coordination Technology and Collaboration Technology.
    • M. Fenster, S. Kraus and J. Rosenschein. Coordination without Communication: Experimental Validation of Focal Point Techniques, First International Conference on Multiagent Systems, pp 102--108, June 1995, California, USA.ps version
    • O. Shehory and S. Kraus. Task Allocation via Coalition Formation Among Autonomous Agents, Proc. of IJCAI95, pp. 655--661, Montreal, August 1995. ps version
    • M. Nirkhe, S. Kraus and D. Perlis. Thinking takes time: A modal active-logic for reasoning in time, BISFAI-95, 1995.
    • J. Wilkenfeld, S. Kraus and K. Holley, The Negotiation Training Model, Proceedings of the International Simulation and Gaming Association Annual Meeting, 1995, Diputacion Provincial de Valencia, Spain.

    1994

    • C. Baral, S. Kraus, J. Minker and S. Subrahmanian. Combining Default Theories, International Journal on Intelligent Cooperative Information Systems (IJICIS), 3(3):319-348, 1994.
    • S. Kraus. Interaction and Collaboration in Multi-agent Systems, Proceedings of ECAI-94, pages 823--825, Amsterdam, August, 1994.
    • J. Elgot-Drapkin, D. Gordon, S. Kraus, M. Miller M. Nirkhe and D. Perlis, Calibrating, Counting, Grounding, Grouping. Proc. of 1994 AAAI Fall Symposium on Control of the Physical World by Intelligent Agents, New Orleans, Nov 4-6, 1994.
    • T. Plotkin and S. Kraus Categoricity of a set of axioms and databases' states description, Logic Colloquium 94, France, July 21-30, 1994.

    1993

    • S. Kraus and J. Wilkenfeld. A Strategic Negotiations Model with Applications to an International Crisis. IEEE Transactions on Systems, Man, and Cybernetics, 23(1):313-323 1993.
      [ps version ] [ pdf version]
    • B. Grosz and S. Kraus Collaborative Plans for Group Activities, Proceedings of IJCAI93, France pp 367-373.
    • S. Kraus Agents Contracting Tasks in Non-Collaborative Environments. Proceedings of AAAI93, pp 243--248, Washington, USA. [ pdf version]
    • S. Kraus and J. Wilkenfeld. The Updating of Beliefs in Negotiations Under Time Constraints with Uncertainty. Proceedings of the IJCAI-93 Workshop on Artificial Economics, 1993 - Chambry, France, pp 57-68. (Also presented in BISFAI-93)
    • M. Nirkhe, S. Kraus and D. Perlis. Situated Reasoning Within Tight Deadlines and Realistic Space and Computation Bounds. Proceedings of the Second Symposium On Logical Formalizations Of Commonsense Reasoning, January 1993.
    • J. Wilkenfeld and S. Kraus, A Strategic Model of Negotiation for Autonomous Agents, Proc. of NSF Coordination Theory and Collaboration Technology Workshop, Washington, DC, July 8-10, 1993
    • N. Nirkhe, D. Perlis and S. Kraus. Reasoning About Change in a Changing World, FLAIRS-93.

    1992

    • S. Kraus, J. Wilkenfeld, M. Harris and E. Blake, The Hostage Crisis Simulation, Simulation and Gaming, 23(4):398-416, December 1992. [ pdf version]
    • C. Baral, S. Kraus, J. Minker and S. Subrahmanian. Combining Knowledge Bases Consisting of First Order Theories. Computational Intelligence 8(1):45-71, March 1992. [ pdf version]
    • S. Kraus and J. S. Rosenschein. The Role of Representation in Interaction: Discovering Focal Points among Alternative Solutions, Decentralized Artificial Intelligence, Volume 3, Elsevier Science Publishers, 1992.
    • P. Bonatti, S. Kraus and V.S. Subrahmanian. Declarative Foundations of Secure Deductive Databases. Proc. of 4th International Conference on Database Theory, (ICDT), Germany, 1992, pp 391-406.
    • S. Kraus and G. Zlotkin. Resource Allocation among Agents with Incomplete Information: An On-line Negotiation Approach, Proc. of the AI Track of the Ninth Israeli Symposium on Artificial Intelligence, pp. 201--215, Tel-Aviv, December 1992 .

    1991

    • S. Kraus, D. Perlis and J. Horty. Reasoning about Ignorance: A Note on the Bush-Gorbachev Problem, Fundamenta Informaticae Journal, special issue on Logic for A.I.,15(3,4):325-332, December 1991 (invited paper).
    • C. Baral, S. Kraus and J. Minker. Combining Multiple Knowledge Bases, IEEE Transaction on Knowledge and Data Engineering 3(2): 208-220, June 1991. [ pdf version]
    • B. Thomas, A. Schwartz and Y. Shoham and S. Kraus. Preliminary Thoughts on an Agent Description Language, International Journal of Intelligent Systems, special volume of Temporal Issues in AI, 6(5): 497--508, August 1991.
    • S. Kraus, E. Ephrati and D. Lehmann. Negotiation in a Non-cooperative Environment, Journal of Experimental and Theoretical Artificial Intelligence, 3(4):255-282, 1991. [ pdf version ]
    • E. Etherington, S. Kraus and D. Perlis. Nonmonotonicity and the Scope of Reasoning, Artificial Intelligence, 52(3): 221-262, December 1991.
    • S. Kraus and D. Lehmann. Knowledge Acquisition in Negotiation Game , in F. Geyer, editor, The Cybernetics of Complex Systems - Self- organization, Evolution, and Social Change, Intersystems Publications, California, 1991, pp 163--172.
    • S. Kraus and J. Wilkenfeld. The function of time in cooperative negotiations. Proc. of the Tenth National Conference on Artificial Intelligence, pages 179--184, AAAI, Anaheim, California, July 1991. [ pdf version ]
    • S. Kraus and J. Wilkenfeld. Negotiations Over Time in a Multi Agent Environment: Preliminary Report. Proc. of the 12th International Joint Conference on Artificial Intelligence, pages 56--61, Sydney, Australia, August 1991. [ pdf version]
    • S. Kraus and J. Wilkenfeld. Multi Agent Time Negotiations. Proc. of the AAAI-91 Workshop on Cooperation among Heterogeneous Intelligent Systems, Anaheim, California, July 1991.
    • S. Kraus J. Wilkenfeld. Negotiations Over Time in a Multi Agent Environment, Proc. of the AI Track of the Eighth Israeli Symposium on Artificial Intelligence, Tel-Aviv, December 1991.
    • M. Harris, S. Kraus J. Wilkenfeld and E. Blake. A Decision Support System for Generalized Negotiation. Proc. of the Thirteenth Annual Meeting of the Cognitive Science Society, pp. 382--387, Chicago, Illinois, August 1991.
    • M. Nirkhe, S. Kraus and D. Perlis. Fully deadline-coupled planning: One step at a time. Proc. of the Sixth International Symposium on Methodologies for Intelligent Systems, North Carolina, October, 1991.
    • C. Baral, S. Kraus, J. Minker and S. Subrahmanian. Combining Knowledge Bases Consisting of First Order Theories. Proc. of the Sixth International Symposium on Methodologies for Intelligent Systems, North Carolina, October, 1991.
    • S. Kraus, M. Nirkhe and K. Sycara. Reaching agreements through argumentation: a logical model, Proceedings of the 12th International workshop on Distributed Artificial Intelligence, pp 233-248, Pittsburgh, USA.

    1990

    • S. Kraus, D. Lehmann and M. Magidor. Nonmonotonic Reasoning, Preferential Models and Cumulative Logics, Artificial Intelligence, 44:167--207, 1990. [pdf version]
    • D. Etherington, S. Kraus and D. Perlis. Limited Scope and Circumscriptive Reasoning, International Journal of Expert Systems, special issue on the Frame problem, 3(3): 207-217,1990. (Also appeared in K. M. Ford and P. Hayes, editors, The Frame Problem in Artificial Intelligence, Advances in Human and Machine Cognition. JAI Press, Greenwhich, Connecticut, 1992.)
    • D. Etherington, S. Kraus, and D. Perlis. Nonmonotonicity and the scope of reasoning: preliminary report. In Proceedings of AAAI-90, pages 600 -- 607, Boston, 1990. [ pdf version]
    • S. Kraus, M. Nirkhe and D. Perlis. Planning and Acting in Deadline Situations. In AAAI-90 Workshop on Planning in Complex Domains, Boston, 1990.
    • S. Kraus and J. Wilkenfeld. An automated strategic model of negotiation: extended abstract. In AAAI-90 Workshop on Reasoning in Adversarial Domains, Boston, 1990.
    • S. Kraus and J. Wilkenfeld. The function of time in cooperative negotiations. 10th International Workshop on DAI , Texas, October 1990.

    • C. Baral, S. Kraus and J. Minker.Communicating between multiple knowledge-based systems with different languages. In Working Conference on Cooperating Knowledge Based Systems, pages 121--124, England, October 1990.
    • S. Kraus, M. Nirkhe and D. Perlis. Toward fully deadline-coupled planning. Proc. 1990 DARPA Workshop on Innovative Approaches to Planning, Scheduling, and Control, Texas November, 1990.
    • S. Kraus and J. Wilkenfeld. A strategic negotiations model with applications to an international crisis: preliminary report. Proc. of the AI Track of the Seventh Israeli Symposium on Artificial Intelligence, Elsevier Science Publishers, Tel-Aviv, December 1990.

    1989

    • S. Kraus, E. Ephrati, and D. Lehmann. Evaluation of suggestions during automated negotiations. In Proc. of the 11th Cognitive Science Conference, pp. 299--306, 1989.
    • S.~Kraus, D.~Lehmann, and E.~Ephrati. An automated Diplomacy player. In D. Levy and D. Beal, editors, Heuristic Programming in Artificial Intelligence: The 1st Computer Olympia, pp. 134--153. Ellis Horwood Limited, 1989.
      pdf version
    • S.~Kraus and D.~Lehmann. Using interacting goal-processes for automated negotiation. In Proc. of the 4th International Symposium on Methodologies for Intelligent Systems, pp. 209--219, 1989.
    • S. Kraus and D. Perlis. Assessing others' knowledge and ignorance. In Proc. of the 4th International Symposium on Methodologies for Intelligent Systems, pp. 220--225, 1989.

    1988

    • S. Kraus and D. Lehmann. Knowledge, Belief and Time, Theoretical Computer Science, 58:155-174, 1988.
      pdf version
    • D. Lehmann and S. Kraus. Non monotonic logics: models and proofs, Extended Abstract, European Workshop on Logical Methods in Artificial Intelligence , Roscoff (France), 1988.
    • S. Kraus and D. Lehmann. Diplomat, an agent in a multi-agent environment: An overview. In Proc. of the Seventh Annual IEEE Phoenix Conference on Computers and Communications, pp. 434--438, Arizona, 1988. (Extended abstract appears in the Proceedings of the Third Conf of IAAI, December 1986).

    1986

    • Sarit Kraus, Daniel J. Lehmann: Knowledge, Belief and Time. ICALP 1986: 186-195.

    1983

    • S. Kraus and D. Lehmann.
      Decision procedures for Time and Chance, Proceedings of 24th I.E.E.E. Annual Symposium on the Foundations of Computer Science, Tucson, Arizona, November 1983. pp. 202-209. [ pdf version ]