top of page

Publications

Books

RACcover 5.png

Multiagent Systems: Algorithmic, Game Theoretic and Logical Foundations

Y. Shoham and K. Leyton-Brown
Cambridge University Press, 2009

RACcover 2.png

Artificial Intelligence Techniques in Prolog

Y. Shoham, Morgan Kaufman Publishers, 1994

RACcover 4.png

Essentials of Game Theory:
A Concise, Multidisciplinary Introduction

K. Leyton-Brown and Y. Shoham
Morgan Claypool Publishers, 2008

RACcover 1.png

Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence.

RACcover 3.png

Combinatorial Auctions

P. Cramton, Y. Shoham,
and R. Steinberg (editors)
MIT Press, 2006

Y. Shoham, MIT Press, 1988

Select Presentations

IJCAI Research Excellence Award lecture.

2019

PDF

TEDx - Can machines think? Can they feel?

2017

Articles

Legend: 

GM: Game Theory and Multiagent Systems

KR: Knowledge Representation  

O: Other

On Equilibria in Games with Imperfect Recall. Link

N.S.Lambert, A.Marple and Y.Shoham Games and Economic Behavior, Vol. 113 2019

2019

GM

Why knowledge representation matters. PDF

Y. Shoham. Communications of the ACM 59(1)

2016

KR

Higher Educated Guesses. PDF

Y. Shoham.

2012

O

Designing Competitions between Teams of Individuals. PDF

P. Tang, Y. Shoham and F. Lin. Journal of Artificial Intelligence 174(11), 2010.

2010

GM

Cause for Celebration, Cause for Concern. Y. Shoham. In Heuristics, Probability and Causality: a Tribute to Judea Pearl, R. PDF

Dechter, H. Geffner and J. Y. Halpern (eds.). College Publications.

2010

KR

Computational Pool: A new Challenge for Game Theory Pragmatics. PDF

C. Archibald, A. Altman, M. Greenspan and Y. Shoham. AI Magazine.

2010

GM

Fair Seedings in Knockout Tournaments. T. Vu and Y. Shoham. ACM PDF

Transactions on Intelligent Systems and Technology.

2010

GM

Joint Process Games: From Ratings to Wikis. PDF

M. Munie and Y.  Shoham. Proceedings of AAMAS-10

2010

GM

Broadening the Scope of Optimal Seeding Analysis in Knockout Tournaments.

T. Vu, and Y.  Shoham. Proceedings of AAMAS-10. 

2010

GM

Success, Strategy and Skill: an Experimental Study PDF

C. Archibald, A. Altman and Y.  Shoham. Proceedings of AAMAS-10. 

2010

GM

Internal Implementation. PDF

A. Anderson,Y.  Shoham and A. Altman. Proceedings of AAMAS-10.

2010

GM

Joint Revision of Belief and Intention.

T. Icard, E. Pacuit and Y. Shoham. Proceedings of the twelfth international conference on principles of knowledge representation and reasoning (KR), 2010.

2010

GM

Multi-Agent Learning I: Problem Definition. PDF

Y. Shoham and R. Powers. In Encyclopedia of Machine Learning,  C. Sammut and G. Webb (eds.). Springer, 2010.

2010

GM

Multi-Agent Learning II: Algorithms. PDF

Y. Shoham and R. Powers. In Encyclopedia of Machine Learning, C. Sammut and G. Webb (eds.). Springer, 2010. 

2010

GM

Untitled. PDF

Y. Shoham. In Epistemic Logic: 5 Questions, V. F. Hendricks and O. Roy (eds.). Automatic Press / VIP, 2010.

2010

KR

On the Complexity of Schedule Control Problems for Knockout Tournaments. PDF

T. Vu, A. Altman and Y.  Shoham. Proceedings of AAMAS-09.

2009

GM

Logical Theories of Intention and the Database Perspective. PDF

Y.  Shoham. J. Philosophical Logic 38(6): 633-648, December 2009.

2009

KR

Analysis of a Winning Computational Billiards Player. PDF

