Publications
Books
Multiagent Systems: Algorithmic, Game Theoretic and Logical Foundations
Y. Shoham and K. Leyton-Brown
Cambridge University Press, 2009
Y. Shoham, Morgan Kaufman Publishers, 1994
Essentials of Game Theory:
A Concise, Multidisciplinary Introduction
K. Leyton-Brown and Y. Shoham
Morgan Claypool Publishers, 2008
Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence.
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
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
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
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
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
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
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
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
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
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
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
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