Yoav Shoham
Professor of Computer Science, Emeritus
Bio
Yoav Shoham is professor emeritus of computer science at Stanford University. A leading AI expert, Prof. Shoham is Fellow of AAAI, ACM and the Game Theory Society. Among his awards are the IJCAI Research Excellence Award, the AAAI/ACM Allen Newell Award, and the ACM/SIGAI Autonomous Agents Research Award. His online Game Theory course has been watched by close to a million people. Prof. Shoham has founded several AI companies, including TradingDynamics (acquired by Ariba), Katango and Timeful (both acquired by Google), and AI21 Labs. Prof. Shoham also chairs the AI Index initiative (www.AIindex.org), which tracks global AI activity and progress, and WeCode (www.wecode.org.il), a nonprofit initiative to train high-quality programmers from disadvantaged populations.
Honors & Awards
-
Research Excellence Award, IJCAI (2019)
-
Fellow, Game Theory Society (2018)
-
Feigenbaum Prize, AAAI (2017)
-
Allen Newell Award, AAAI/ACM (2013)
-
Fellow, ACM (2013)
-
Influential Paper Award, AAMAS (2011)
-
Best Paper Award, ACM Conference on Electronic Commerce (2010)
-
Best Paper Award, ACM Conference on Electronic Commerce (2009)
-
Autonomous Agents Research Award, ACM/SIGART (2008)
-
Charter member of the Game Theory Society, International Game Theory Society (2008)
-
Fellow, Association for the Advancement of Artificial Intelligence (2002)
Program Affiliations
-
Symbolic Systems Program
Professional Education
-
PhD, Yale (1986)
2023-24 Courses
-
Independent Studies (13)
- Advanced Reading and Research
CS 499 (Aut, Win, Spr, Sum) - Advanced Reading and Research
CS 499P (Aut, Win, Spr, Sum) - Curricular Practical Training
CS 390A (Aut, Win, Spr, Sum) - Curricular Practical Training
CS 390B (Aut, Win, Spr, Sum) - Curricular Practical Training
CS 390C (Aut, Win, Spr, Sum) - Independent Project
CS 399 (Aut, Win, Spr, Sum) - Independent Project
CS 399P (Aut, Win, Spr, Sum) - Independent Work
CS 199 (Aut, Win, Spr, Sum) - Independent Work
CS 199P (Aut, Win, Spr, Sum) - Part-time Curricular Practical Training
CS 390D (Aut) - Programming Service Project
CS 192 (Aut, Win, Spr, Sum) - Senior Project
CS 191 (Aut, Win, Spr, Sum) - Writing Intensive Senior Research Project
CS 191W (Aut, Win, Spr)
- Advanced Reading and Research
All Publications
-
On equilibria in games with imperfect recall
GAMES AND ECONOMIC BEHAVIOR
2019; 113: 164–85
View details for DOI 10.1016/j.geb.2018.09.007
View details for Web of Science ID 000462110900011
-
Toward the AI Index
AI MAGAZINE
2017; 38 (4): 71–77
View details for Web of Science ID 000419468800009
-
Why Knowledge Representation Matters
COMMUNICATIONS OF THE ACM
2016; 59 (1): 47–49
View details for DOI 10.1145/2803170
View details for Web of Science ID 000367307300017
-
Communication
MULTIAGENT SYSTEMS: ALGORITHMIC, GAME-THEORETIC, AND LOGICAL FOUNDATIONS
2009: 223–39
View details for Web of Science ID 000313682900009
-
A Distributed Agent for Computational Pool
IEEE TRANSACTIONS ON COMPUTATIONAL INTELLIGENCE AND AI IN GAMES
2016; 8 (2): 190-202
View details for DOI 10.1109/TCIAIG.2016.2549748
View details for Web of Science ID 000378114300009
-
An axiomatic characterization of wagering mechanisms
JOURNAL OF ECONOMIC THEORY
2015; 156: 389-416
View details for DOI 10.1016/j.jet.2014.03.012
View details for Web of Science ID 000349728700013
-
Fair Seeding in Knockout Tournaments
ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY
2012; 3 (1)
View details for DOI 10.1145/2036264.2036273
View details for Web of Science ID 000313763200009
-
Designing competitions between teams of individuals
ARTIFICIAL INTELLIGENCE
2010; 174 (11): 749-766
View details for DOI 10.1016/j.artint.2010.04.025
View details for Web of Science ID 000279221100006
-
Computational Pool: A New Challenge for Game Theory Pragmatics
AI MAGAZINE
2010; 31 (4): 33-41
View details for Web of Science ID 000286710900003
- Multi-Agent Learning II: Algorithms. Encyclopedia of Machine Learning edited by Sammut, C., Webb, G. Springer. 2010
- Multi-Agent Learning I: Problem Definition. Encyclopedia of Machine Learning edited by Sammut, C., Webb, G. Springer. 2010
- Cause for Celebration, Cause for Concern. Heuristics, Probability and Causality: a Tribute to Judea Pearl edited by Dechter, R., Geffner, H., Halpern, J., Y. College Publications. 2010
- Joint Revision of Belief and Intention. 2010
- Untitled. Epistemic Logic: 5 Questions edited by Hendricks, V., F., Roy, O. Automatic Press / VIP. 2010
-
Logical Theories of Intention and the Database Perspective
JOURNAL OF PHILOSOPHICAL LOGIC
2009; 38 (6): 633-647
View details for DOI 10.1007/s10992-009-9116-8
View details for Web of Science ID 000271735500004
-
Empirical Hardness Models: Methodology and a Case Study on Combinatorial Auctions
JOURNAL OF THE ACM
2009; 56 (4)
View details for DOI 10.1145/1538902.1538906
View details for Web of Science ID 000268486500004
-
Ranking games
ARTIFICIAL INTELLIGENCE
2009; 173 (2): 221-239
View details for DOI 10.1016/j.artint.2008.10.008
View details for Web of Science ID 000262732500002
-
Eliciting Truthful Answers to Multiple-Choice Questions Preliminary Report
10th ACM Conference on Electronic Commerce (EC-2009)
ASSOC COMPUTING MACHINERY. 2009: 109–118
View details for Web of Science ID 000294744400013
-
Introduction to Noncooperative Game Theory: Games in Normal Form
MULTIAGENT SYSTEMS: ALGORITHMIC, GAME-THEORETIC, AND LOGICAL FOUNDATIONS
2009: 47–86
View details for Web of Science ID 000313682900004
-
Distributed Constraint Satisfaction
MULTIAGENT SYSTEMS: ALGORITHMIC, GAME-THEORETIC, AND LOGICAL FOUNDATIONS
2009: 1–17
View details for Web of Science ID 000313682900002
-
Probability Theory
MULTIAGENT SYSTEMS: ALGORITHMIC, GAME-THEORETIC, AND LOGICAL FOUNDATIONS
2009: 449–50
View details for Web of Science ID 000313682900016
-
Classical Logic
MULTIAGENT SYSTEMS: ALGORITHMIC, GAME-THEORETIC, AND LOGICAL FOUNDATIONS
2009: 457–58
View details for Web of Science ID 000313682900019
-
Computing Solution Concepts of Normal-Form Games
MULTIAGENT SYSTEMS: ALGORITHMIC, GAME-THEORETIC, AND LOGICAL FOUNDATIONS
2009: 87–112
View details for Web of Science ID 000313682900005
-
Distributed Optimization
MULTIAGENT SYSTEMS: ALGORITHMIC, GAME-THEORETIC, AND LOGICAL FOUNDATIONS
2009: 19–45
View details for Web of Science ID 000313682900003
-
Protocols for Multiagent Resource Allocation: Auctions
MULTIAGENT SYSTEMS: ALGORITHMIC, GAME-THEORETIC, AND LOGICAL FOUNDATIONS
2009: 315–65
View details for Web of Science ID 000313682900012
-
Teams of Selfish Agents: An Introduction to Coalitional Game Theory
MULTIAGENT SYSTEMS: ALGORITHMIC, GAME-THEORETIC, AND LOGICAL FOUNDATIONS
2009: 367–91
View details for Web of Science ID 000313682900013
-
Richer Representations: Beyond the Normal and Extensive Forms
MULTIAGENT SYSTEMS: ALGORITHMIC, GAME-THEORETIC, AND LOGICAL FOUNDATIONS
2009: 141–88
View details for Web of Science ID 000313682900007
-
Aggregating Preferences: Social Choice
MULTIAGENT SYSTEMS: ALGORITHMIC, GAME-THEORETIC, AND LOGICAL FOUNDATIONS
2009: 241–59
View details for Web of Science ID 000313682900010
-
Logics of Knowledge and Belief
MULTIAGENT SYSTEMS: ALGORITHMIC, GAME-THEORETIC, AND LOGICAL FOUNDATIONS
2009: 393–419
View details for Web of Science ID 000313682900014
-
Beyond Belief: Probability, Dynamics, and Intention
MULTIAGENT SYSTEMS: ALGORITHMIC, GAME-THEORETIC, AND LOGICAL FOUNDATIONS
2009: 421–46
View details for Web of Science ID 000313682900015
-
Multiagent Systems Algorithmic, Game-Theoretic, and Logical Foundations Introduction
MULTIAGENT SYSTEMS: ALGORITHMIC, GAME-THEORETIC, AND LOGICAL FOUNDATIONS
2009: XVII-+
View details for Web of Science ID 000313682900001
-
Games with Sequential Actions: Reasoning and Computing with the Extensive Form
MULTIAGENT SYSTEMS: ALGORITHMIC, GAME-THEORETIC, AND LOGICAL FOUNDATIONS
2009: 113–39
View details for Web of Science ID 000313682900006
-
Learning and Teaching
MULTIAGENT SYSTEMS: ALGORITHMIC, GAME-THEORETIC, AND LOGICAL FOUNDATIONS
2009: 189–222
View details for Web of Science ID 000313682900008
- Multiagent Systems: Algorithmic, Game Theoretic and Logical Foundation Cambridge University Press. 2009
-
Analysis of a Winning Computational Billiards Player
21st International Joint Conference on Artificial Intelligence (IJCAI-09)
IJCAI-INT JOINT CONF ARTIF INTELL. 2009: 1377–1382
View details for Web of Science ID 000283727900219
-
Linear and Integer Programming
MULTIAGENT SYSTEMS: ALGORITHMIC, GAME-THEORETIC, AND LOGICAL FOUNDATIONS
2009: 451–54
View details for Web of Science ID 000313682900017
-
Protocols for Strategic Agents: Mechanism Design
MULTIAGENT SYSTEMS: ALGORITHMIC, GAME-THEORETIC, AND LOGICAL FOUNDATIONS
2009: 261–313
View details for Web of Science ID 000313682900011
-
Markov Decision Problems (MDPs)
MULTIAGENT SYSTEMS: ALGORITHMIC, GAME-THEORETIC, AND LOGICAL FOUNDATIONS
2009: 455–56
View details for Web of Science ID 000313682900018
-
Eliciting Properties of Probability Distributions: The Highlights
SI GECOM EXCHANGES
2008; 7 (3)
View details for Web of Science ID 000218487000008
-
Fault tolerant mechanism design
ARTIFICIAL INTELLIGENCE
2008; 172 (15): 1783-1799
View details for DOI 10.1016/j.artint.2008.06.004
View details for Web of Science ID 000259909800003
-
Computer science and game theory
COMMUNICATIONS OF THE ACM
2008; 51 (8): 74-79
View details for DOI 10.1145/1378704.1378721
View details for Web of Science ID 000258535200024
-
Simple search methods for finding a Nash equilibrium
2nd World Congress of the Game-Theory-Society
ACADEMIC PRESS INC ELSEVIER SCIENCE. 2008: 642–62
View details for DOI 10.1016/j.geb.2006.03.015
View details for Web of Science ID 000257695200010
-
Truthful Surveys
4th International Workshop on Internet and Network Economics
SPRINGER-VERLAG BERLIN. 2008: 154–165
View details for Web of Science ID 000262046200014
- Essentials of Game Theory: A Concise, Multidisciplinary Introduction Morgan Claypool Publishers. 2008
-
Eliciting Properties of Probability Distributions
ACM Conference on Electronic Commerce
ASSOC COMPUTING MACHINERY. 2008: 129–138
View details for Web of Science ID 000268027400018
-
Self-Financed Wagering Mechanisms for Forecasting
ACM Conference on Electronic Commerce
ASSOC COMPUTING MACHINERY. 2008: 170–179
View details for Web of Science ID 000268027400023
- Mechanism Design with Execution Uncertainty UAI-02. 2008
-
If multi-agent learning is the answer, what is the question?
ARTIFICIAL INTELLIGENCE
2007; 171 (7): 365-377
View details for DOI 10.1016/j.artint.2006.02.006
View details for Web of Science ID 000247811500002
-
A general criterion and an algorithmic framework for learning in multi-agent systems
MACHINE LEARNING
2007; 67 (1-2): 45-76
View details for DOI 10.1007/s10994-006-9643-2
View details for Web of Science ID 000245649100004
-
The Israeli-Palestinian Science Organization
SCIENCE
2007; 315 (5808): 39-39
View details for Web of Science ID 000243259100014
View details for PubMedID 17204624
-
A Game-Theoretic Analysis of Strictly Competitive Multiagent Scenarios
20th International Joint Conference on Artificial Intelligence
IJCAI-INT JOINT CONF ARTIF INTELL. 2007: 1199–1206
View details for Web of Science ID 000283721000193
-
Spiteful Bidding in Sealed-Bid Auctions
20th International Joint Conference on Artificial Intelligence
IJCAI-INT JOINT CONF ARTIF INTELL. 2007: 1207–1214
View details for Web of Science ID 000283721000194
- Combinatorial Auctions edited by Cramton, P., Shoham, Y., Steinberg, R. MIT Press. 2006
- On strictly competitive multi-player games. 2006
-
Non-cooperative computation: Boolean functions with correctness and exclusivity
THEORETICAL COMPUTER SCIENCE
2005; 343 (1-2): 97-113
View details for DOI 10.1016/j.tcs.2005.05.009
View details for Web of Science ID 000232443900006
-
On cheating in sealed-bid auctions
4th ACM Conference on Electronics Commerce (EC'03)
ELSEVIER SCIENCE BV. 2005: 41–54
View details for DOI 10.1016/j.dss.2004.08.006
View details for Web of Science ID 000226229500005
-
Learning against opponents with bounded memory
19th International Joint Conference on Artificial Intelligence (IJCAI 05)
IJCAI-INT JOINT CONF ARTIF INTELL. 2005: 817–822
View details for Web of Science ID 000290233000131
- New Criteria and a New Algorithm for Learning in Multi-Agent Systems. 2005
- Fast and Compact: A Simple Class of Congestion Games AAAI-2005. 2005
-
The structural basis of the thermostability of SP1, a novel plant (Populus tremula) boiling stable protein
JOURNAL OF BIOLOGICAL CHEMISTRY
2004; 279 (49): 51516-51523
Abstract
We previously reported on a new boiling stable protein isolated from aspen plants (Populus tremula), which we named SP1. SP1 is a stress-related protein with no significant sequence homology to other stress-related proteins. It is a 108-amino-acid hydrophilic polypeptide with a molecular mass of 12.4 kDa (Wang, W. X., Pelah, D., Alergand, T., Shoseyov, O., and Altman, A. (2002) Plant Physiol. 130, 865-875) and is found in an oligomeric form. Preliminary electron microscopy studies and matrix-assisted laser desorption ionization time-of-flight mass spectrometry experiments showed that SP1 is a dodecamer composed of two stacking hexamers. We performed a SDS-PAGE analysis, a differential scanning calorimetric study, and crystal structure determination to further characterize SP1. SDS-PAGE indicated a spontaneous assembly of SP1 to one stable oligomeric form, a dodecamer. Differential scanning calorimetric showed that SP1 has high thermostability i.e. Tm of 107 degrees C (at pH 7.8). The crystal structure of SP1 was initially determined to 2.4 A resolution by multi-wavelength anomalous dispersion method from a crystal belonging to the space group I422. The phases were extended to 1.8 A resolution using data from a different crystal form (P21). The final refined molecule includes 106 of the 108 residues and 132 water molecules (on average for each chain). The R-free is 20.1%. The crystal structure indicated that the SP1 molecule has a ferredoxin-like fold. Strong interactions between each two molecules create a stable dimer. Six dimers associate to form a ring-like-shaped dodecamer strongly resembling the particle visualized in the electron microscopy studies. No structural similarity was found between the crystal structure of SP1 and the crystal structure of other stress-related proteins such as small heat shock proteins, whose structure has been already determined. This structural study further supports our previous report that SP1 may represent a new family of stress-related proteins with high thermostability and oligomerization.
View details for DOI 10.1074/jbc.M409952200
View details for Web of Science ID 000225355800105
View details for PubMedID 15371455
-
Fair imposition
JOURNAL OF ECONOMIC THEORY
2004; 118 (2): 209-228
View details for DOI 10.1016/j.jet.2003.11.005
View details for Web of Science ID 000224355000003
-
Using contracts to influence the outcome of a game
19th National Conference on Artificial Intelligence/16th Conference on Innovative Applications of Artificial Intelligence
ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. 2004: 238–243
View details for Web of Science ID 000226971400038
- Addressing the Free-Rider Problem in File-Sharing Systems: A Mechanism-Design Approach 2004
- SATzilla: An Algorithm Portfolio for SAT In conjunction with SAT 2004. 2004
-
Simple search methods for finding a Nash equilibrium
19th National Conference on Artificial Intelligence/16th Conference on Innovative Applications of Artificial Intelligence
ASSOC ADVANCEMENT ARTIFICIAL INTELLIGENCE. 2004: 664–669
View details for Web of Science ID 000226971400105
-
Understanding random SAT: Beyond the clauses-to-variables ratio
10th International Conference on the Principles and Practice of Constraint Programming
SPRINGER-VERLAG BERLIN. 2004: 438–452
View details for Web of Science ID 000224107900033
-
Incentive mechanisms for smoothing out a focused demand for network resources
COMPUTER COMMUNICATIONS
2003; 26 (3): 237-250
View details for Web of Science ID 000181133200004
-
Boosting as a metaphor for algorithm design
9th International Conference on Principles and Practice of Constraint Programming
SPRINGER-VERLAG BERLIN. 2003: 899–903
View details for Web of Science ID 000187420600075
- Towards a General Theory of Non-Cooperative Computing. 2003
- On Cheating in Sealed-Bid Auctions. 2003
-
Truth revelation in approximately efficient combinatorial auctions
JOURNAL OF THE ACM
2002; 49 (5): 577-602
View details for Web of Science ID 000179824400001
-
Polynomial-time reinforcement learning of near-optimal policies
18th National Conference on Artificial Intelligence/14th Conference on Innovative Applications of Artificial Intelligence
M I T PRESS. 2002: 205–210
View details for Web of Science ID 000183593700032
- Smoothing Out Focused Demand for Network Resources Short version presented at the 2001 ACM Conference on Electronic Commerce (EC'01); also presented at ITCom 2001. Full version to be published in ACM Computer Communications Review 2002
- Learning the Empirical Hardness of Optimization Problems: the case of combinatorial auctions In Constraint Programming. 2002
-
Bidding clubs in first-price auctions
18th National Conference on Artificial Intelligence/14th Conference on Innovative Applications of Artificial Intelligence
M I T PRESS. 2002: 373–378
View details for Web of Science ID 000183593700057
-
Dispersion games: General definitions and some specific learning results
18th National Conference on Artificial Intelligence/14th Conference on Innovative Applications of Artificial Intelligence
M I T PRESS. 2002: 398–403
View details for Web of Science ID 000183593700061
-
On rational computability and communication complexity
GAMES AND ECONOMIC BEHAVIOR
2001; 35 (1-2): 197-211
View details for Web of Science ID 000168070600008
- Rational Computation and the Communication Complexity of Auctions Games and Economic Behavior 2001; 35
-
An algorithm for multi-unit combinatorial auctions
17th National Conference on Artificial Intelligence (AAAI-2000)/12th Conference on Innovative Applications of Artificial Intelligence (IAAI-2000)
M I T PRESS. 2000: 56–61
View details for Web of Science ID 000172441000009
- Bidding Clubs: Institutionalized Collusion in Auctions. 2000
- Towards a Universal Test Suite for Combinatorial Auctions. 2000
-
Taming the computational complexity of combinatorial auctions: Optimal and approximate approaches
16th International Joint Conference on Artificial Intelligence (IJCAI 99)
MORGAN KAUFMANN PUB INC. 1999: 548–553
View details for Web of Science ID 000165996800079
-
Expected utility networks
15th Conference on Uncertainty in Artificial Intelligence
MORGAN KAUFMANN PUB INC. 1999: 366–373
View details for Web of Science ID 000089548100042
-
Speeding up ascending-bid auctions
16th International Joint Conference on Artificial Intelligence (IJCAI 99)
MORGAN KAUFMANN PUB INC. 1999: 554–559
View details for Web of Science ID 000165996800080
-
On the knowledge requirements of tasks
ARTIFICIAL INTELLIGENCE
1998; 98 (1-2): 317-349
View details for Web of Science ID 000073163700008
- Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence MIT Press. 1998
- Conditional, Hierarchical Multi-Agent Preferences. 1998
- From Belief Revision to Belief Fusion. 1998
- Agent Oriented Programming. Reading in Agents edited by Huhns, M., N., Singh, M., P. Morgan-Kaufmann. 1998
-
Applications of a logic of knowledge to motion planning under uncertainty
JOURNAL OF THE ACM
1997; 44 (5): 633-668
View details for Web of Science ID 000071143200001
-
Economic principles of multi-agent systems
ARTIFICIAL INTELLIGENCE
1997; 94 (1-2): 1-6
View details for Web of Science ID A1997XM59600001
-
On the emergence of social conventions: Modeling, analysis, and simulations
ARTIFICIAL INTELLIGENCE
1997; 94 (1-2): 139-166
View details for Web of Science ID A1997XM59600006
-
Fab: Content-based, collaborative recommendation
COMMUNICATIONS OF THE ACM
1997; 40 (3): 66-72
View details for Web of Science ID A1997WL14100017
-
A symmetric view of utilities and probabilities
15th International Joint Conference on Artificial Intelligence
MORGAN KAUFMANN PUB INC. 1997: 1324–1329
View details for Web of Science ID 000072707200191
- Agent Oriented Programming: a survey. Software Agents edited by Bradshaw, J., M. MIT Press. 1997
- Qualitative Reasoning about Perception and Belief. 1997
-
Conditional utility, utility independence and utility networks
6th Scandinavian Conference on Artificial Intelligence (SCAI 97)
I O S PRESS. 1997: 15–25
View details for Web of Science ID A1997BJ73Z00005
-
A dynamic theory of incentives in multi-agent systems (preliminary report)
15th International Joint Conference on Artificial Intelligence
MORGAN KAUFMANN PUB INC. 1997: 626–631
View details for Web of Science ID 000072707200092
- Two Senses of Conditional Utility. 1997
-
Information agents: A new challenge for AI
IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS
1996; 11 (3): 8-10
View details for Web of Science ID A1996UN03300005
- Logics of Knowledge and Robot Motion Planning Journal of the ACM 1996
-
PROVABLY CORRECT THEORIES OF ACTION
JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY
1995; 42 (2): 293-320
View details for Web of Science ID A1995RE40100001
-
ON SOCIAL LAWS FOR ARTIFICIAL AGENT SOCIETIES - OFF-LINE DESIGN
ARTIFICIAL INTELLIGENCE
1995; 73 (1-2): 231-252
View details for Web of Science ID A1995QM52400007
- Nonmonotonic Temporal Reasoning. The Handbook of Login in Artificial Intelligence and Logic Programming edited by Gabbai, D. Elsevier. 1995
- Adaptive Load Balancing: a study of multi-agent learning Journal of Artificial Intelligence Research 2 1995: 475-500
-
Knowledge considerations in robotics and distribution of robotic tasks
14th International Joint Conference on Artificial Intelligence (IJCAI-95)
MORGAN KAUFMANN PUB INC. 1995: 96–102
View details for Web of Science ID A1995BE63Q00013
- Artificial Intelligence Techniques in Prolog Morgan Kaufman Publishers. 1994
- Logics of Mental Attitudes in AI. Advances in Knowledge Representation and Reasoning edited by Lakemeyer, G., Mebel, B. Springer-Verlag. 1994
- Applying Knowledge to Motion Planning Under Uncertainty. 1994
- A Unified View of Belief Revision and Update Journal of Logic and Computation 1994
-
BELIEF AS DEFEASIBLE KNOWLEDGE
ARTIFICIAL INTELLIGENCE
1993; 64 (2): 299-321
View details for Web of Science ID A1993MT93800004
-
AGENT-ORIENTED PROGRAMMING
ARTIFICIAL INTELLIGENCE
1993; 60 (1): 51-92
View details for Web of Science ID A1993KR04300003
-
TOWARDS KNOWLEDGE-LEVEL ANALYSIS OF MOTION PLANNING
11th National Conference on Artificial Intelligence (AAAI-93)
M I T PRESS. 1993: 670–675
View details for Web of Science ID A1993BA08N00100
- Agent Oriented Programming. The Encyclopedia of Computer Science and Technology edited by Kent, A., Williams, J., G. Marcel Dekkar, Inc.. 1993
- Agent Oriented Programming Journal of Artificial Intelligence 1993; 1 (60): 51-92
- Deriving Properties of Belief Update from Theories of Action II. 1993
-
DERIVING PROPERTIES OF BELIEF UPDATE FROM THEORIES OF ACTION .2.
13th International Joint Conference on Artificial Intelligence (IJCAI-93)
MORGAN KAUFMANN PUB INC. 1993: 732–737
View details for Web of Science ID A1993BA18B00103
-
REASONING PRECISELY WITH VAGUE CONCEPTS
11th National Conference on Artificial Intelligence (AAAI-93)
M I T PRESS. 1993: 426–431
View details for Web of Science ID A1993BA08N00064
-
A LOGIC OF KNOWLEDGE AND JUSTIFIED ASSUMPTIONS
ARTIFICIAL INTELLIGENCE
1992; 57 (2-3): 271-289
View details for Web of Science ID A1992JR58400004
-
EMERGENT CONVENTIONS IN MULTIAGENT SYSTEMS - INITIAL EXPERIMENTAL RESULTS AND OBSERVATIONS (PRELIMINARY-REPORT)
3rd International Conference on Principles of Knowledge Representation and Reasoning (KR 92)
MORGAN KAUFMANN PUB INC. 1992: 225–231
View details for Web of Science ID A1992BA10M00020
- On the Synthesis of Useful Social Laws. 1992
- A Mechanism for Reasoning about Time and Belief. 1992
- Emergent Conventions in Multi-Agent Systems. 1992
- Deriving Properties of Belief Update from Theories of Action. 1992
- Agent Oriented Programming: an overview and summary of recent research. 1992
- Concurrent Actions in the Situation Calculus. 1992
- On Traffic Laws for Mobile Robots (abstract only) 1992
-
A PROPOSITIONAL MODAL LOGIC OF TIME INTERVALS
JOURNAL OF THE ACM
1991; 38 (4): 935-962
View details for Web of Science ID A1991GN26300005
-
PRELIMINARY THOUGHTS ON AN AGENT DESCRIPTION LANGUAGE
INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS
1991; 6 (5): 497-508
View details for Web of Science ID A1991FX77000003
-
NONMONOTONIC REASONING AND CAUSATION - REPLY
COGNITIVE SCIENCE
1991; 15 (2): 301-303
View details for Web of Science ID A1991FW86800006
-
A LOGIC OF RELATIVE DESIRE
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
1991; 542: 16-31
View details for Web of Science ID A1991KV08300003
- Implementing the Intentional Stance. Philosophy and Artificial Intelligence edited by Cummins, R., Pollock, J. MIT Press. 1991
- Remarks on Simon's Comments Journal of Cognitive Science 1991; 2 (15): 301-303
- AGENTO: a simple agent language and its interpreter 1991
-
NONMONOTONIC REASONING AND CAUSATION
COGNITIVE SCIENCE
1990; 14 (2): 213-252
View details for Web of Science ID A1990DK92500002
-
EPISTEMIC SEMANTICS FOR FIXED-POINTS NONMONOTONIC LOGICS
3rd Conference on Theoretical Aspects of Reasoning About Knowledge (TARK 1990)
MORGAN KAUFMANN PUB INC. 1990: 111–120
View details for Web of Science ID A1990BB25K00010
- On the Complexity of Inheritance Networks and Roles. 1990
- Time for Action. 1989
- Belief as Defeasible Knowledge. 1989
-
EFFICIENT REASONING ABOUT RICH TEMPORAL DOMAINS
JOURNAL OF PHILOSOPHICAL LOGIC
1988; 17 (4): 443-474
View details for Web of Science ID A1988R593000005
-
CHRONOLOGICAL IGNORANCE - EXPERIMENTS IN NONMONOTONIC TEMPORAL REASONING
ARTIFICIAL INTELLIGENCE
1988; 36 (3): 279-331
View details for Web of Science ID A1988Q235000001
-
PROBLEMS IN FORMAL TEMPORAL REASONING
ARTIFICIAL INTELLIGENCE
1988; 36 (1): 49-61
View details for Web of Science ID A1988P231700003
- Problems in Nonmonotonic Temporal Reasoning Journal of Artificial Intelligence 1988; 1 (36): 49-61
- Temporal Reasoning in AI Exploring Artificial Intelligence Morgan-Kaufmann. 1988: 419–438
- Temporal Logics in AI Journal of Artificial Intelligence 1987; 1 (33): 89-104
- Chronological Ignorance: time, knowledge, nonmonotonicity, and casual theories. Readings in Nonmonotonic Reasoning edited by Ginsberg, M. Morgan-Kaufmann. 1987: 396–409
- Temporal Reasoning. The Encyclopedia of Artificial Intelligence edited by Shapiro, S., C. Wiley-Interscience, New York. 1987: 967–981
- Nonmonotonic Logics: meaning and utility. 1987
- A Semantical Approach to Nonmonotonic Logics. 1987
- Reified Temporal Logics: semantical and ontological considerations. 1986
- Chronological Ignorance: time, knowledge, nonmonotonicity and casual theories. 1986
- A Propositional Modal Logic of Time Intervals (short version). 1986
- Naive Kinematics: One Aspect of Shape. 1985
- Ten Requirements from a Theory of Change Journal of New Generation Computing 3(4), 467-477, special issue on knowledge representation 1985
- Reasoning about Causation in Knowledge-Based Systems. 1985
- Temporal Notation and Causal Terminology. 1985
- Prolog Predicates as Denoting Directed Relations. 1984
- Knowledge Inversion. 1984
- FAME: A Prolog Program That Solves Problems in Combinatorics. 1984
- Rational Programming Unpublished.
- Near-Optimal Search in Continuous Domains.
- Can Computers Think? Can they Feel? Non-technical. Stanford School of Engineering "Ask the Expert" column.
- A Test Suite for Combinatorial Auctions. Chapter 19 of Combinatorial Auctions.
- Marginal Contribution Nets: A Compact Representation Scheme for Coalitional Games.
- Team Competition.
- A Framework for the Quantitative Evaluation of Voting Rules.
- On the Complexity of Schedule Control Problems for Knockout Tournaments.
- Higher Educated Guesses.
- Joint Process Games: From Ratings to Wikis.
- Broadening the Scope of Optimal Seeding Analysis in Knockout Tournaments.
- Eliciting Properties of Probability Distributions.
- Bayesian Coalitional Games.
- Modeling Billiards Games.
- On the Agenda Control Problem in Knockout Tournaments.
- Run the GAMUT: A Comprehensive Approach to Evaluating Game-Theoretic Algorithms.
- Dispersion Games AAAI-02.
- Internal Implementation.
- Asymptotically Optimal Repeated Auctions for Sponsored Search.
- Game Theory Pragmatics: A Challenge for AI.
- Optimal Testing of Structured Knowledge.
- Learning in Games with More than Two Players.
- Multi-Attribute Coalitional Games.
- Success, Strategy and Skill: an Experimental Study.
- Introduction to Combinatorial Auctions. Introductory chapter of Combinatorial Auctions.
- If Multi-Agent Learning is the Answer, What is the Question? Artificial Intelligence, special issue on Foundations of Multi-Agent Learning edited by Vohra, R., Wellman, M. : 365–377
- Empirical Hardness Models for Combinatorial Auctions. Chapter 20 of Combinatorial Auctions.