C. Archibald, A. Altman and Y.  Shoham. Proceedings of IJCAI-09.

2009

GM

Eliciting Truthful Answers to Multiple-Choice Questions. PDF

N. Lambert and Y.  Shoham. Proceedings of EC-09.

2009

GM

On the Complexity of Schedule Control Problems for Knockout Tournaments. PDF

T. Vu, A. Altman and Y.  Shoham. Proceedings of AAMAS-09.

2009

GM

Team Competition. PDF

P. Tang, Y.  Shoham and F. Lin. Proceedings of AAMAS-09.

2009

GM

Empirical Hardness Models: Methodology and a Case Study on Combinatorial Auctions. K PDF

Leyton-Brown, E. Nudelman and Y. Shoham. Journal of the ACM, 56(4): 1-52, 2009.

2009

GM

Modeling Billiards Games. PDF

C. Archibald and Y.  Shoham. Proceedings of AAMAS-09.

2009

GM

A Framework for the Quantitative Evaluation of Voting Rules.

Empirical Hardness Models: Methodology and a Case Study on Combinatorial Auctions. K PDF

2009

GM

Ranking Games. PDF

F. Brandt, F. Fischer, P. Harrenstein and Y. Shoham. Journal of Artificial Intelligence, 173(2): 221-239, 2009.

2009

GM

Can Computers Think? Can they Feel? PDF

Y.  Shoham. Non-technical. Stanford School of Engineering "Ask the Expert" column.

2009

O

Simple Search Methods for Finding a Nash Equilibrium PDF

R. W. Porter, E. Nudelman and Y. Shoham. Games and Economic Behavior, 63(2): 642-662.

2008

GM

Bayesian Coalitional Games. PDF

S. Ieong and Y. Shoham. Proceedings of AAAI-08.

2008

GM

Optimal Testing of Structured Knowledge PDF

M. Munie and Y. Shoham. Proceedings of AAAI-08.

2008

KR

Eliciting Properties of Probability Distributions. PDF

 N. Lambert, D. M. Pennock and Y.  Shoham. Proceedings of EC-08.

2008

GM

Eliciting Properties of Probability Distributions: the Highlights PDF

N. Lambert, D. M. Pennock and Y.  Shoham. SIGEcom Exchange, November 2008. A summary of the results in the above paper.

2008

GM

Computer Science and Game Theory. PDF

Y. Shoham. Communications of the ACM, 51(5), August, 2008.

2008

GM

Self-Financed Wagering Mechanisms for Forecasting PDF

 N. Lambert, J. Langford, J. Wortman, Y. Chen, D. Reeves, Y.  Shoham and D. M. Pennock. Proceedings of EC-08.

2008

GM

Game Theory Pragmatics: A Challenge for AI

Y. Shoham. Proceedings of AAAI-08. A subset of the next paper.

2008

GM

Fault Tolerant Mechanism Design. PDF

R. Porter, A. Ronen, Y.  Shoham and M. Tennenholtz,  Artificial Intelligence, 172(15), 1783-1799, 2008.

2008

GM

Truthful Surveys PDF

N. Lambert and Y. Shoham. In Proceedings of WINE-08.

2008

GM

On the Agenda Control Problem in Knockout Tournaments.

T. Vu, A. Altman and Y. Shoham. In Proceedings of COMSOC-08. Superseded by paper

2008

GM

If Multi-Agent Learning is the Answer, What is the Question? PDF

Y. Shoham, R. Powers and T. Grenager. Artificial Intelligence 171(7), pages 365-377, special issue on Foundations of Multi-Agent Learning (R. Vohra and M. Wellman, eds.). 

2007

GM

A General Criterion and an Algorithmic Framework for Learning in Multi-Agent Systems. PDF

R. Powers, Y. Shoham and T. Vu. Machine Learning 67, pages 45-76.

2007

GM

Near-Optimal Search in Continuous Domains. PDF

S. Ieong, N. Lambert, Y. Shoham and R. Brafman. Proceedings of AAAI-07.

