Professor Sarit Kraus
Intelligence, Agents, Multimedia Group

image spacerPublications [in pdf and postscript]

BY YEAR: [ 1983 | 1986 | 1988 | 1989 | 1990 | 1991 | 1992 | 1993 | 1994 | 1995 | 1996 | 1997 | 1998 | 1999 | 2000 | 2001 | 2002 | 2003 | 2004] |2005 |2006 |2007 |2008 |2009 |2010 |2011

BY TOPIC (UNDER CONSTRUCTION): [ Automated Negotiation | Security | Coalitions | Teams | Non Classical Logics | Robotics | Economic Models for Agents Activities | Networks | Humans-Automated AGENTS INTERACTIONS |

2011

JOURNAL PAPERS

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 ]

Michal Chalamish and Sarit Kraus. AutoMed - An Automated Mediator for Multi-Issue Bilateral Negotiations, Journal of Autonomous Agents and Multi-Agent System, 2011.

HIGHLY REFEREED CONFERENCES

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. [to appear] [ 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. [to appear] [ 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. [to appear] [ 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. [to appear] [ 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 ]

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, 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 ]

M. Kalech, S. Kraus, G. A. Kaminka and C. V. Goldman. Practical Voting Rules with Partial Information, Autonomous Agents and Multi-Agent Systems, [ 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 the Complexity of Coalition Formation Problems with a Bounded Number of Agent Types. 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. 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 ]

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 Rosenfeldy 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 ]

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]

N. Hazon, Y. Aumann, S. Kraus and M. Wooldridge. Evaluation of Election Outcomes Under Uncertainty. In Proceedings of the Seventh International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-2008). Estoril, Portugal, May 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)

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 (to appear) 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

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 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 Strategies for Collaborative Behavior of Agents in Answering Queries, 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. [ 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 [ pdf version] pp. 588-595, 2004.

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.

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.

S. Kraus, O. Shehory and G. Tasse. Coalition Formation with Uncertain Heterogeneous Information. Proc. of AAMAS-2003 page 1--8, 2003.

S. Kraus, V.S. Subrahmanian and N. Cihan Tacs. Probabilistically Survivable MASs, Proc. IJCAI-03.

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.

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

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.

2001


S. Kraus. Strategic Negotiation in Multi-Agent Environments, MIT Press, Cambridge, USA, 2,001.

R. Ben-Yashar, Samir Khuller and S. Kraus. Optimal Collective Dichotomous Choice Under Partial Order Constraints, Mathematical Social Sciences 41:349--364, 2001.

J. Dix, S. Kraus and V.S. Subrahmanian. Temporal Agent Programs, Artificial Intelligence Journal 127(1):87-135, 2001.

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 ;

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.

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.

D. G. Sullivan, B. J. Grosz and S. Kraus. Intention Reconciliation by Collaborative Agents, Proc. of ICMAS-2000, pp. 293--300, Boston, July 2000.

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.

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.

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.

B. J. Grosz, L. Hunsberger and S. Kraus. Planning and Acting Together, AI Magazine 20(4):23-34, 1999.

M. Hadad and S. Kraus. SharedPlans in Electronic Commerce, in M. Klusch editor, Intelligent Information Agents, Springer Publisher, pp. 204-231, 1999.

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.

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.

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

M. Morreau and S. Kraus. Syntactical Treatments of Propositional Attitudes, Artificial Intelligence journal, 106: 161-177, 1998.

T. E. Santmire, J. Wilkenfeld, S. Kraus, K. Holley and T. E. Santmire. Differences in cognitive complexity levels among negotiators and Crisis outcomes. 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. 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.

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.

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.

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)

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.

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.

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.

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.

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.

B. Grosz and S. Kraus. Collaborative Plans for Complex Group Action. Artificial Intelligence journal, 86(2):269-357, 1996.

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.

O. Shehory and S. Kraus. Emergent cooperative goal-satisfaction in large scale automated-agent systems, Proceedings of ECAI-96, Augusts, 1996, pp. 544--548.

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] 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.

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.

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.

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.

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.

O. Shehory and S. Kraus. Task Allocation via Coalition Formation Among Autonomous Agents, Proc. of IJCAI95, pp. 655--661, Montreal, August 1995.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

AUTOMATED NEGOTIATION

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 ]

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]

COLLABORATIVE ACTIVITY

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, accepted [ pdf version]

COALITIONS

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. (Best paper award) [ pdf version ]

SECURITY

Noa Agmon, Sarit Kraus, Gal A. Kaminka and Vladimir Sadov. Adversarial Uncertainty in Multi-Robot Patrol, Proc of IJCAI 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 ]

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]

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 ]

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]

Noa Agmon, Gal A Kaminka, Sarit Kraus. Multi-Robot Fence Patrol in Adversarial Domains, IAS 2008.

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]

Avi Rosenfeld and Sarit Kraus. Modeling Agents through Bounded Rationality Theories. Proc. of IJCAI 2009. [ pdf version]

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 ]

ROBOTICS

Noa Agmon, Sarit Kraus, Gal A. Kaminka and Vladimir Sadov. Adversarial Uncertainty in Multi-Robot Patrol, Proc of IJCAI 2009. [ 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]

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 ]

ECONOMIC MODELS FOR AGENTS ACTIVITIES

Noam Hazon Yonatan Aumann Sarit Kraus. Collaborative Multi Agent Physical Search with Probabilistic Knowledge, Proc. of IJCAI09. [ pdf version ]

E. Manisterski, D. Sarne and S. Kraus (2008) "Cooperative Search with Concurrent Interactions", JAIR, Volume 32, pages 1-36 [ pdf version]

N. Hazon, Y. Aumann, S. Kraus and M. Wooldridge. Evaluation of Election Outcomes Under Uncertainty. 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 ]

Praveen Paruchuri, Jonathan Pearce, Milind Tambe, Fernando Ordonez, Sarit Kraus. Coordinating Randomized policies for Increasing Security of Agent Systems, Information Technology and Management (accepted)

HUMANS-AUTOMATED AGENTS INTERACTIONS

Avi Rosenfeld and Sarit Kraus. Modeling Agents through Bounded Rationality Theories. Proc. of IJCAI 2009. [ 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 ]

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 ]

NETWORKS

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]

A. Rosenfeld, Claudia V. Goldman, Gal A Kaminka, and Sarit Kraus. PHIRST: A Distributed Architecture for P2P Database Information Retrieval, Information Systems [ pdf version ]

S. Kraus, R. Lin and Y. Shavitt. On Self-Interested Agents in Vehicular Networks with Car-to-Car Gossiping, IEEE Transactions on Vehicular Technology (to appear).

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 ]