2007

KR

Asymptotically Optimal Repeated Auctions for Sponsored Search. PDF

N. Lambert and Y. Shoham.  Proceedings of ICEC-07.

2007

GM

A Game-Theoretic Analysis of Strictly Competitive Multiagent Scenarios. PDF

F. Brandt, F. Fischer, P. Harrenstein, and Y. Shoham. Proceedings of IJCAI-07.

2007

GM

Spiteful Bidding in Sealed-Bid Auctions. PDF

F. Brandt, T. Sandholm, and Y. Shoham.  Proceedings of IJCAI'07. Preliminary versions appeared at the 7th IJCAI Workshop on Game Theoretic and Decision Theoretic Agents and the 2005 Dagstuhl Seminar on Computing and Markets.

2007

GM

Multi-Attribute Coalitional Games.

S. Ieong and Y. Shoham. Proceedings of EC'06.

2006

GM

Learning in Games with More than Two Players. PDF

T. Vu, R. Powers and Y. Shoham. Proceedings of the AAMAS-06.

2006

GM

On strictly competitive multi-player games. PDF

F. Brandt, F. Fischer, and Y. Shoham. In Proceedings AAAI 2006, pages 605-612. Also appeared at the 17th International Conference on Game Theory (Stony Brook).

2006

GM

A Test Suite for Combinatorial Auctions. PDF

K. Leyton-Brown and Y. Shoham. 

2006

GM

Empirical Hardness Models for Combinatorial Auctions. PDF

 K. Leyton-Brown, E. Nudelman and Y. Shoham.

2006

GM

Marginal Contribution Nets: A Compact Representation Scheme for Coalitional Games. PDF

S. Ieong and Y.  Shoham. Proceedings of EC'05

2005

GM

Fast and Compact: A Simple Class of Congestion Games. PDF

S. Ieong, R. McGrew, E. Nudelman, Y. Shoham, and Q. Sun. AAAI-2005. 

2005

GM

Non-Cooperative Computing: Boolean Functions with Correctness and Exclusivity. PDF

Y. Shoham and M. Tennenholtz. Journal of Theoretical Computer Science, 343, 97-113.

2005

GM

Introduction to Combinatorial Auctions PDF

P. Cramton, Y. Shoham and R. Steinberg. Introductory chapter of Combinatorial Auctions.

2005

GM

Learning Against Opponents with Bounded Memory. PDF

R. Powers and Y. Shoham. Proceedings of IJCAI 2005.

2005

GM

New Criteria and a New Algorithm for Learning in Multi-Agent Systems. PDF

R. Powers and Y. Shoham. Proceedings of NIPS-2004/5

2004

GM

Understanding Random SAT: Beyond the Clauses-to-Variables Ratio PDF

E. Nudelman, K. Leyton-Brown, A. Devkar, H. Hoos and Y. Shoham. Proceedings of CP-2004. 

2004

KR

SATzilla: An Algorithm Portfolio for SAT. PDF

E. Nudelman, A. Devkar, Y. Shoham, K. Leyton-Brown and H. Hoos. In conjunction with SAT 2004.

2004

KR

Run the GAMUT: A Comprehensive Approach to Evaluating Game-Theoretic Algorithms. PDF

K. Leyton-Brown, E. Nudelman, J. Wortman and Y. Shoham. Proceedings of AAMAS-04. 

2004

GM

Simple Search Methods for Finding a Nash Equilibrium.

R. W. Porter, E. Nudelman and Y. Shoham. Proceedings of AAAI-04. Superseded by journal version

2004

GM

Using Contracts to Influence the Outcome of a Game. PDF

R. McGrew and Y. Shoham. Proceedings of AAAI-04. 

2004

GM

Addressing the Free-Rider Problem in File-Sharing Systems: A Mechanism-Design Approach. PDF

R. Porter and Y. Shoham

2004

GM

Fair Imposition. PDF

R. Porter, Y. Shoham and M. Tennenholtz. Journal of Economic Theory, 118(2), October 2004, Pages 209-228.

2004

GM

On Cheating in Sealed-Bid Auctions. PDF

R. Porter and Y. Shoham. Long version, Short version in proceedings of  EC'04, New York, 2004.

2004

GM

On Cheating in Sealed-Bid Auctions. PDF

R. Porter and Y. Shoham. Proceedings of  EC'03, San Diego, 2003; superseded by 2004 journal version

2003

GM

Towards a General Theory of Non-Cooperative Computing. PDF

R. McGrew, R. Porter and Y. Shoham. Proceedings of TARK IX, Bloomington, 2003.

2003

GM

Boosting as a Metaphor for Algorithm Design. PDF

Parts of this paper appeared as:

Boosting as a Metaphor for Algorithm Design. Constraint Programming. PDF

A Portfolio Approach to Algorithm Selection. IJCAI. PDF

K. Leyton-Brown, E. Nudelman, G. Andrew, J. McFadden, and Y. Shoham

2003

GM

Truth Revelation in Approximately Efficient Combinatorial Auctions. PDF

D. Lehmann, L. I. O'Callaghan, Y. Shoham. Journal of the ACM , 49 (5), September 2002, 577-602.

2002

GM

Learning the Empirical Hardness of Optimization Problems: the case of combinatorial auctions. PDF

Leyton-Brown, E. Nudelman, Y. Shoham (thanks also to Yannis Vetsikas, Ramon Bejar, Carla Gomes, Bart Selman).  In Constraint Programming (2002)

2002

GM

Mechanism Design with Execution Uncertainty.

R. Porter, A. Ronen, Y. Shoham, M. Tennenholtz. UAI-02. Superseded by the 2008 

2002

GM

Dispersion Games.

 T. Grenager, R. Powers and Y. Shoham.  AAAI-02.

2002

GM

Bidding Clubs in First-Price Auctions. PDF

Leyton-Brown, Y. Shoham, M. Tennenholtz.  Extended abstract: AAAI-02.  Full version: working paper.  Full version:

2002

GM

Polynomial-Time Reinforcement Learning of Near-Optimal Policies.

K. Pivazyan, Y. Shoham.  AAAI-02

2002

O

Searle and the Art of Motorcycle Maintenance. PDF

Y. Shoham. Unpublished. 

2002

O

Smoothing Out Focused Demand for Network Resources. PDF

 K. Leyton-Brown, R. Porter, S. Venkataraman, B. Prabhakar.  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.

2001

GM

Fair Imposition.

Shoham, M. Tennenholtz.  IJCAI-01, 2001.

2001

GM

Rational Computation and the Communication Complexity of Auctions

Y. Shoham and M. Tennenholtz,  Games and Economic Behavior, Vol. 35, 2001

2001

GM

Bidding Clubs: Institutionalized Collusion in Auctions. PDF

K. Leyton-Brown, M. Tennenholtz, Y. Shoham,  Proceedings of  EC'00, Minneapolis, 2000. 

2000

GM

Towards a Universal Test Suite for Combinatorial Auctions. PDF

K. Leyton-Brown, M. Pearson, Y. Shoham,  Proceedings of EC'00, Minneapolis, 2000. 

2000

GM

An Algorithm for Multi-Unit Combinatorial Auctions. K. PDF

K. Leyton-Brown, M. Tennenholtz, Y. Shoham, Proceedings of AAAI-2000, Austin, 2000

2000

GM

Speeding Up Ascending-Bid Auctions.

Y. Fujishima, D. McAdams, and Y. Shoham, Proceedings of IJCAI-99, Stockholm, 1999.

1999

GM

Expected Utility Networks.

P. La Mura and Y. Shoham, Conference on Uncertainty in Artificial Intelligence, Stockholm, 1999

1999

KR

Taming the Computational Complexity of Combinatorial Auctions: Optimal and Approximate Approaches. PDF

Y. Fujishima, K. Leyton-Brown and Y. Shoham, Proceedings of IJCAI-99, Stockholm, 1999.

1999

GT

Rational Programming. PDF

Y. Shoham. Unpublished. 

1999

KR

Agent Oriented Programming.

Y. Shoham, in reading in Agents, M.N. Huhns and M.P. Singh (ed.), Morgan-Kaufmann, 1998.

1998

KR

Conditional, Hierarchical Multi-Agent Preferences. 

P. La Mura and Y. Shoham, Proceedings of TARK VII, Evanston, IL, 1998.

1998

GT

From Belief Revision to Belief Fusion.

. Maynard-Reid II and Y. Shoham, Proceedings of LOFT-98, Torino, 1998.

1998

KR

On the Knowledge Requirements of Tasks.

R.I. Brafman, J.Y. Halpern and Y. Shoham, Journal of Artificial Intelligence 98(1-2), pp.317-350, January 1998.

1998

KR

Economic Principles on Multi-Agent Systems.

C.Boutilier, Y. Shoham and M.P. Wellman, Journal of Artificial Intelligence 94(1-2), pp. 1-6, July 1997.

1997

GT

On the Emergence of Social Conventions: modeling, analysis, and simulations. PDF

Y. Shoham and M. Tennenholtz, Journal of Artificial Intelligence 94(1-2), pp. 139-166, July 1997. 

1997

GT

Fab:  Content-based, Collaborative Recommendation.

M. Balabanovic and Y. Shoham, Communications of the ACM 40(3), March 1997.

1997

GT

A Dynamic Theory of Incentives in Multi-Agent Systems (Preliminary Report).

Y. Shoham and K. Tanaka, Proceedings of IJCAI-97, Nagoya, 1997.

1997

GT

Qualitative Reasoning about Perception and Belief.

A. Del Val, Y. Shoham and P. Maynard-Reid II, Proceedings of IJCAI-97, Nagoya, 1997.

1997

KR

A Symmetric View of Probabilities and Utilities.

Y. Shoham, Proceedings of  IJCAI-97, Nagoya, 1997.

1997

KR

Two Senses of Conditional Utility.  

Y. Shoham, Proceedings of  Thirteenth Conference of Uncertainty in Artificial Intelligence, Providence, 1997.

1997

KR

Agent Oriented Programming: a survey.

Y. Shoham, in Software Agents, J.M. Bradshaw (ed.), MIT Press, 1997.

1997

KR

Logics of Knowledge and Robot Motion Planning.

R. Brafman, J-C. Latombe, Y. Moses and Y. Shoham, Journal of the ACM, 1996.

1996

KR

Adaptive Load Balancing: a study of multi-agent learning.

A. Schaerf, Y. Shoham and M. Tennenholtz, Journal of Artificial Intelligence Research 2, pp. 475-500, 1995.

1995

GT

Knowledge Considerations in Robotics and Distribution of Robotic Tasks.

R. Brafman and Y. Shoham, Proceedings of IJCAI-95, Montreal, 1995.

1995

KR

Nonmonotonic Temporal Reasoning.

E.J. Sandwall and Y. Shoham, in the Handbook of Login in Artificial Intelligence and Logic Programming (D. Gabbai, ed.), Elsevier, 1995.

1995

KR

A Unified View of Belief Revision and Update.

 A. Del Val and Y. Shoham, Journal of Logic and Computation, 1994. 

1994

KR

Deriving Properties of Belief Update from Theories of Action.

A. Del Val and Y. Shoham, Journal of Logic, Language and Information, 1994.

1994

KR

Belief as Defeasible Knowledge.

Y. Moses and Y. Shoham, Journal of Artificial Intelligence, 1994.

1994

KR

Applying Knowledge to Motion Planning Under Uncertainty.

R.I. Brafman, J-C. Latombe, Y. Moses and Y. Shoham,  Proceedings of TARK-V, 1994.

1994

KR

Logics of Mental Attitudes in AI.

Y. Shoham and S.B. Cousins, in G. Lakemeyer and B. Mebel (eds.), Advances in Knowledge Representation and Reasoning, Springer-Verlag, 1994.

1994

KR

Agent Oriented Programming. PDF

Y. Shoham,  Journal of Artificial Intelligence 60 (1), pp. 51-92, 1993.

1993

KR

Reasoning Precisely with Vague Concepts.

N. Goyal and Y. Shoham, Proceedings of AAAI, Washington, 1993.

1993

KR

Towards Knowledge-Level Analysis of Motion Planning.

R.I. Brafman, J-C. Latombe, and  Y. Shoham, Proceedings of AAAI, Washington, 1993.

1993

KR

Deriving Properties of Belief Update from Theories of Action II.

A. Del Val and Y. Shoham, Proceedings of IJCAI, Chambery, France, 1993.

1993

KR

Agent Oriented Programming. 

Y. Shoham and B. Thomas, in The Encyclopedia of Computer Science and Technology, A. Kent and J.G. Williams (eds.), Marcel Dekkar, Inc. 1993.

1993

KR

A Logic of Knowledge and Justified Assumptions.

F. Lin and Y. Shoham, Journal of Artificial Intelligence 57(2-3), pp. 271-290, 1992.

1992

KR

Agent Oriented Programming. PDF

 Y. Shoham and M. Tennenholtz, Proceedings of KR, Boston, 1992.

1992

GM

Deriving Properties of Belief Update from Theories of Action.

A Del Val and Y. Shoham,  Proceedings of  AAAI, San Jose, 1992.

1992

KR

Concurrent Actions in the Situation Calculus.

F. Lin and Y. Shoham, Proceedings of  AAAI, San Jose, 1992.

1992

KR

On the Synthesis of Useful Social Laws.

Y. Shoham and M. Tennenholtz, Proceedings of  AAAI, San Jose, 1992.

1992

GM

Protograms (abstract only).

E. Moses and Y. Shoham, First International Conference on Planning, 1992.

1992

O

On Traffic Laws for Mobile Robots (abstract only).

Y. Shoham and M. Tennenholtz, First International Conference on Planning, 1992.

1992

GT

A Mechanism for Reasoning about Time and Belief.

H. Isozaki and Y. Shoham, Proceedings of International Conference on Fifth Generation Computer Systems, Japan, 1992.

1992

KR

Agent Oriented Programming: an overview and summary of recent research.

Y. Shoham, Proceedings of Workshop on Distributed Artificial Intelligence, 1992.

1992

KR

Preliminary Thoughts on an Agent Description Language.

B. Thomas, A. Schwartz, S. Kraus and Y. Shoham, International Journal of Intelligent Systems 6(5), 1991.

1991

KR

A Propositional Modal Logic of Time Intervals.

 J.Y. Halpern and Y. Shoham, Journal of the ACM 38(4), pp. 935-962, 1991.

1991

KR

Remarks on Simon's Comments. 

Y. Shoham, Journal of Cognitive Science, 15(2), pp. 301-303, 1991.

1991

KR

AGENTO: a simple agent language and its interpreter. 

Y. Shoham, Proceedings of  AAAI, Anaheim, 1991.

1991

KR

Provably Correct Theories of Action.

F. Lin and Y. Shoham, Proceedings of  AAAI, Anaheim, 1991.

1991

KR

Implementing the Intentional Stance.

 Y. Shoham, in Philosophy and Artificial Intelligence (R. Cummins and J. Pollock, eds.), MIT Press, 1991.

1991

KR

Nonmonotonic Temporal Reasoning and Causation.

Y. Shoham, Journal of Cognitive Science 14(2), pp. 213-252, 1990.

1990

KR

On the Complexity of Inheritance Networks and Roles. 

A. Hemerely, R. Guerreiro and Y. Shoham, Proceedings of  AAAI, Boston, 1990.

1990

KR

Epistemic Semantics for Fixpoint Nonmonotonic Logics. 

F. Lin and Y. Shoham, Proceedings of TARK III, Monterey, 1990.

1990

KR

Belief as Defeasible Knowledge.

 Y. Shoham and Y. Moses, Proceedings of the 11th IJCAI, 1168-1173, Detroit, 1989.

1989

KR

Time for Action.

Y. Shoham, Proceedings of the 11th IJCAI, 333-342, Detroit, 1989.

1989

KR

Efficient Reasoning about Rich Temporal Domains.

Y. Shoham, Journal of Philosophical Logic 17(4), pp. 443-474, (invited article), 1988.

1988

KR

Chronological Ignorance: Experiments in Nonmonotonic Temporal Reasoning.

 Y. Shoham,  Journal of Artificial Intelligence 36(3), pp. 279-331, 1988.

1988

KR

Problems in Nonmonotonic Temporal Reasoning.

Y. Shoham and D. McDermott,  Journal of Artificial Intelligence 36(1), pp. 49-61, 1988.

1988

KR

Temporal Reasoning in AI.

Y. Shoham and N. Goyal, in Exploring Artificial Intelligence, pp.419-438, Morgan-Kaufmann, 1988.

1988

KR

Temporal Logics in AI.

 Y. Shoham,  Journal of Artificial Intelligence 33(1), pp. 89-104, 1987.

1987

KR

 A Semantical Approach to Nonmonotonic Logics.

Y. Shoham, Proceedings of  2nd Symposium on Logic in Computer Science, 275-279, Ithaca, N.Y., 1987.

1987

KR

Nonmonotonic Logics: meaning and utility.

Y. Shoham,  Proceedings of  10th IJCAI, 388-393, Milan, 1987.

1987

KR

Chronological Ignorance: time, knowledge, nonmonotonicity, and casual theories.

Y. Shoham, in M. Ginsberg (ed.), Readings in Nonmonotonic Reasoning, pp.396-409, Morgan-Kaufmann, 1987.

1987

KR

Temporal Reasoning.

Y. Shoham and D.V. McDermott, in The Encyclopedia of Artificial Intelligence, Shapiro, S.C. (ed.), pp.967-981, Wiley-Interscience, New York, 1987.

1987

KR

Chronological Ignorance: time, knowledge, nonmonotonicity and casual theories.

 Y. Shoham, Proceedings of the AAAI, 389-393, Philadelphia, PA, 1986.

1986

KR

Reified Temporal Logics: semantical and ontological considerations.

Y. Shoham,  Proceedings of  7th ECAI, 108-123, Brighton, U.K., July 1986 (best paper award).

1986

KR

A Propositional Modal Logic of Time Intervals (short version). 

J.Y. Halpern and Y. Shoham, Proceedings of 1st Symposium on Logic in Computer Science, 279-292, Boston, MA, June 1986.

1986

KR

Ten Requirements from a Theory of Change.

Y. Shoham, Journal of New Generation Computing 3(4), 467-477, special issue on knowledge representation, 1985.

1985

KR

Reasoning about Causation in Knowledge-Based Systems. 

Y. Shoham, Proceedings of  IEEE Conference on Artificial Intelligence Applications, 297-303, Miami, FL, 1985.

1985

KR

Naive Kinematics: One Aspect of Shape. 

Y. Shoham, Proceedings of  9th IJCAI, 436-442, Los Angeles, CA, 1985.

1985

KR

Temporal Notation and Causal Terminology.

Y. Shoham and T. Dean,  Proceedings of 7th Annual Conference of the Cognitive Science Society, 90-99, Irvine, CA, 1985. 

1985

KR

Prolog Predicates as Denoting Directed Relations.

Y. Shoham and D.V. McDermott, Proceedings of FGCS, 307-316, Tokyo, Japan, 1984.

1984

KR

Knowledge Inversion.

Y. Shoham and D.V. McDermott, Proceedings of AAAI, 295-329, Austin, TX, 1984.

1984

KR

FAME: A Prolog Program That Solves Problems in Combinatorics. 

Y. Shoham, Proceedings of 2nd International Logic Programming Conference, 277-288, Uppsala, Sweden, 1984.

1984

KR

bottom of page