Please note that this list cannot be completed with all the papers from 1970-1990 as well. You will find the articles from 1970-1990 online here:


2019 List of Eligible Classic AIJ Papers (1970 - 2003, Volumes 1-151) 

Artificial Intelligence

Volume 41, Issue 3, Pages 257-386 (January 1990)

Functional transformations in AI discovery systems
Pages 257-272
Wei-Min Shen

Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition
Pages 273-312
Rina Dechter

Automatic qualitative analysis of dynamic systems using piecewise linear approximations
Pages 313-364
Elisha Sacks

The logic of nonmonotonicity
Pages 365-374
John Bell

Volume 42, Issue 1, Pages 1-157 (February 1990)

Artificial intelligence and learning environments: Preface
Pages 1-6
William J. Clancey, Elliot Soloway

Cognitive modeling and intelligent tutoring
Pages 7-49
John R. Anderson, C.Franklin Boyle, Albert T. Corbett, Matthew W. Lewis

Understanding and debugging novice programs
Pages 51-97
W.Lewis Johnson

Causal model progressions as a foundation for intelligent learning environments
Pages 99-157
Barbara Y. White, John R. Frederiksen

Volume 42, Issues 2–3, Pages 159-416 (March 1990)

A critical examination of Allen's theory of action and time
Pages 159-188
Antony Galton

Real-time heuristic search
Pages 189-211
Richard E. Korf

Intention is choice with commitment
Pages 213-261
Philip R. Cohen, Hector J. Levesque

All I know: A study in autoepistemic logic
Pages 263-309
Hector J. Levesque

A skeptical theory of inheritance in nonmonotonic semantic networks
Pages 311-348
John F. Horty, Richmond H. Thomason, David S. Touretzky

A dynamic systems perspective on qualitative simulation
Pages 349-362
Elisha Sacks

Quantitative results concerning the utility of explanation-based learning
Pages 363-391
Steven Minton

The computational complexity of probabilistic inference using bayesian belief networks
Pages 393-405
Gregory F. Cooper

Volume 43, Issue 1, Pages 1-126 (April 1990)

Measuring the performance potential of chess programs
Pages 7-20
Hans J. Berliner, Gordon Goetsch, Murray S. Campbell, Carl Ebeling

The development of a world class Othello program
Pages 21-36
Kai-Fu Lee, Sanjoy Mahajan

Reasoning with uncertainty in computer chess
Pages 37-56
Helmut Horacek

An incremental negamax algorithm
Pages 57-65
Ingo Althöfer

Conspiracy numbers
Pages 67-84
Jonathan Schaeffer

A generalised quiescence search algorithm
Pages 85-98
Don F. Beal

Singular extensions: Adding selectivity to brute-force searching
Pages 99-109
Thomas Anantharaman, Murray S. Campbell, Feng-hsiung Hsu

Perfect knowledge revisited
Pages 111-123
S.T. Dekker, H.J. van den Herik, I.S. Herschberg

Volume 43, Issue 2, Pages 127-270 (May 1990)

Dynamic backward reasoning systems
Pages 127-152
Antoni Ligeza

Pragmatics and natural language generation
Pages 153-197
Eduard H. Hovy

Shape from fractal geometry
Pages 199-218
Susan S. Chen, James M. Keller, Richard M. Crownover

A rational reconstruction of nonmonotonic truth maintenance systems
Pages 219-234
Charles Elkan

Terminological reasoning is inherently intractable
Pages 235-249
Bernhard Nebel

Volume 43, Issue 3, Pages 271-392 (June 1990)

Estimation of surface topography from SAR imagery using shape from shading techniques
Pages 271-310
Robert T. Frankot, Rama Chellappa

Pages 311-368
Daniel S. Weld

Volume 44, Issue 1-2, Pages 1-56 (July 1990)

The geometry of view space of opaque objects bounded by smooth surfaces
Pages 1-40
J.H. Rieger

Representing stereo data with the Delaunay triangulation
Pages 41-87
O.D. Faugeras, E.Le Bras-Mehlman, J.D. Boissonnat

Qualitative kinematics in mechanisms
Pages 89-119
Boi Faltings

The combinatorics of object recognition in cluttered environments using constrained search
Pages 121-165
W.Eric L. Grimson

Nonmonotonic reasoning, preferential models and cumulative logics
Pages 167-207
Sarit Kraus, Daniel Lehmann, Menachem Magidor

Learning problem solving strategies using refinement and macro generation
Pages 209-243
H.Altay Güvenir, George W. Ernst

Dempster's rule of combination is #P-complete
Pages 245-253
Pekka Orponen

Volume 44, Issue 3, Pages 257-400 (August 1990)

Fundamental concepts of qualitative probabilistic networks
Pages 257-303
Michael P. Wellman

Qualitative navigation for mobile robots
Pages 305-360
Tod S. Levitt, Daryl T. Lawton

A note on “creativity and learning in a case-based explainer”
Pages 373-375
Dedre Gentner, Kenneth Forbus

Volume 45, Issues 1–2, Pages 1-274 (September 1990)

Learning in mathematically-based domains: Understanding and generalizing obstacle cancellations
Pages 1-45
Jude W. Shavlik, Gerald F. DeJong

Maximizing the predictive value of production rules
Pages 47-71
Sholom M. Weiss, Robert S. Galen, Prasad V. Tadepalli

Qualitative physics using dimensional analysis
Pages 73-111
R. Bhaskar, Anil Nigam

Automated program recognition: A feasibility demonstration
Pages 113-171
Linda Mary Wills

Explaining and repairing plans that fail
Pages 173-228
Kristian J. Hammond

Concept learning and heuristic classification in weak-theory domains
Pages 229-263
Bruce W. Porter, Ray Bareiss, Robert C. Holte

Volume 45, Issue 3, Pages 275-412 (October 1990)

On the parallel complexity of discrete relaxation in constraint satisfaction networks
Pages 275-286
Simon Kasif

Model-preference default theories
Pages 287-322
Bart Selman, Henry A. Kautz

Shape from texture: Estimation, isotropy and moments
Pages 323-380
Andrew Blake, Constantinos Marinos

Using crude probability estimates to guide diagnosis
Pages 381-391
Johan de Kleer
Attributive concept descriptions with complements
Volume 46, Issues 1–2, Pages 1-257 (November 1990)

BoltzCONS: Dynamic symbol structures in a connectionist network
Pages 5-46
David S. Touretzky

Mapping part-whole hierarchies into connectionist networks
Pages 47-75
Geoffrey E. Hinton

Recursive distributed representations
Pages 77-105
Jordan B. Pollack

Mundane reasoning by settling on a plausible model
Pages 107-157
Mark Derthick

Tensor product variable binding and the representation of symbolic structures in connectionist systems
Pages 159-216
Paul Smolensky

Learning and applying contextual constraints in sentence comprehension
Pages 217-257
Mark F. St. John, James L. McClelland

Volume 46, Issue 3, Pages 259-398 (December 1990)

Analog retrieval by constraint satisfaction
Pages 259-310
Paul Thagard, Keith J. Holyoak, Greg Nelson, David Gochfeld

An analysis of first-order logics of probability
Pages 311-350
Joseph Y. Halpern

Gibbs sampling in Bayesian networks
Pages 351-363
Tomas Hrycej

Frames in the space of situations
Pages 365-376
Vladimir Lifschitz

Volume 47, Issues 1–3, Pages 1-346 (January 1991)

Foundations of AI: The big issues
Pages 3-30
David Kirsh

Logic and artificial intelligence
Pages 31-56
Nils J. Nilsson

Rigor mortis: A response to Nilsson's “Logic and artificial intelligence”
Pages 57-77
Lawrence Birnbaum

Open Information Systems Semantics for distributed artificial intelligence
Pages 79-106
Carl Hewitt

Social conceptions of knowledge and action: DAI foundations and open systems semantics
Pages 107-138
Les Gasser

Intelligence without representation
Pages 139-159
Rodney A. Brooks

Today the earwig, tomorrow man?
Pages 161-184
David Kirsh

On the thresholds of knowledge
Pages 185-250
Douglas B. Lenat, Edward A. Feigenbaum

The owl and the electric encyclopedia
Pages 251-288
Brian Cantwell Smith

A preliminary analysis of the Soar architecture as a basis for general intelligence
Pages 289-325
Paul S. Rosenbloom, John E. Laird, Allen Newell, Robert McCarl

Approaches to the study of intelligence
Pages 327-346
Donald A. Norman

Volume 48, Issue 1, Pages 1-142 (February 1991)

Pages 1-26
Manfred Schmidt-Schauß, Gert Smolka

Automatic analysis of one-parameter planar ordinary differential equations by intelligent numeric simulation
Pages 27-56
Elisha P. Sacks

Animate vision
Pages 57-86
Dana H. Ballard

Connectionist hashed associative memory
Pages 87-98
Ronald L. Greene

Multi-player alpha-beta pruning
Pages 99-111
Richard E. Korf

Probabilistic reasoning in intelligent systems: Networks of plausible inference: Judea Pearl
Pages 117-124
Stig Kjær Andersen

Intelligent tutoring systems: Lessons learned: J. Psotka, L.D. Massey and S.A. Mutter, eds.
Pages 125-134
W.Lewis Johnson

Volume 48, Issue 2, Pages 143-259 (March 1991)

Constraint relaxation may be perfect
Pages 143-170
Ugo Montanari, Francesca Rossi

On the justification of Dempster's rule of combination
Pages 171-197
Frans Voorbraak

Floating conclusions and zombie paths: Two deep difficulties in the “directly skeptical” approach to defeasible inheritance nets
Pages 199-209
David Makinson, Karl Schlechta

Extended causal theories
Pages 211-224
John Bell

Notes on “a clash of intuitions”
Pages 225-240
Eric Neufeld

Volume 48, Issue 3, Pages 261-402 (April 1991)

Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation services
Pages 261-297
Jon Doyle, Ramesh S. Patil

Fusion and propagation with multiple observations in belief networks
Pages 299-318
Mark A. Peot, Ross D. Shachter

Four reviews of The Society of Mind and a response
Pages 319-320
Mark J. Stefik, Stephen Smoliar

A society of ideas on cognition: Review of Marvin Minsky's The Society of MindReview Article
Pages 321-334
Michael G. Dyer

The society of mind: Marvin MinskyReview Article
Pages 335-339
Matthew Ginsberg

The society of mind: Marvin MinskyReview Article
Pages 341-348
George N. Reeke Jr

The society of mind: Marvin MinskyReview Article
Pages 349-370
Stephen W. Smoliar

Society of mind: A response to four reviews
Pages 371-396
Marvin Minsky

Volume 49, Issues 1–3, Pages 1-398 (May 1991)

Nonmonotonic reasoning in the framework of situation calculus
Pages 5-23
Andrew B. Baker

The computational complexity of abduction
Pages 25-60
Tom Bylander, Dean Allemang, Michael C. Tanner, John R. Josephson

Temporal constraint networks
Pages 61-95
Rina Dechter, Itay Meiri, Judea Pearl

Impediments to universal preference-based default theories
Pages 97-128
Jon Doyle, Michael P. Wellman

Embedding decision-analytic control in a learning architecture
Pages 129-159
Oren Etzioni

The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
Pages 161-198
Alan M. Frisch

Existence assumptions in knowledge representation
Pages 199-242
Graeme Hirst

Hard problems for simple default logics
Pages 243-279
Henry A. Kautz, Bart Selman

The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning
Pages 281-307
David Poole

Three-valued nonmonotonic formalisms and semantics of logic programs
Pages 309-343
Teodor Przymusinski

On the applicability of nonmonotonic logic to formal reasoning in continuous time
Pages 345-360
Manny Rayner

Principles of metareasoning
Pages 361-395
Stuart Russell, Eric Wefald

Volume 50, Issue 1, Pages 1-140 (June 1991)

Learning structures of visual patterns from single instances
Pages 1-36
Yoshinori Suganuma

Incremental interpretation
Pages 37-82
Fernando C.N. Pereira, Martha E. Pollack

Initialization for the method of conditioning in Bayesian belief networks
Pages 83-94
H.Jacques Suermondt, Gregory F. Cooper

Finding optimal derivation strategies in redundant knowledge bases
Pages 95-115
Russell Greiner

Learning search control knowledge: An explanation-based approach: Steve Minton
Pages 117-127
Gerald F. DeJong, Jonathan Gratch

Letters to the editor
Page 129
Daniel G. Bobrow

Compulsory reduction in linear derivation systems
Pages 131-132
Geoff Sutcliffe

Volume 50, Issue 2, Pages 141-288 (July 1991)

Reduction rules for resolution-based systems
Pages 141-181
Norbert Eisinger, Hans Jürgen Ohlbach, Axel Präcklein

Cumulative default logic: In defense of nonmonotonic inference rules
Pages 183-205
Gerhard Brewka

Reducing reexpansions in iterative-deepening search by controlling cutoff bounds
Pages 207-221
U.K. Sarkar, P.P. Chakrabarti, S. Ghose, S.C. De Sarkar

Epistemic entrenchment and possibilistic logic
Pages 223-239
Didier Dubois, Henri Prade

The invention of memory: A new view of the brain: Israel Rosenfield
Pages 241-284
William J. Clancey

Volume 50, Issue 3, Pages 289-404 (August 1991)

A general framework for reason maintenance
Pages 289-329
Drew McDermott

Maintaining mental models of agents who have existential misconceptions
Pages 331-383
Anthony S. Maida

Generalizing the notion of schema in genetic algorithms
Pages 385-396
Michael D. Vose

Volume 51, Issues 1–3, Pages 1-473 (October 1991)

Qualitative reasoning about physical systems: A return to roots
Pages 1-9
Brian C. Williams, Johan de Kleer
Order of magnitude reasoning
Pages 11-38
Olivier Raiman

A theory of interactions: unifying qualitative and quantitative algebraic reasoning
Pages 39-94
Brian C. Williams

Cmpositional modeling: finding the right model for the job
Pages 95-143
Brian Falkenhainer, Kenneth D. Forbus

Graphs of models
Pages 145-177
Sanjaya Addanki, Roberto Cremonini, J.Scott Penberthy

Understanding complex dynamics by visual and symbolic reasoning
Pages 179-221
Kenneth Man-Kam Yip

Modeling digital circuits for troubleshooting
Pages 223-271
Walter C. Hamscher

Dynamic across-time measurement interpretation
Pages 273-341
Dennis DeCoste

Higher-order derivative constraints in qualitative simulation
Pages 343-379
Benjamin J. Kuipers, Charles Chiu, David T.Dalle Molle, D.R. Throop

Computational kinematics
Pages 381-416
Leo Joskowicz, Elisha P. Sacks

Qualitative spatial reasoning: The CLOCK project
Pages 417-471
Kenneth D. Forbus, Paul Nielsen, Boi Faltings

Volume 52, Issue 1, Pages 1-120 (November 1991)

Robot motion planning with uncertainty in control and sensing
Pages 1-47
Jean-Claude Latombe, Anthony Lazanas, Shashank Shekhar

O-Plan: The open planning architecture
Pages 49-86
Ken Currie, Austin Tate

A non-reified temporal logic
Pages 87-108
Fahiem Bacchus, Josh Tenenberg, Johannes A. Koomen

Data compression using an intelligent generator: The storage of chess games as an example
Pages 109-113
Ingo Althöfer

Volume 52, Issue 2, Pages 121-220 (December 1991)

On the consistency of defeasible databases
Pages 121-149
Moisés Goldszmidt, Judea Pearl

The description identification problem
Pages 151-167
Chris Mellish

Conceptual inductive learning: The case of unreliable teachers
Pages 169-182
Miroslav Kubat

A game tree with distinct leaf values which is easy for the alpha-beta algorithm
Pages 183-190
Ingo Althöfer, Bernhard Balkenhol

Rationality, transitivity, and contraposition
Pages 191-203
Michael Freund, Daniel Lehmann, Paul Morris

The ecology of computation: B.A. Huberman, ed.
Pages 205-218
Michael P. Wellman

Volume 52, Issue 3, Pages 221-360 (December 1991)

Nonmonotonicity and the scope of reasoning
Pages 221-261
David W. Etherington, Sarit Kraus, Donald Perlis

Propositional knowledge base revision and minimal change
Pages 263-294
Hirofumi Katsuno, Alberto O. Mendelzon

The remembered present: A biological theory of consciousness: Gerald M. Edelman
Pages 295-318
Stephen W. Smoliar

Foundations of cognitive science: Michael I. Posner, ed.
Pages 319-328
Alistair J. Bray, Lynne J. Cahill, John P. Rae

Mind Bugs: The origins of procedural misconceptions: Kurt VanLehn
Pages 329-340
Peter Pirolli

Volume 53, Issue 1, Pages 1-123 (January 1992)

Model construction operators
Pages 1-115
William J. Clancey

Volume 53, Issues 2–3, Pages 125-370 (February 1992)

A mathematical treatment of defeasible reasoning and its implementation
Pages 125-157
Guillermo R. Simari, Ronald P. Loui

The roles of associational and causal reasoning in problem solving
Pages 159-207
Reid G. Simmons

Conditional entailment: Bridging two approaches to default reasoning
Pages 209-244
Hector Geffner, Judea Pearl

Bayesian updating: On the interpretation of exhaustive and mutually exclusive assumptions
Pages 245-254
F.C. Lam, W.K. Yeap

Abduction versus closure in causal theories
Pages 255-272
Kurt Konolige

A world championship caliber checkers program
Pages 273-289
Jonathan Schaeffer, Joseph Culberson, Norman Treloar, Brent Knight, Paul Lu, Duane Szafron

Belief updating from integrity constraints and queries
Pages 291-307
Luc De Raedt, Maurice Bruynooghe

The complexity of existential quantification in concept languages
Pages 309-327
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Bernhard Hollunder, Werner Nutt, Alberto Marchetti Spaccamela

Arc consistency for factorable relations
Pages 329-342
Mark Perlin

Apprentices of wonder: Inside the neural network revolution: William F. Allman
Pages 343-344
Barry Kort

Proceedings of the 1988 connectionist models summer school: David Touretzky, Geoffrey Hinton and Terrence Sejnowski, eds.
Pages 345-353
Nigel Goddard

Neurocomputing: Foundations of research: James A. Anderson and Edward Rosenfeld, eds.
Pages 355-359
Mark Jurik

Volume 54, Issues 1–2, Pages 1-248 (March 1992)

Bayesian diagnosis in expert systems
Pages 1-32
Gernot D. Kleiter

Reconstructive expert system explanation
Pages 33-70
Michael R. Wick, William B. Thompson

Putting knowledge into a visual shape representation
Pages 71-119
Eric Saund

Automated design of specialized representations
Pages 121-198
Jeffrey Van Baalen

Temporal reasoning based on semi-intervals
Pages 199-227
Christian Freksa

The cognitive structure of emotions: Andrew Ortony, Gerald L. Clore and Allan Collins
Pages 229-240
Michael A. Arbib

Volume 54, Issue 3, Pages 249-417 (April 1992)

Match algorithms for generalized Rete networks
Pages 249-274
Ho Soo Lee, Marshall I. Schor

Two views of belief: belief as generalized probability and belief as evidence
Pages 275-317
Joseph Y. Halpern, Ronald Fagin

A guide to completeness and complexity for modal logics of knowledge and belief
Pages 319-379
Joseph Y. Halpern, Yoram Moses

Abstract minimality and circumscription
Pages 381-396
Churn Jung Liau, Bertrand I-peng Lin

An efficient method for eliminating varying predicates from a circumscription
Pages 397-410
Marco Cadoli, Thomas Eiter, Georg Gottlob

Volume 55, Issue 1, Pages 1-147 (May 1992)

What does a conditional knowledge base entail?
Pages 1-60
Daniel Lehmann, Menachem Magidor

Mathematical problems arising in qualitative simulation of a differential equation
Pages 61-86
Olivier Dordan

From local to global consistency
Pages 87-107
Rina Dechter

A semantic backward chaining proof system
Pages 109-128
Xumin Nie, David A. Plaisted

A new result on the complexity of heuristic estimates for the A★ algorithm
Pages 129-143
Othar Hansson, Andrew Mayer, Marco Valtorta

Volume 55, Issues 2–3, Pages 149-387 (June 1992)

An order-sorted logic for knowledge representation systems
Pages 149-191
C. Beierle, U. Hedtstück, U. Pletat, P.H. Schmitt, J. Siekmann

A validation-structure-based theory of plan modification and reuse
Pages 193-258
Subbarao Kambhampati, James A. Hendler

Resolving ambiguity in nonmonotonic inheritance hierarchies
Pages 259-310
Lynn Andrea Stein

Automatic programming of behavior-based robots using reinforcement learning
Pages 311-365
Sridhar Mahadevan, Jonathan Connell

Iterative broadening
Pages 367-383
Matthew L. Ginsberg, William D. Harvey

Volume 56, Issue 1, Pages 1-137 (July 1992)

Natural language syntax and first-order inference
Pages 1-20
David A. McAllester, Robert Givan

Cooperation under uncertainty in distributed expert systems
Pages 21-69
Chengqi Zhang

Connectionist learning of belief networks
Pages 71-113
Radford M. Neal

Use of the Gibbs sampler in expert systems
Pages 115-130
Jeremy York

Volume 56, Issues 2–3, Pages 139-403 (August 1992)

A symbolic approach to qualitative kinematics
Pages 139-170
Boi Faltings

Qualitative superposition
Pages 171-196
Enrico W. Coiera

Characterizing diagnoses and systems
Pages 197-222
Johan de Kleer, Alan K. Mackworth, Raymond Reiter

On the complexity of blocks-world planning
Pages 223-254
Naresh Gupta, Dana S. Nau

Reasoning about model accuracy
Pages 255-300
Daniel S. Weld

Linear resolution for consequence finding
Pages 301-353
Katsumi Inoue

The emperor's real mind: Review of Roger Penrose's the emperor's new mind: Concerning computers, minds and the laws of physics
Pages 355-396
Aaron Sloman

Use of the Gibbs sampler in expert systems
Pages 397-398
Jeremy York

Volume 57, Issue 1, Pages 1-141 (September 1992)

How to reason defeasibly
Pages 1-42
John L. Pollock

The uses of plans
Pages 43-68
Martha E. Pollack

A logic for reasoning with inconsistent knowledge
Pages 69-103
Nico Roos

Effective solution of qualitative interval constraint problems
Pages 105-124
Peter B. Ladkin, Alexander Reinefeld

Proving unsatisfiability for problems with constant cubic sparsity
Pages 125-137
Philip C. Jackson Jr

Volume 57, Issues 2–3, Pages 143-399 (October 1992)

Theory and algorithms for plan merging
Pages 143-181
David E. Foulser, Ming Li, Qiang Yang

A parallel approach to syntax for generation
Pages 183-225
Nigel Ward

On the complexity of propositional knowledge base revision, updates, and counterfactuals
Pages 227-270
Thomas Eiter, Georg Gottlob

A logic of knowledge and justified assumptions
Pages 271-289
Fangzhen Lin, Yoav Shoham

A generic arc-consistency algorithm and its specializations
Pages 291-321
Pascal Van Hentenryck, Yves Deville, Choh-Man Teng

A theory of abstraction
Pages 323-389
Fausto Giunchiglia, Toby Walsh

Volume 58, Issues 1–3, Pages 1-398 (December 1992)

The logic of constraint satisfaction
Pages 3-20
Alan K. Mackworth

Partial constraint satisfaction
Pages 21-70
Eugene C. Freuder, Richard J. Wallace

Constraint reasoning based on interval arithmetic: the tolerance propagation approach
Pages 71-112
Eero Hyvönen

Constraint satisfaction using constraint logic programming
Pages 113-159
Pascal Van Hentenryck, Helmut Simonis, Mehmet Dincbas

Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems
Pages 161-205
Steven Minton, Mark D. Johnston, Andrew B. Philips, Philip Laird

Arc consistency: parallelism and domain dependence
Pages 207-235
Paul R. Cooper, Michael J. Swain

Structure identification in relational data
Pages 237-270
Rina Dechter, Judea Pearl

Learning to improve constraint-based scheduling
Pages 271-296
Monte Zweben, Eugene Davis, Brian Daun, Ellen Drascher, Michael Deale, Megan Eskey

Reasoning about qualitative temporal information
Pages 297-326
Peter van Beek

A geometric constraint engine
Pages 327-360
Glenn A. Kramer

A theory of conflict resolution in planning
Pages 361-392
Qiang Yang

Volume 59, Issues 1–2, Pages 1-462 (February 1993)

Artificial intelligence in perspective: a retrospective on fifty volumes of the Artificial Intelligence Journal
Pages 5-20
Daniel G. Bobrow
History of circumscription
Pages 23-26
John McCarthy
Autoepistemic logic revisited
Pages 27-30
Robert C. Moore

Reflections on the knowledge level
Pages 31-38
Allen Newell
Probabilistic logic revisited
Pages 39-42
Nils J. Nilsson

A method for managing evidential reasoning in a hierarchical hypothesis space: a retrospective
Pages 43-47
Jean Gordon, Edward H. Shortliffe
Belief networks revisited
Pages 49-56
Judea Pearl
The complexity of constraint satisfaction revisited
Pages 57-62
Alan K. Mackworth, Eugene C. Freuder

A perspective on assumption-based truth maintenance
Pages 63-67
Johan de Kleer
Retrospective on “Interpreting line drawings as three-dimensional surfaces”
Pages 71-80
Harry G. Barrow, J.M. Tenenbaum
“Determining optical flow”: a retrospective
Pages 81-87
Berthold K.P. Horn, B.G. Schunck
Comment on “Numerical shape from shading and occluding boundaries”
Pages 89-94
K. Ikeuchi

From a real chair to a negative chair
Pages 95-101
Takeo Kanade

A view on qualitative physics
Pages 105-114
Johan de Kleer

Qualitative process theory: twelve years after
Pages 115-123
Kenneth D. Forbus

Reasoning with qualitative models
Pages 125-132
Benjamin J. Kuipers
Qualitative simulation: then and now
Pages 133-140
Benjamin J. Kuipers

Retrospective on “Causality in device behavior”
Pages 141-146
Yumi Iwasaki, Herbert A. Simon
Retrospective on “Diagnostic reasoning based on structure and behavior”
Pages 149-157
Randall Davis
From Dart to Designworld: a chronicle of research on automated engineering in the Stanford Logic Group
Pages 159-165
Michael R. Genesereth
Categorical and probabilistic reasoning in medicine revisited
Pages 167-180
Peter Szolovits, Stephen G. Pauker
Retrospective on “Production rules as a representation for a knowledge-based consultation program”
Pages 181-189
Randall Davis, Bruce G. Buchanan, Edward H. Shortliffe
Notes on “Heuristic classification”
Pages 191-196
William J. Clancey
Notes on “Epistemology of a rule-based expert system”
Pages 197-204
William J. Clancey

Prototypical knowledge for expert systems: a retrospective analysis
Pages 207-211
Jan S. Aikins

Intelligent control
Pages 213-220
Barbara Hayes-Roth

Retrospective on “The organization of expert systems, a tutorial”
Pages 221-224
Mark Stefik, Jan S. Aikins, Robert Balzer, John Benoit, Lawrence Birnbaum, Frederick Hayes-Roth, Earl D. Sacerdoti

STRIPS, a retrospective
Pages 227-232
Richard E. Fikes, Nils J. Nilsson

DENDRAL and Meta-DENDRAL: roots of knowledge systems and expert system applications
Pages 233-240
Edward A. Feigenbaum, Bruce G. Buchanan

R1 (“XCON”) at age 12: lessons from an elementary school achiever
Pages 241-247
John McDermott

Allen Newell: the entry into complex information processing
Pages 251-259
Herbert A. Simon

Eight reviews of Unified Theories of Cognition and a response
Pages 261-263
Mark J. Stefik, Stephen W. Smoliar

Unified Theories of Cognition: Allen Newell
Pages 265-283
Michael A. Arbib

Unified Theories of Cognition: Allen Newell
Pages 285-294
Daniel C. Dennett

Unified Theories of Cognition: modeling cognitive competence
Pages 295-328
Michael R. Fehling

On building integrated cognitive agents: a review of Allen Newell's Unified Theories of Cognition
Pages 329-341
Barbara Hayes-Roth

Unified theories of cognition: Allen Newell
Pages 343-354
Marvin Minsky

On wings of knowledge: a review of Allen Newell's Unified Theories of Cognition
Pages 355-369
Jordan B. Pollack

Brain or mind? a review of Allen Newell's Unified Theories of Cognition
Pages 371-373
Dale Purves

Issues for psychology, AI, and education: a review of Newell's Unified Theories of Cognition
Pages 375-388
Roger C. Schank, Menachem Y. Jona

On Unified Theories of Cognition: a response to the reviews
Pages 389-413
Paul S. Rosenbloom, John E. Laird

nterview with Allen Newell
Pages 415-449
Philip E. Agre

Volume 60, Issue 1, Pages 1-195 (March 1993)

Turing's test and conscious thought
Pages 1-22
Donald Michie

A theory of nonmonotonic inheritance based on annotated logic
Pages 23-50
Krishnaprasad Thirunarayan, Michael Kifer

Agent-oriented programming
Pages 51-92
Yoav Shoham

A structural theory of explanation-based learning
Pages 93-139
Oren Etzioni

Approximating probabilistic inference in Bayesian belief networks is NP-hard
Pages 141-153
Paul Dagum, Michael Luby

Isomorphisms of genetic algorithms
Pages 155-165
David L. Battle, Michael D. Vose

A practical guide to knowledge acquisition: A. Carlisle Scott, Jan E. Clayton and Elizabeth L. Gibson
Pages 167-170
Sandra Marcus

Emergent computation: Self-organizing, collective, and cooperative phenomena in natural and artificial computing networks: Stephanie Forrest, ed.
Pages 171-183
Peter M. Todd

Volume 60, Issue 2, Pages 197-377 (April 1993)

Depth-first heuristic search on a SIMD machine
Pages 199-242
Curt Powley, Chris Ferguson, Richard E. Korf

A SIMD approach to parallel heuristic search
Pages 243-282
Ambuj Mahanti, Charles J. Daniels

On prediction in theorist
Pages 283-292
Michael Thielscher

Circumscription: Completeness reviewed
Pages 293-301
Manfred Jaeger

Consciousness explainedReview Article
Pages 303-312
Joseph O'Rourke

The strange, familiar, and forgotten: An anatomy of consciousnessReview Article
Pages 313-356
William J. Clancey

Volume 70, Issues 1–2, Pages 1-415 (October 1994)

The refinement of probabilistic rule sets: Sociopathic interactions
Pages 1-32
David C. Wilkins, Yong Ma

Inferences in probability logic
Pages 33-52
Giangiacomo Gerla

Minimal belief and negation as failure
Pages 53-72
Vladimir Lifschitz

Exploiting the deep structure of constraint problems
Pages 73-117
Colin P. Williams, Tad Hogg

Knowledge-based artificial neural networks
Pages 119-165
Geoffrey G. Towell, Jude W. Shavlik

Alternative approaches to default logic
Pages 167-237
James P. Delgrande, Torsten Schaub, W. Ken Jackson

On the complexity of labeling perspective projections of polyhedral scenes
Pages 239-276
Pietro Parodi, Vincent Torre

Causal approximations
Pages 277-334
P.Pandurang Nayak

Easy problems are sometimes hard
Pages 335-345
Ian P. Gent, Toby Walsh

On point-based temporal disjointness
Pages 347-361
Alfonso Gerevini, Lenhart Schubert

A non-minimal but very weak axiomatization of common belief
Pages 363-374
Luc Lismont, Philippe Mongin

First-order jk-clausal theories are PAC-learnable
Pages 375-392
Luc De Raedt, Sašo Džeroski

Volume 71, Issue 1, Pages 1-212 (November 1994)

Motivated action theory: a formal theory of causal reasoning
Pages 1-42
Lynn Andrea Stein, Leora Morgenstern

Downward refinement and the efficiency of hierarchical problem solving
Pages 43-100
Fahiem Bacchus, Qiang Yang

On proving the termination of algorithms by machine
Pages 101-157
Christoph Walther

An optimal backtrack algorithm for tree-structured constraint satisfaction problems
Pages 159-181
Roberto J. Bayardo Jr, Daniel P. Miranker

On Stein's paper: resolving ambiguity in nonmonotonic inheritance hierarchies
Pages 183-193
Geneviève Simonet, Roland Ducournau

Agent searching in a tree and the optimality of iterative deepening
Pages 195-208
Pallab Dasgupta, P.P. Chakrabarti, S.C. DeSarkar

Volume 71, Issue 2, Pages 213-418 (December 1994)

Limited reasoning in first-order knowledge bases
Pages 213-255
Gerhard Lakemeyer

Knowledge caching for sensor-based systems
Pages 257-280
Yuval Roth, Ramesh Jain

Possible world semantics and autoepistemic reasoning
Pages 281-320
Liwu Li

Robot shaping: developing autonomous agents through learning
Pages 321-370
Marco Dorigo, Marco Colombetti

Geometric reasoning about mechanical assembly
Pages 371-396
Randall H. Wilson, Jean-Claude Latombe

Time-efficient state space search
Pages 397-408
Alexander Reinefeld, Peter Ridinger

Volume 72, Issues 1–2, Pages 1-365 (January 1995)  

Computational research on interaction and agency
Pages 1-52
Philip E. Agre

Sensorimotor transformations in the worlds of frogs and robots
Pages 53-79
Michael A. Arbib, Jim-Shih Liaw

Learning to act using real-time dynamic programming
Pages 81-138
Andrew G. Barto, Steven J. Bradtke, Satinder P. Singh

Learning dynamics: system identification for perceptually challenged agents
Pages 139-171
Kenneth Basye, Thomas Dean, Leslie Pack Kaelbling

A dynamical systems perspective on agent-environment interaction
Pages 173-215
Randall D. Beer

On information invariants in robotics
Pages 217-304
Bruce Randall Donald

The stabilization of environments
Pages 305-327
Kristian J. Hammond, Timothy M. Converse, Joshua W. Grass

An architecture for adaptive intelligent systems
Pages 329-365
Barbara Hayes-Roth

Volume 73, Issues 1–2, Pages 1-408 (February 1995)
Computational Research on Interaction and Agency, Part 2

Analysis of adaptation and environment
Pages 1-30
Ian Horswill

The intelligent use of space
Pages 31-68
David Kirsh

Indexical knowledge and robot action—a logical account
Pages 69-115
Yves Lespérance, Hector J. Levesque

Exploiting patterns of interaction to achieve reactive behavior
Pages 117-148
D.M. Lyons, A.J. Hendriks

A situated view of representation and control
Pages 149-173
Stanley J. Rosenschein, Leslie Pack Kaelbling

The use of dynamics in an intelligent controller for a space faring rescue robot
Pages 175-230
Marcel Schoppers

On social laws for artificial agent societies: off-line design
Pages 231-252
Yoav Shoham, Moshe Tennenholtz

Instructions, intentions and expectations
Pages 253-269
Bonnie Webber, Norman Badler, Barbara Di Eugenio, Chris Geib, Libby Levison, Michael Moore

Reinforcement learning of non-Markov decision processes
Pages 271-306
Steven D. Whitehead, Long-Ji Lin

Volume 74, Issue 1, Pages 1-205 (March 1995)

Automated reasoning about machines
Pages 1-53
Andrew Gelsey

Inductive functional programming using incremental program transformation
Pages 55-81
Roland Olsson

World modeling for the dynamic construction of real-time control plans
Pages 83-127
David J. Musliner, Edmund H. Durfee, Kang G. Shin

Horn approximations of empirical data
Pages 129-145
Henry Kautz, Michael Kearns, Bart Selman

Volume 74, Issue 2, Pages 207-402 (April 1995)

Efficient algorithms for qualitative reasoning about time
Pages 207-248
Alfonso Gerevini, Lenhart Schubert

Tractable reasoning via approximation
Pages 249-310
Marco Schaerf, Marco Cadoli

Naming and identity in epistemic logic part II: a first-order logic for naming
Pages 311-350
Adam J. Grove

Volume 75, Issue 1, Pages 1-134 (May 1995)
AI Research in Japan

Qualitative analysis of behavior of systems of piecewise linear differential equations with two state variables
Pages 3-29
Toyoaki Nishida, Shuji Doshita

MBT2: a method for combining fragments of examples in example-based translation
Pages 31-49
Satoshi Sato

Learning of modular structured networks
Pages 51-62
Masumi Ishikawa

CLIP: concept learning from inference patterns
Pages 63-92
Ken'ichi Yoshida, Hiroshi Motoda

Geometric theorem proving by integrated logical and algebraic reasoning
Pages 93-113
Takashi Matsuyama, Tomoaki Nitta

Equilibrium analysis of the distribution of information in human society
Pages 115-130
Shigeki Goto, Hisao Nojima

Volume 75, Issue 2, Pages 135-382 (June 1995)

Behaviorist intelligence and the scaling problem
Pages 135-160
John K. Tsotsos

A typed resolution principle for deduction with conditional typing theory
Pages 161-194
Tie-Cheng Wang

Controlling cooperative problem solving in industrial multi-agent systems using joint intentions
Pages 195-240
N.R. Jennings

Robust reasoning: integrating rule-based and similarity-based reasoning
Pages 241-295
Ron Sun

Multiagent negotiation under time constraints
Pages 297-345
Sarit Kraus, Jonathan Wilkenfeld, Gilad Zlotkin

Volume 76, Issues 1–2, Pages 1-530 (July 1995)
Planning and Scheduling

Planning: What it is, what it could be, an introduction to the special issue on planning and scheduling
Pages 1-16
Drew McDermott, James Hendler

Expressive equivalence of planning formalisms
Pages 17-34
Christer Bäckström

Planning under time constraints in stochastic domains
Pages 35-74
Thomas Dean, Leslie Pack Kaelbling, Jak Kirman, Ann Nicholson

Complexity, decidability and undecidability results for domain-independent planning
Pages 75-88
Kutluhan Erol, Dana S. Nau, V.S. Subrahmanian

Approximate planning
Pages 89-123
Matthew L. Ginsberg

Understanding planner behavior
Pages 125-166
Adele E. Howe, Paul R. Cohen

Planning as refinement search: a unified framework for evaluating design tradeoffs in partial-order planning
Pages 167-238
Subbarao Kambhampati, Craig A. Knoblock, Qiang Yang

An algorithm for probabilistic planning
Pages 239-286
Nicholas Kushmerick, Steve Hanks, Daniel S. Weld

Motion planning with uncertainty: a landmark approach
Pages 287-317
Anthony Lazanas, Jean-Claude Latombe

A general programming language for unified planning and control
Pages 319-375
Richard Levinson

CABINS: a framework of knowledge acquisition and iterative revision for schedule improvement and reactive repair
Pages 377-426
Kazuo Miyashita, Katia Sycara

Plan reuse versus plan generation: a theoretical and empirical analysis
Pages 427-454
Bernhard Nebel, Jana Koehler

Backtracking techniques for the job shop scheduling constraint satisfaction problem
Pages 455-480
Norman Sadeh, Katia Sycara, Yalin Xiong

A multivalued logic approach to integrating planning and control
Pages 481-526
Alessandro Saffiotti, Kurt Konolige, Enrique H. Ruspini

Volume 77, Issue 1, Pages 1-201 (August 1995)

Interpreting non-3-D line drawings
Pages 1-41
Akira Shimaya

Abduction as belief revision
Pages 43-94
Craig Boutilier, Veronica Beche

Artificial intelligence: an empirical science
Pages 95-127
Herbert A. Simon

IPUS: an architecture for the integrated processing and understanding of signals
Pages 129-171
Victor R. Lesser, S.Hamid Nawab, Frank I. Klassner

Volume 77, Issue 2, Pages 203-402 (September 1995)

Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge
Pages 203-247
Gadi Pinkas

A circumscriptive calculus of events
Pages 249-284
Murray Shanahan

A comparative study of open default theories
Pages 285-319
Michael Kaminski

On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
Pages 321-357
Phan Minh Dung

Volume 78, Issues 1–2, Pages 1-550 (October 1995)
Special Volume on Computer Vision

Estimation of optical flow based on higher-order spatiotemporal derivatives in interlaced and non-interlaced image sequences
Pages 5-43
Michael Otte, Hans-Hellmut Nagel

3-D motion estimation from motion field
Pages 45-86
Naresh C. Gupta, Laveen N. Kanal

A robust technique for matching two uncalibrated images through the recovery of the unknown epipolar geometry
Pages 87-119
Zhengyou Zhang, Rachid Deriche, Olivier Faugeras, Quang-Tuan Luong
Multilevel enhancement and detection of stereo disparity surfaces
Pages 121-145
Yibing Yang, Alan L. Yuille

Global surface reconstruction by purposive control of observer motion
Pages 147-177
Kiriakos N. Kutulakos, Charles R. Dyer

Learning to track the visual motion of contours
Pages 179-212
Andrew Blake, Michael Isard, David Reynard

Understanding positioning from multiple images
Pages 213-238
Roger Mohr, Boubakeur Boufama, Pascal Brand

3D object recognition using invariance
Pages 239-288
Andrew Zisserman, David Forsyth, Joseph Mundy, Charlie Rothwell, Jane Liu, Nic Pillow

Recognition of object classes from range data
Pages 289-326
I.D. Reid, J.M. Brady

Localization and homing using combinations of model views
Pages 327-354
Ronen Basri, Ehud Rivlin

Topological direction-giving and visual navigation in large environments
Pages 355-395
Il-Pyung Park, John R. Kender

Control of perceptual attention in robot driving
Pages 397-430
Douglas A. Reece, Steve A. Shafer

Visual surveillance in a dynamic and uncertain world
Pages 431-459
Hilary Buxton, Shaogang Gong

An active vision architecture based on iconic representations
Pages 461-505
Rajesh P.N. Rao, Dana H. Ballard

Modeling visual attention via selective tuning
Pages 507-545
John K. Tsotsos, Scan M. Culhane, Winky Yan Kei Wai, Yuzhong Lai, Neal Davis, Fernando Nuflo

Volume 79, Issue 1, Pages 1-201 (November 1995)

Pac-learning non-recursive prolog clauses
Pages 1-38
William W. Cohen

In search of a “true” logic of knowledge: the nonmonotonic perspective
Pages 39-63
Grigori Schwarz

Volume 79, Issue 2, Pages 203-402 (December 1995)

A nonstandard approach to the logical omniscience problem
Pages 203-240
Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi

Performance of linear-space search algorithms
Pages 241-292
Weixiong Zhang, Richard E. Korf

Task modeling with reusable problem-solving methods
Pages 293-326
Henrik Eriksson, Yuval Shahar, Samson W. Tu, Angel R. Puerta, Mark A. Musen

Tractable constraints on ordered domains
Pages 327-339
Peter G. Jeavons, Martin C. Cooper

The music collection
Pages 341-342
Stephen W. Smoliar

Volume 80, Issue 1, Pages 1-195 (January 1996)

The topology of boundaries
Pages 1-26
Margaret M. Fleck

Diagnosis based on explicit means-end models
Pages 29-93
Jan Eric Larsson

Volume 80, Issue 2, Pages 197-380 (February 1996)

A metatheory of a mechanized object theory
Pages 197-241
Fausto Giunchiglia, Paolo Traverso

A logic of time, chance, and action for representing plans
Pages 243-308
Peter Haddawy

Model simplification by asymptotic order of magnitude reasoning
Pages 309-348
Kenneth Man-kam Yip

On embedding default logic into Moore's autoepistemic logic
Pages 349-359
Grigori Schwarz

Volume 81, Issues 1–2, Pages 1-356 (March 1996)
Frontiers in Problem Solving: Phase Transitions and Complexity

Phase transitions and the search problem
Pages 1-15
Tad Hogg, Bernardo A. Huberman, Colin P. Williams

Generating hard satisfiability problems
Pages 17-29
Bart Selman, David G. Mitchell, Hector J. Levesque

Experimental results on the crossover point in random 3-SAT
Pages 31-57
James M. Crawford, Larry D. Auton

The satisfiability constraint gap
Pages 59-80
Ian P. Gent, Toby Walsh

An empirical study of phase transitions in binary constraint satisfaction problems
Pages 81-109
Patrick Prosser

Some pitfalls for experimenters with random SAT
Pages 111-125
David G. Mitchell, Hector J. Levesque

Refining the phase transition in combinatorial search
Pages 127-154
Tad Hogg

Locating the phase transition in binary constraint satisfaction problems
Pages 155-181
Barbara M. Smith, Martin E. Dyer

Hard random 3-SAT problems and the Davis-Putnam procedure
Pages 183-198
Jon W. Freeman

Implicates and prime implicates in Random 3-SAT
Pages 199-222
Robert Schrag, James M. Crawford

A study of complexity transitions on the asymmetric traveling salesman problem
Pages 223-239
Weixiong Zhang, Richard E. Korf

A probabilistic analysis of prepositional STRIPS planning
Pages 241-271
Tom Bylander

Critical behavior in the computational cost of satisfiability testing
Pages 273-295
Bart Selman, Scott Kirkpatrick

Epsilon-transformation: exploiting phase transitions to solve combinatorial optimization problems
Pages 297-325
Joseph C. Pemberton, Weixiong Zhang

Problem structure heuristics and scaling behavior for genetic algorithms
Pages 327-347
Scott H. Clearwater, Tad Hogg

Volume 82, Issues 1–2, Pages 1-396 (April 1996)

Structure-driven algorithms for truth maintenance
Pages 1-20
Rina Dechter, Avi Dechter

Probably approximately optimal satisficing strategies
Pages 21-44
Russell Greiner, Pekka Orponen

Knowledge representation and inference in similarity networks and Bayesian multinets
Pages 45-74
Dan Geiger, David Heckerman

ALX, an action logic for agents with bounded rationality
Pages 75-127
Zhisheng Huang, Michael Masuch, László Pólos

On the nature and role of modal truth criteria in planning
Pages 129-155
Subbarao Kambhampati, Dana S. Nau

Noise modelling and evaluating learning from examples
Pages 157-179
Ray J. Hickey

Optimal composition of real-time systems
Pages 181-213
Shlomo Zilberstein, Stuart Russell

Knowledge-level analysis of belief base operations
Pages 215-235
Sven Ove Hansson

Searching game trees under a partial order
Pages 237-257
Pallab Dasgupta, P.P. Chakrabarti, S.C. DeSarkar

Support set selection for a bductive and default reasoning
Pages 259-272
Bart Selman, Hector J. Levesque

On the hardness of approximate reasoning
Pages 273-302
Dan Roth

Stochastic modelling of Genetic Algorithms
Pages 303-330
David Reynolds, Jagannathan Gomatam

Volume 83, Issue 1, Pages 1-191 (May 1996)

Measures of uncertainty in expert systems
Pages 1-58
Peter Walley

The token reification approach to temporal reasoning
Pages 59-74
Lluís Vila, Han Reichgelt

Qualitative system identification: deriving structure from behavior
Pages 75-141
A.C.Cem Say, Selahattin Kuru

Abduction to plausible causes: an event-based model of belief update
Pages 143-166
Craig Boutilier

Optimization of Pearl's method of conditioning and greedy-like approximation algorithms for the vertex feedback set problem
Pages 167-188
Ann Becker, Dan Geiger

Volume 83, Issue 2, Pages 193-384 (June 1996) ß

Efficient compositional modeling for generating causal explanations
Pages 193-227
P.Pandurang Nayak, Leo Joskowicz

Off-line reasoning for on-line efficiency: knowledge bases
Pages 229-239
Yoram Moses, Moshe Tennenholtz

Active surface estimation: integrating coarse-to-fine image acquisition and estimation from multiple cues
Pages 241-266
Subhodev Das, Narendra Ahuja

Relation algebras of intervals
Pages 267-295
Robin Hirsch

An overview of incentive contracting
Pages 297-346
Sarit Kraus

An efficient algorithm for optimal pruning of decision trees
Pages 347-362
Hussein Almuallim

Integration of weighted knowledge bases
Pages 363-378
Jinxin Lin

Volume 84, Issues 1–2, Pages 1-361 (July 1996)

Taxonomic plan reasoning
Pages 1-35
Premkumar T. Devanbu, Diane J. Litman

EVEXED and MEET for mechanical design: testing structural decomposition and constraint propagation
Pages 37-56
L. Steinberg, N. Langrana

Qualitative probabilities for default reasoning, belief revision, and causal modeling
Pages 57-112
Moisés Goldszmidt, Judea Pearl

Default reasoning using classical logic
Pages 113-150
Rachel Ben-Eliyahu, Rina Dechter

Compromise in negotiation: exploiting worth functions over states
Pages 151-176
Gilad Zlotkin, Jeffrey S. Rosenschein

PALO: a probabilistic hill-climbing algorithm
Pages 177-208
Russell Greiner

Limited reasoning in first-order knowledge bases with full introspection
Pages 209-255
Gerhard Lakemeyer

Goal-directed diagnosis—a diagnostic reasoning framework for exploratory-corrective domains
Pages 257-297
Ron Rymon

Best-first minimax search
Pages 299-337
Richard E. Korf, David Maxwell Chickering

Automatic correlation and calibration of noisy sensor readings using elite genetic algorithms
Pages 339-354
R.R. Brooks, S.S. Iyengar, J. Chen

Volume 85, Issues 1–2, Pages 1-404 (August 1996)

A systematic methodology for cognitive modelling
Pages 3-44
R. Cooper, J. Fox, J. Farringdon, T. Shallice

Taggers for parsers
Pages 45-57
Eugene Charniak, Glenn Carroll, John Adcock, Anthony Cassandra, Yoshihiko Gotoh, Jeremy Katz, Michael Littman, John McCann

An empirical symbolic approach to natural language processing
Pages 59-99
Roberto Basili, Maria Teresa Pazienza, Paola Velardi

An empirical study of automated dictionary construction for information extraction in three domains
Pages 101-134
Ellen Riloff

Empirically designing and evaluating a new revision-based model for summary generation
Pages 135-179
Jacques Robin, Kathleen McKeown

The effect of resource limits and task complexity on collaborative planning in dialogue
Pages 181-243
Marilyn A. Walker

Evaluating evolutionary algorithms
Pages 245-276
Darrell Whitley, Soraya Rana, John Dzubera, Keith E. Mathias

Theories for mutagenicity: a study in first-order and feature-based induction
Pages 277-299
Ashwin Srinivasan, S.H. Muggleton, M.J.E. Sternberg, R.D. King

Exploratory analysis of speedup learning data using expectation maximization
Pages 301-319
Alberto Maria Segre, Geoffrey J. Gordon, Charles P. Elkan

Speeding up problem solving by abstraction: a graph oriented approach
Pages 321-361
R.C. Holte, T. Mkadmi, R.M. Zimmer, A.J. MacDonald

The sensitivity of belief networks to imprecise probabilities: an experimental investigation
Pages 363-397
Malcolm Pradhan, Max Henrion, Gregory Provan, Brendan Del Favero, Kurt Huang

Volume 86, Issue 1, Pages 1-193 (September 1996)

Variable and value ordering heuristics for the job shop scheduling constraint satisfaction problem
Pages 1-41
Norman Sadeh, Mark S. Fox

Graph search methods for non-order-preserving evaluation functions: applications to job sequencing problems
Pages 43-73
Anup K. Sen, Amitava Bagchi

A semantics for reasoning consistently in the presence of inconsistency
Pages 75-95
Jinxin Lin

B∗ probability based search
Pages 97-156
Hans J. Berliner, Chris McConnell

Volume 86, Issue 2, Pages 195-408 (October 1996)

Mechanism design for automated negotiation, and its application to task oriented domains
Pages 195-244
Gilad Zlotkin, Jeffrey S. Rosenschein

Uncovering trees in constraint networks
Pages 245-267
Itay Meiri, Rina Dechter, Judea Pearl

Collaborative plans for complex group action
Pages 269-357
Barbara J. Grosz, Sarit Kraus

Volume 87, Issues 1–2, Pages 1-395 (November 1996)

Local conditioning in Bayesian networks
Pages 1-20
F.J. Díez

Deriving consensus in multiagent systems
Pages 21-74
Eithan Ephrati, Jeffrey S. Rosenschein

From statistical knowledge bases to degrees of belief
Pages 75-143
Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller

Planning from second principles
Pages 145-186
Jana Koehler

Reasoning with models
Pages 187-213
Roni Khardon, Dan Roth

Improving accuracy by combining rule-based and case-based reasoning
Pages 215-254
Andrew R. Golding, Paul S. Rosenbloom

Best-first fixed-depth minimax algorithms
Pages 255-293
Aske Plaat, Jonathan Schaeffer, Wim Pijls, Arie de Bruin

A probabilistic framework for cooperative multi-agent distributed interpretation and optimization of communication
Pages 295-342
Y. Xiang

Combining qualitative and quantitative constraints in temporal reasoning
Pages 343-385
Itay Meiri

Artif. Intell.: Erratum to “temporal reasoning based on semi-intervals” [54 (1992) 199–227]
Page 387
Christian Freksa

Volume 88, Issues 1–2, Pages 1-382 (December 1996)

Using hidden nodes in Bayesian networks
Pages 1-38
Chee-Keong Kwoh, Duncan Fyfe Gillies

Calculating criticalities
Pages 39-67
A. Bundy, F. Giunchiglia, R. Sebastiani, T. Walsh

Probabilistic conflicts in a search algorithm for estimating posterior probabilities in Bayesian networks
Pages 69-100
David Poole

A statistical approach to adaptive problem solving
Pages 101-142
Jonathan Gratch, Gerald DeJong

Propagating imprecise probabilities in Bayesian networks
Pages 143-161
Gernot D. Kleiter

Possibilistic reasoning—a mini-survey and uniform semantics
Pages 163-193
Churn-Jung Liau, Bertrand I-Peng Lin

Cardinality restrictions on concepts
Pages 195-213
Franz Baader, Martin Buchheit, Bernhard Hollander

Is intractability of nonmonotonic reasoning a real drawback?
Pages 215-251
Marco Cadoli, Francesco M. Donini, Marco Schaerf

Failure driven dynamic search control for partial order planners: an explanation based approach
Pages 253-315
Subbarao Kambhampati, Suresh Katukam, Yong Qu

Using action-based hierarchies for real-time diagnosis
Pages 317-347
David Ash, Barbara Hayes-Roth

Volume 89, Issues 1–2, Pages 1-394 (January 1997)

On the logic of iterated belief revision
Pages 1-29
Adnan Darwiche, Judea Pearl

Solving the multiple instance problem with axis-parallel rectangles
Pages 31-71
Thomas G. Dietterich, Richard H. Lathrop, Tomás Lozano-Pérez

A cognitive architecture for artificial vision
Pages 73-111
A. Chella, M. Frixione, S. Gaglio

Sound and efficient closed-world reasoning for planning
Pages 113-148
Oren Etzioni, Keith Golden, Daniel S. Weld

Abductive consequence relations
Pages 149-171
Jorge Lobo, Carlos Uzcátegui

Permissive planning: extending classical planning to uncertain task domains
Pages 173-217
Gerald F. DeJong, Scott W. Bennett

Abstraction and approximate decision-theoretic planning
Pages 219-283
Richard Dearden, Craig Boutilier

Automatically selecting and using primary effects in planning: theory and experiments
Pages 285-315
Eugene Fink, Qiang Yang

Ramification and causality
Pages 317-364
Michael Thielscher

A theoretical evaluation of selected backtracking algorithms
Pages 365-387
Grzegorz Kondrak, Peter van Beek

Volume 90, Issues 1–2, Pages 1-364 (February 1997)
Fundamental properties of neighbourhood substitution in constraint satisfaction problems
Pages 1-24
Martin C. Cooper

Continuous case-based reasoning
Pages 25-77
A. Ram, J.C. Santamaría

A framework for knowledge-based temporal abstraction
Pages 79-133
Yuval Shahar

Computing answers with model elimination
Pages 135-176
Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg

Semantics and complexity of abduction from default theories
Pages 177-223
Thomas Eiter, Georg Gottlob, Nicola Leone

Abstract argumentation systems
Pages 225-279
Gerard A.W. Vreeswijk

Fast planning through planning graph analysis
Pages 281-300
Avrim L. Blum, Merrick L. Furst

Compiling specificity into approaches to nonmonotonic reasoning
Pages 301-348
James P. Delgrande, Torsten H. Schaub

Volume 91, Issue 1, Pages 1-175 (March 1997)
Artificial Intelligence Research in Japan

Grammatical description of behaviors of ordinary differential equations in two-dimensional phase space
Pages 3-32
Toyoaki Nishida

Causality as a key to the frame problem
Pages 33-50
Hideyuki Nakashima, Hitoshi Matsubara, Ichiro Osawa

Constraint-based design for 3D shapes
Pages 51-69
Shuichi Shimizu, Masayuki Numao

Computer-aided thinking by mapping text-objects into metric spaces
Pages 71-84
Yasuyuki Sumi, Koichi Hori, Setsuo Ohsuga

Error repair and knowledge acquisition via case-based reasoning
Pages 85-101
Takeshi Kohno, Susumu Hamada, Dai Araki, Shoichi Kojima, Toshikazu Tanaka

A new approach to quantitative and credible diagnosis for multiple faults of components and sensors
Pages 103-130
T. Washio, M. Sakuma, M. Kitamura

Networked bubble propagation: a polynomial-time hypothetical reasoning method for computing near-optimal solutions
Pages 131-154
Yukio Ohsawa, Mitsuru Ishizuka

k-Certainty Exploration Method: an action selector to identify the environment in reinforcement learning
Pages 155-171
Kazuteru Miyazaki, Masayuki Yamamura, Shigenobu Kobayashi

Volume 91, Issue 2, Pages 177-314 (April 1997)
Scientific Discovery

Scientific discovery and simplicity of method
Pages 177-181
Herbert A. Simon, Raúl E. Valdés-Pérez, Derek H. Sleeman

An interactive system for finding complementary literatures: a stimulus to scientific discovery
Pages 183-203
Don R. Swanson, Neil R. Smalheiser

Induction and the discovery of the causes of scurvy: a computational reconstruction
Pages 205-223
Vincent Corruble, Jean-Gabriel Ganascia

The computer revolution in science: steps towards the realization of computer-supported discovery environments
Pages 225-256
Hidde de Jong, Arie Rip

ReTAX: a step in the automation of taxonomic revision
Pages 257-279
Eugenio Alberdi, Derek H. Sleeman

A computational approach to George Boole's discovery of mathematical logic
Pages 281-307
Luis de Ledesma, Aurora Pérez, Daniel Borrajo, Luis M. Laita

Volume 92, Issues 1–2, Pages 1-336 (May 1997)
Defeasible inheritance on cyclic networks
Pages 1-23
Gian Aldo Antonelli

Clause trees: a tool for understanding and implementing resolution in automated reasoning
Pages 25-89
J.D. Horton, Bruce Spencer

Proving properties of continuous systems: qualitative simulation and temporal logic
Pages 91-129
Benjamin Shults, Benjamin J. Kuipers

How to progress a database
Pages 131-167
Fangzhen Lin, Ray Reiter

Map learning with uninterpreted sensors and effectors
Pages 169-227
David Pierce, Benjamin J. Kuipers

Volume 93, Issues 1–2, Pages 1-343 (June 1997)
An optimal approximation algorithm for Bayesian inference
Pages 1-27
Paul Dagum, Michael Luby

Processing disjunctions in temporal constraint networks
Pages 29-61
Eddie Schwalb, Rina Dechter

An abstract, argumentation-theoretic approach to default reasoning
Pages 63-101
A. Bondarenko, P.M. Dung, R.A. Kowalski, F. Toni

Dynamic reasoning with qualified syllogisms
Pages 103-167
Daniel G. Schwartz

Definability and commonsense reasoning
Pages 169-199
Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri

Automated modeling of complex systems to answer prediction questions
Pages 201-260
Jeff Rickel, Brace Porter

Reducing belief revision to circumscription (and vice versa)
Pages 261-296
Paolo Liberatore, Marco Schaerf

Twenty-one large tractable subclasses of Allen's algebra
Pages 297-319
Thomas Drakengren, Peter Jonsson

Constraint satisfaction problem with bilevel constraint: application to interpretation of over-segmented images
Pages 321-335
A. Deruyver, Y. Hodé

Volume 94, Issues 1–2, Pages 1-270 (July 1997)

Economic principles of multi-agent systems
Pages 1-6
Craig Boutilier, Yoav Shoham, Michael P. Wellman

The independent choice logic for modelling multiple agents under uncertainty
Pages 7-56
David Poole

Rationality and intelligence
Pages 57-77
Stuart J. Russell

Negotiation and cooperation in multi-agent environments
Pages 79-97
Sarit Kraus

Coalitions among computationally bounded agents
Pages 99-137
Tuomas W. Sandhlom, Victor R.T Lesser

On the emergence of social conventions: modeling, analysis, and simulations
Pages 139-166
Yoav Shoham, Moshe Tennenholtz

Representations and solutions for game-theoretic problems
Pages 167-215
Daphne Koller, Avi Pfeffer

Modeling agents as qualitative decision makers
Pages 217-268
Ronen I. Brafman, Moshe Tennenholtz

Volume 95, Issue 1, Pages 1-213 (August 1997)
Engineering and compiling planning domain models to promote validity and efficiency
Pages 1-65
T.L. McCluskey, J.M. Porteous

Planning control rules for reactive agents
Pages 67-113
F. Kabanza, M. Barbeau, R. St-Denis

Autoepistemic logic of knowledge and beliefs
Pages 115-154
Teodor C. Przymusinski

Determination of social laws for multi-agent mobilization
Pages 155-167
Shmuel Onn, Moshe Tennenholtz

An event driven integration reasoning scheme for handling dynamic threats in an unstructured environment
Pages 169-186
Yan Xia, S.S. Iyengar, N.E. Brener

An automatic proof of Gödel's incompleteness theorem
Pages 203-207
Kurt Ammon

Volume 95, Issue 2, Pages 215-444 (September 1997)

Qualitative and quantitative simulation: bridging the gap
Pages 215-255
Daniel Berleant, Benjamin J. Kuipers

Modeling belief in dynamic systems, part I: Foundations
Pages 257-316
Nir Friedman, Joseph Y. Halpern

Qualitative representation of positional information
Pages 317-356
Eliseo Clementini, Paolino Di Felice, Daniel Hernández

The common order-theoretic structure of version spaces and ATMSs
Pages 357-407
Carl A. Gunter, Teow-Hin Ngair, Devika Subramanian

Representing action: indeterminacy and ramifications
Pages 409-438
Enrico Giunchiglia, G.Neelakantan Kartha, Vladimir Lifschitz

Volume 96, Issue 2, Pages 303-487 (November 1997)

An extension of QSIM with qualitative curvature
Pages 303-350
Abul Hossain, Kumar S. Ray

Automated model selection for simulation based on relevance reasoning
Pages 351-394
Alon Y. Levy, Yumi Iwasaki, Richard Fikes

Tail uncertainty analysis in complex systems
Pages 395-419
Enrique Castillo, Cristina Solares, Patricia Gómez

Reasoning with minimal models: efficient algorithms and applications
Pages 421-449
Rachel Ben-Eliyahu-Zohary, Luigi Palopoli

Volume 97, Issues 1–2, Pages 1-402 (December 1997)

Axioms of causal relevance
Pages 9-43
David Galles, Judea Pearl

A logical notion of conditional independence: properties and applications
Pages 45-82
Adnan Darwiche

Speeding up inferences using relevance reasoning: a formalism and algorithms
Pages 83-136
Alon Y. Levy, Richard E. Fikes, Yehoshua Sagiv

Relevance from an epistemic perspective
Pages 137-167
Gerhard Lakemeyer

Defaults and relevance in model-based reasoning
Pages 169-193
Roni Khardon, Dan Roth

A Bayesian approach to relevance in game playing
Pages 195-242
Eric B. Baum, Warren D. Smith

Selection of relevant features and examples in machine learning
Pages 245-271
Avrim L. Blum, Pat Langley

Wrappers for feature subset selection
Pages 273-324
Ron Kohavi, George H. John

Volume 98, Issues 1–2, Pages 1-369 (January 1998)
Schema induction for logic program synthesis
Pages 1-47
Nancy Lynn Tinkham

Localized planning with action-based constraints
Pages 49-136
Amy L. Lansky

A method of spatial reasoning based on qualitative trigonometry
Pages 137-168
Jiming Liu

Characterizing the principle of minimum cross-entropy within a conditional-logical framework
Pages 169-208
Gabriele Kern-Isberner

Preferential reasoning in the perspective of Poole default logic
Pages 209-235
Michael Freund

Geometric reasoning about assembly tools
Pages 237-279
Randall H. Wilson

A unified model of qualitative belief change: a dynamical systems perspective
Pages 281-316
Craig Boutilier

On the knowledge requirements of tasks
Pages 317-349
Ronen I. Brafman, Joseph Y. Halpern, Yoav Shoham

Volume 99, Issue 1, Pages 1-186 (February 1998)

GAS, a concept on modeling species in genetic algorithms
Pages 1-19
Márk Jelasity, József Dombi

Learning metric-topological maps for indoor mobile robot navigation
Pages 21-71
Sebastian Thrun

Geometric construction by assembling solved subfigures
Pages 73-119
Jean-François Dufourd, Pascal Mathis, Pascal Schreck

Interleaving natural language parsing and generation through uniform processing
Pages 121-163
Günter Neumann

Volume 99, Issue 2, Pages 187-361 (March 1998)
Benefits of using multivalued functions for minimaxing
Pages 187-208
Anton Scheucher, Hermann Kaindl

A refined architecture for terminological systems: Terminology = Schema + Views
Pages 209-260
M. Buchheit, F.M. Donini, W. Nutt, A. Schaerf

Planning parallel actions
Pages 261-324
A.R. Lingard, E.B. Richards

Pruning algorithms for multi-model adversary search
Pages 325-355
David Carmel, Shaul Markovitch

Volume 100, Issues 1–2, Pages 1-357 (April 1998)

Interpreting a dynamic and uncertain world: task-based control
Pages 5-85
Richard J. Howarth

Search in games with incomplete information: a case study using Bridge card play
Pages 87-123
Ian Frank, David Basin

State-variable planning under structural restrictions: algorithms and complexity
Pages 125-176
Peter Jonsson, Christer Bäckström

Model-based average reward reinforcement learning
Pages 177-224
Prasad Tadepalli, DoKyeong Ok

An epistemic operator for description logics
Pages 225-274
F.M. Donini, M. Lenzerini, D. Nardi, W. Nutt, A. Schaerf

Pragmatic navigation: reactivity, heuristics, and search
Pages 275-322
Susan L. Epstein

Showing the way: a review of the second edition of Holland's adaptation in natural and artificial systems
Pages 331-338
Jim Levenick

Special issue on intelligent internet systems

Special issue on computational tradeoffs under bounded resources
Pages 341-342
Eric Horvitz, Shlomo Zilberstein

Volume 101, Issues 1–2, Pages 1-354 (May 1998)

On the relation between default and modal nonmonotonic reasoning
Pages 1-34
Alexander Bochman

Using modeling knowledge to guide design space search
Pages 35-62
Andrew Gelsey, Mark Schwabacher, Don Smith

Inductive learning of search control rules for planning
Pages 63-98
Christopher Leckie, Ingrid Zukerman

Planning and acting in partially observable stochastic domains
Pages 99-134
Leslie Pack Kaelbling, Michael L. Littman, Anthony R. Cassandra

A belief network approach to optimization and parameter estimation: application to resource and environmental management
Pages 135-163
Olli Vans

Methods for task allocation via agent coalition formation
Pages 165-200
Onn Shehory, Sarit Kraus

What robots can do: robot programs and effective achievability
Pages 201-226
Fangzhen Lin, Hector J. Levesque

Verification of knowledge bases based on containment checking
Pages 227-250
Alon Y. Levy, Marie-Christine Rousset

Volume 102, Issue 1, Pages 1-162 (June 1998)

On stable social laws and qualitative equilibria
Pages 1-20
Moshe Tennenholtz

Approximating MAPs for belief networks is NP-hard and other theorems
Pages 21-38
Ashraf M. Abdelbar, Sandra M. Hedetniemi

A spectrum of definitions for temporal model-based diagnosis
Pages 39-79
Vittorio Brusoni, Luca Console, Paolo Terenziani, Daniele Theseider Dupré

Probabilistic semantics for Delgrande's conditional logic and a counterexample to his default logic
Pages 81-95
Gerhard Schurz

The value of the four values
Pages 97-141
Ofer Arieli, Arnon Avron

A unifying approach to temporal constraint reasoning
Pages 143-155
Peter Jonsson, Christer Bäckström

Volume 102, Issue 2, Pages 163-346 (July 1998)

Value minimization in circumscription
Pages 163-186
China Baral, Alfredo Gabaldon, Alessandro Provetti

From environments to representations—a mathematical theory of artificial perceptions
Pages 187-247
Z. Arzi-Gonczarowski, D. Lehmann

Adaptation-guided retrieval: questioning the similarity assumption in reasoning
Pages 249-293
Barry Smyth, Mark T. Keane

Growing methods for constructing recursive deterministic perceptron neural networks and knowledge extraction
Pages 295-322
M. Tajine, D. Elizondo

Volume 103, Issues 1–2, Pages 1-362 (August 1998)
Artificial Intelligence 40 years later

Remote Agent: to boldly go where no AI system has gone before
Pages 5-47
Nicola Muscettola, P.Pandurang Nayak, Barney Pell, Brian C. Williams

Vehicles capable of dynamic vision: a new breed of technical beings?
Pages 49-76
Ernst D. Dickmanns

Object identification: a Bayesian analysis with application to traffic surveillance
Pages 77-93
Timothy Huang, Stuart Russell

Generating multimedia briefings: coordinating language and illustration
Pages 95-116
Kathleen R. McKeown, Steven K. Feiner, Mukesh Dalal, Shih-Fu Chang

Role of constrained computational systems in natural language processing
Pages 117-132
Aravind K. Joshi

The origins of syntax in visually grounded robotic agents
Pages 133-156
Luc Steels

Modelling social action for AI agents
Pages 157-182
Cristiano Castelfranchi

Let's plan it deductively!
Pages 183-208
W. Bibel

A gentle introduction to Numerica
Pages 209-235
Pascal Van Hentenryck

Inheritance comes of age: applying nonmonotonic techniques to problems in industry
Pages 237-271
Leora Morgenstern

Applications of the situation calculus to formalizing control and strategic information: the Prolog cut operator
Pages 273-294
Fangzhen Lin

Machine learning techniques to make computers easier to use
Pages 295-321
Hiroshi Motoda, Kenichi Yoshida

Translingual information retrieval: learning from bilingual corpora
Pages 323-345
Yiming Yang, Jaime G. Carbonell, Ralf D. Brown, Robert E. Frederking

Creativity and artificial intelligence
Pages 347-356
Margaret A. Boden

Volume 104, Issues 1–2, Pages 1-364 (September 1998)

Reaching agreements through argumentation: a logical model and implementation
Pages 1-69
Sarit Kraus, Katia Sycara, Amir Evenchik

Model-based diagnostics and probabilistic assumption-based reasoning
Pages 71-106
J. Kohlas, B. Anrig, R. Haenni, P.A. Monney

Formalizing narratives using nested circumscription
Pages 107-164
Chitta Baral, Alfredo Gabaldon, Alessandro Provetti

Combining Horn rules and description logics in CARIN
Pages 165-209
Alon Y. Levy, Marie-Christine Rousset

Generating multiple new designs from a sketch
Pages 211-264
Thomas F. Stahovich, Randall Davis, Howard Shrobe

Why Gödel's theorem cannot refute computationalism
Pages 265-286
Geoffrey LaForte, Patrick J. Hayes, Kenneth M. Ford

A probabilistic framework for memory-based reasoning
Pages 287-311
Simon Kasif, Steven Salzberg, David Waltz, John Rachlin, David W. Aha

Volume 105, Issues 1–2, Pages 1-358 (October 1998)

Concurrency and knowledge-level communication in agent languages
Pages 1-45
Mauro Gaspari

Empirically-derived estimates of the complexity of labeling line drawings of polyhedral scenes
Pages 47-75
P. Parodi, R. Lancewicki, A. Vijh, J.K. Tsotsos

Rough computational methods for information systems
Pages 77-103
J.W. Guan, D.A. Bell

On first-order conditional logics
Pages 105-137
James P. Delgrande

Detecting geometric infeasibility
Pages 139-159
Achim Schweikard, Fabian Schwarzer

On the relations between intelligent backtracking and failure-driven explanation-based learning in constraint satisfaction and planning
Pages 161-208
Subbarao Kambhampati

Multiple perspective dynamic decision making
Pages 209-261
Tze Yun Leong

Exploiting multiple goals and intentions in decision support for the management of multiple trauma: a review of the TraumAID project
Pages 263-293
Bonnie Webber, Sandra Carberry, John R. Clarke, Abigail Gertner, Terrence Harvey, Ron Rymon, Richard Washington

Analysis of notions of diagnosis
Pages 295-343
Peter J.F. Lucas

Volume 106, Issue 1, Pages 1-180 (November 1998)

Prolog technology for default reasoning: proof theory and compilation techniques
Pages 1-75
Torsten Schaub, Stefan Brüning

2U: an exact interval propagation algorithm for polytrees with binary variables
Pages 77-107
Enrico Fagiuoli, Marco Zaffalon

Uncertainty measures of rough set prediction
Pages 109-137
Ivo Düntsch, Günther Gediga

Recovery of (non)monotonic theories
Pages 139-159
Cees Witteveen, Wiebe van der Hoek

Volume 106, Issue 2, Pages 181-364 (December 1998)
A complete anytime algorithm for number partitioning
Pages 181-203
Richard E. Korf

A complete classification of tractability in Allen's algebra relative to subsets of basic relations
Pages 205-219
Thomas Drakengren, Peter Jonsson

Lexicographic priorities in default logic
Pages 221-265
Jussi Rintanen

The logical foundations of goal-regression planning in autonomous agents
Pages 267-334
John L. Pollock

Worst-case analysis of the perception and exponentiated update algorithms
Pages 335-352
Tom Bylander

Volume 107, Issue 1, Pages 1-173 (January 1999)
Portability by automatic translation: A large-scale case study
Pages 1-28
Yishai A. Feldman, Doron A. Friedman

Dynamic generation, management and resolution of interactive plots
Pages 29-62
Nikitas M. Sgouros

Reasoning about nondeterministic and concurrent actions: A process algebra approach
Pages 63-98
Xiao Jun Chen, Giuseppe De Giacomo

Fast Bayes and the dynamic junction forest
Pages 99-124
J.Q. Smith, K.N. Papamichail

Using constraint metaknowledge to reduce arc consistency computation
Pages 125-148
Christian Bessiére, Eugene C. Freuder, Jean-Charles Regin

Volume 107, Issue 2, Pages 175-361 (February 1999)

The complexity of theory revision
Pages 175-217
Russell Greiner

Expressiveness of concept expressions in first-order description logics
Pages 303-333
Natasha Kurtonina, Maarten de Rijke

Logical analysis of binary data with missing bits
Pages 219-263
Endre Boros, Toshihide Ibaraki, Kazuhisa Makino

Computing a representation of the local environment
Pages 265-301
Wai K. Yeap, Margaret E. Jefferies

Volume 108, Issues 1–2, Pages 1-357 (31 March 1999)

Functional dependencies in Horn theories
Pages 1-30
Toshihide Ibaraki, Alexander Kogan, Kazuhisa Makino

Linear-time algorithms for testing the realisability of line drawings of curved objects
Pages 31-67
Martin C. Cooper

On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
Pages 69-123
Jochen Renz, Bernhard Nebel

Explanatory update theory: Applications of counterfactual reasoning to causation
Pages 125-178
Charles L. Ortiz Jr.

Heterogeneous active agents, I: Semantics
Pages 179-255
Thomas Eiter, V.S. Subrahmanian, George Pick

Heterogeneous active agents, II: Algorithms and complexity
Pages 257-307
Thomas Eiter, V.S. Subrahmanian

A foundational theory of belief and belief change
Pages 309-352
Alexander Bochman

Volume 109, Issues 1–2, Pages 1-362 (4 June 1999)

Modal logics, description logics and arithmetic reasoning
Pages 1-31
Hans Jürgen Ohlbach, Jana Koehler

iCTRL: Intensional conformal text representation language
Pages 33-70
Gábor Rédey

A directly cautious theory of defeasible consequence for default logic via the notion of general extension
Pages 71-109
G.Aldo Antonelli

Using regression-match graphs to control search in planning
Pages 111-159
Drew McDermott

Non-uniform time sharing in the concurrent execution of constraint solving
Pages 161-185
Richard Krajčoviech, Margaréta Kotočová

Representation of propositional expert systems as partial functions
Pages 187-209
Robert M. Colomb

Learning by discovering concept hierarchies
Pages 211-242
Blaž Zupan, Marko Bohanec, Janez Demšar, Ivan Bratko

Constraint satisfaction over connected row-convex constraints
Pages 243-271
Yves Deville, Olivier Barette, Pascal Van Hentenryck

Computational complexity of relating time points with intervals
Pages 273-295
Peter Jonsson, Thomas Drakengren, Christer Bäckström

Preferred answer sets for extended logic programs
Pages 297-356
Gerhard Brewka, Thomas Eiter

Volume 110, Issue 1, Pages 1-188 (May 1999)

Emergent cooperative goal-satisfaction in large-scale automated-agent systems
Pages 1-55
Onn Shehory, Sarit Kraus, Osher Yadgar

Computing intersections of Horn theories for reasoning with models
Pages 57-101
Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino

Statics and dynamics of induced systems
Pages 103-134
Michael Freund

Diagnosis of large active systems
Pages 135-183
P. Baroni, G. Lamperti, P. Pogliano, M. Zanella

Volume 110, Issue 2, Pages 189-343 (June 1999)

RoboCup: Today and tomorrow—What we have learned
Pages 193-214
Minoru Asada, Hiroaki Kitano, Itsuki Noda, Manuela Veloso

Building agent teams using an explicit teamwork model and learning
Pages 215-239
Milind Tambe, Jafar Adibi, Yaser Al-Onaizan, Ali Erdem, Gal A. Kaminka, Stacy C. Marsella, Ion Muslea

Task decomposition, dynamic role assignment, and low-bandwidth communication for real-time strategic teamwork
Pages 241-273
Peter Stone, Manuela Veloso

Cooperative behavior acquisition for mobile robots in dynamically changing real worlds via vision-based reinforcement learning and development
Pages 275-292
Minoru Asada, Eiji Uchibe, Koh Hosoda

Cooperation without deliberation: A minimal behavior-based approach to multi-robot teams
Pages 293-320
Barry Brian Werger

Volume 111, Issues 1–2, Pages 1-346 (July 1999)
Three new publication categories for the Artificial Intelligence Journal
Pages 1-2
A.G. Cohn, Donald R. Perlis

Model-based diagnosis of hardware designs
Pages 3-39
Gerhard Friedrich, Markus Stumptner, Franz Wotawa

Algorithms for selective enumeration of prime implicants
Pages 41-72
Luigi Palopoli, Fiora Pirri, Clara Pizzuti

A commonsense language for reasoning about causation and rational action
Pages 73-130
Charles L. Ortiz Jr.

Jumping to explanations versus jumping to conclusions
Pages 131-169
Ramón Pino-Pérez, Carlos Uzcátegui

Reasoning about noisy sensors and effectors in the situation calculus
Pages 171-208
Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque

Coalition structure generation with worst case guarantees
Pages 209-238
Tuomas Sandholm, Kate Larson, Martin Andersson, Onn Shehory, Fernando Tohmé

Qualitative circuit models in failure analysis reasoning
Pages 239-276
M.H. Lee

Volume 112, Issues 1–2, Pages 1-264 (August 1999)

Introspective multistrategy learning: On the construction of learning strategies
Pages 1-55
Michael T. Cox, Ashwin Ram

Enhancing model checking in verification by AI techniques
Pages 57-104
Francesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone

Computing with default logic
Pages 105-146
Pawe Cholewiński, Victor W. Marek, Mirosaw Truszczyński, Artur Mikitiuk

Understanding mechanical motion: From images to behaviors
Pages 147-179
Tzachi Dar, Leo Joskowicz, Ehud Rivlin

Between MDPs and semi-MDPs: A framework for temporal abstraction in reinforcement learning
Pages 181-211
Richard S. Sutton, Doina Precup, Satinder Singh

Towards a characterisation of the behaviour of stochastic local search algorithms for SAT
Pages 213-232
Holger H. Hoos, Thomas Stützle

Computation of the semantics of autoepistemic belief theories
Pages 233-250
Stefan Brass, Jürgen Dix, Teodor C. Przymusinski

Volume 113, Issues 1–2, Pages 1-300 (September 1999)
A logical approach to the dynamics of commitments
Pages 1-40
J.-J.Ch. Meyer, W. van der Hoek, B. van Linder

Bucket elimination: A unifying framework for reasoning
Pages 41-85
Rina Dechter

A logic of universal causation
Pages 87-123
Hudson Turner

Learning action strategies for planning domains
Pages 125-148
Roni Khardon

Topological inference of teleology: Deriving function from structure via evidential reasoning
Pages 149-202
John Otis Everett

Lazy propagation: A junction tree inference algorithm based on lazy evaluation
Pages 203-245
Anders L. Madsen, Finn V. Jensen

Compiling defeasible inheritance networks to general logic programs
Pages 247-268
Jia-Huai You, Xianchang Wang, Li Yan Yuan

Diverse confidence levels in a probabilistic semantics for conditional logics
Pages 269-279
Paul Snow

Paul R. Cohen's Empirical Methods for Artificial Intelligence
Pages 281-284
Dennis Kibler

Paul R. Cohen's Empirical Methods for Artificial Intelligence
Pages 285-290
Ian P. Gent, Toby Walsh

Volume 114, Issues 1–2, Pages 1-354 (October 1999)

Experiences with an interactive museum tour-guide robot
Pages 3-55
Wolfram Burgard, Armin B. Cremers, Dieter Fox, Dirk Hähnel, Gerhard Lakemeyer, Dirk Schulz, Walter Steiner, Sebastian Thrun

Smart office robot collaboration based on multi-agent programming
Pages 57-94
F. Mizoguchi, H. Nishiyama, H. Ohwada, H. Hiraishi

An affective mobile robot educator with a full-time job
Pages 95-124
Illah R. Nourbakhsh, Judith Bobenage, Sebastien Grange, Ron Lutz, Roland Meyer, Alvaro Soto

A non-rigid registration algorithm for dynamic breast MR images
Pages 125-156
Paul M. Hayton, Michael Brady, Stephen M. Smith, Niall Moore

Model-based computing: Developing flexible machine control software
Pages 157-202
Markus P.J. Fromherz, Vijay A. Saraswat, Daniel G. Bobrow

“Reducing” classic to practice: Knowledge representation theory meets reality
Pages 203-237
Ronald J Brachman, Deborah L McGuinness, Peter F Patel-Schneider, Alex Borgida

Automating planning and scheduling of shuttle payload operations
Pages 239-255
S. Chien, G. Rabideau, J. Willis, T. Mann

Information retrieval and artificial intelligence
Pages 257-281
Karen Sparck Jones

Inductive Logic Programming: Issues, results and the challenge of Learning Language in Logic
Pages 283-296
Stephen Muggleton

CyclePad: An articulate virtual laboratory for engineering thermodynamics
Pages 297-347
Kenneth D. Forbus, Peter B. Whalley, John O. Everett, Leo Ureel, Mike Brokowski, Julie Baher, Sven E. Kuehne

Volume 115, Issue 1, Pages 1-142 (November 1999)
Reasoning about action in polynomial time
Pages 1-24
Thomas Drakengren, Marcus Bjäreland

The size of a revised knowledge base
Pages 25-64
Marco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf

Knowledge-based proof planning
Pages 65-105
Erica Melis, Jörg Siekmann

Propositional belief base update and minimal change
Pages 107-138
Andreas Herzig, Omar Rifi

Volume 115, Issue 2, Pages 143-294 (December 1999)

Comparative envisionment construction: A technique for the comparative analysis of dynamical systems
Pages 145-214
Hidde de Jong, Frank van Raalte

Using Grice's maxim of Quantity to select the content of plan descriptions
Pages 215-256
R.Michael Young

Compiling constraint satisfaction problems
Pages 257-287
Rainer Weigel, Boi Faltings

Volume 116, Issues 1–2, Pages AD1-AD2, 1-330 (January 2000)

Unsupervised stratification of cross-validation for accuracy estimation
Pages 1-16
N.A. Diamantidis, D. Karlis, E.A. Giakoumakis

Proving theorems by reuse
Pages 17-66
Christoph Walther, Thomas Kolbe

Think!: A unified numerical–symbolic knowledge representation scheme and reasoning system
Pages 67-85
Christian Vilhelm, Pierre Ravaux, Daniel Calvelo, Alexandre Jaborska, ... Michel Boniface

Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
Pages 87-121
Sheila A. McIlraith

Using temporal logics to express search control knowledge for planning
Pages 123-191
Fahiem Bacchus, Froduald Kabanza

On the decidability and complexity of reasoning about only knowing
Pages 193-215
Riccardo Rosati

A modal logic for subjective default reasoning
Pages 217-236
Shai Ben-David, Rachel Ben-Eliyahu-Zohary

A foundationalist view of the AGM theory of belief change
Pages 237-263
Alexander Bochman

Conformality in the self-organization network
Pages 265-286
Cheng-Yuan Liou, Wen-Pin Tai

Tractable approximations for temporal constraint handling
Pages 287-295
Robin Hirsch

On some tractable classes in deduction and abduction
Pages 297-313
Alvaro del Val

On the complexity of choosing the branching literal in DPLL
Pages 315-326
Paolo Liberatore

Volume 117, Issue 1, Pages 1-172 (February 2000)

Towards efficient universal planning: A randomized approach
Pages 1-29
Peter Jonsson, Patrik Haslum, Christer Bäckström

Dynamic problem structure analysis as a basis for constraint-directed scheduling heuristics
Pages 31-81
J.Christopher Beck, Mark S. Fox

Conditional logic and the Principle of Entropy
Pages 83-106
Wilhelm Rödder

Heterogeneous active agents, III: Polynomially implementable agents
Pages 107-167
Thomas Eiter, V.S. Subrahmanian, T.J. Rogers

Volume 118, Issues 1–2, Pages 1-300 (April 2000)

Intelligent Internet systems
Pages 1-14
Alon Y. Levy, Daniel S. Weld

Wrapper induction: Efficiency and expressiveness
Pages 15-68
Nicholas Kushmerick

Learning to construct knowledge bases from the World Wide Web
Pages 69-113
Mark Craven, Dan DiPasquo, Dayne Freitag, Andrew McCallum, ... Seán Slattery

Flexible and scalable cost-based query planning in mediators: A transformational approach
Pages 115-161
José Luis Ambite, Craig A. Knoblock

WHIRL: A word-based information representation language
Pages 163-196
William W. Cohen

BIG: An agent for resource-bounded information gathering and decision making
Pages 197-244
Victor Lesser, Bryan Horling, Frank Klassner, Anita Raja, ... Shelley XQ. Zhang

Towards adaptive Web sites: Conceptual framework and case study
Pages 245-275
Mike Perkowitz, Oren Etzioni

Viewing morphology as an inference process
Pages 277-294Robert Krovetz

Volume 119, Issues 1–2, Pages 1-304 (May 2000)

Semantical and computational aspects of Horn approximations
Pages 1-17
Marco Cadoli, Francesco Scarcello

Qualitative rigid-body mechanics
Pages 19-60
Thomas F. Stahovich, Randall Davis, Howard Shrobe

Choosing social laws for multi-agent systems: Minimality and simplicity
Pages 61-101
David Fitoussi, Moshe Tennenholtz

Semi-quantitative system identification
Pages 103-140
Herbert Kay, Bernhard Rinner, Benjamin Kuipers

The complexity of belief update
Pages 141-190
Paolo Liberatore

The Spatial Semantic Hierarchy
Pages 191-233
Benjamin Kuipers

Linear constraints for the interpretation of line drawings of curved objects
Pages 235-258
Martin C. Cooper

Note about cardinality-based circumscription
Pages 259-273
Yves Moinard

Nature's way of optimizing
Pages 275-286
Stefan Boettcher, Allon Percus

J.A. Anderson and E. Rosenfeld (Eds.), Talking Nets: An Oral History of Neural Networks
Pages 287-293
Noel E. Sharkey

Gossiping Nets
Pages 295-299
Rolf P. Würtz

Volume 120, Issue 1, Pages 1-164 (June 2000)

Abductive reasoning through filtering
Pages 1-28

Chitta Baral

Optimal auctions revisited
Pages 29-42
Dov Monderer, Moshe Tennenholtz

Bounding the cost of learned rules
Pages 43-80
Jihie Kim, Paul S. Rosenbloom

Backtracking algorithms for disjunctions of temporal constraints
Pages 81-117
Kostas Stergiou, Manolis Koubarakis

A computational model of belief
Pages 119-160
Aaron N. Kaplan, Lenhart K. Schubert

Volume 120, Issue 2, Pages 165-294 (July 2000)

Internal reinforcement in a connectionist genetic programming approach
Pages 165-198
Astro Teller, Manuela Veloso

Credal networks
Pages 199-233
Fabio G. Cozman

Computer chess move-ordering schemes using move influence
Pages 235-250
Kieran Greer

Extending abstract argumentation systems theory
Pages 251-270
A.P. Baroni, M. Giacomin, G. Guida

Volume 121, Issues 1–2, Pages 1-276 (August 2000)

Applying MDL to learn best model granularity
Pages 1-29
Qiong Gao, Ming Li, Paul Vitányi

A near-optimal polynomial time algorithm for learning in certain classes of stochastic games
Pages 31-47
Ronen I. Brafman, Moshe Tennenholtz

Stochastic dynamic programming with factored representations
Pages 49-107
Craig Boutilier, Richard Dearden, Moisés Goldszmidt

ConGolog, a concurrent programming language based on the situation calculus
Pages 109-169
Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque

A comprehensive methodology for building hybrid models of physical systems
Pages 171-209
Pieter J. Mosterman, Gautam Biswas

Constraint-directed techniques for scheduling alternative activities
Pages 211-250
J.Christopher Beck, Mark S. Fox

A glimpse at the metaphysics of Bongard problems
Pages 251-270
Alexandre Linhares

Volume 122, Issues 1–2, Pages 1-276 (September 2000)

Belief functions and default reasoning
Pages 1-69
A.S. Benferhat, A. Saffiotti, P. Smets

Bounded-parameter Markov decision processes
Pages 71-109
Robert Givan, Sonia Leach, Thomas Dean

Boolean connection algebras: A new approach to the Region-Connection Calculus
Pages 111-136
J.G. Stell

A new approach to cyclic ordering of 2D orientations using ternary relation algebras
Pages 137-187
Amar Isli, Anthony G. Cohn

Constraint propagation techniques for the disjunctive scheduling problem
Pages 189-240
Ulrich Dorndorf, Erwin Pesch, Toàn Phan-Huy

Computational complexity of planning and approximate planning in the presence of incompleteness
Pages 241-267
Chitta Baral, Vladik Kreinovich, Raúl Trejo

Volume 123, Issues 1–2, Pages 1-280 (October 2000)

A Lagrangian reconstruction of GENET
Pages 1-39
Kenneth M.F. Choi, Jimmy H.M. Lee, Peter J. Stuckey

Expressing preferences in default logic
Pages 41-87
James P. Delgrande, Torsten Schaub

Understanding dynamic scenes
Pages 89-132
A.A. Chella, M. Frixione, S. Gaglio

Decomposable constraints☆
Pages 133-156
Ian Gent, Kostas Stergiou, Toby Walsh

Feature Subset Selection by Bayesian network-based optimization
Pages 157-184
I. Inza, P. Larrañaga, R. Etxeberria, B. Sierra

Prioritized logic programming and its application to commonsense reasoning
Pages 185-222
Chiaki Sakama, Katsumi Inoue

Querying temporal and spatial constraint networks in PTIME
Pages 223-263
Manolis Koubarakis, Spiros Skiadopoulos

Volume 124, Issue 1, Pages 1-168 (November 2000)

An efficient algorithm for searching implicit AND/OR graphs with cycles
Pages 1-30
A.P. Jiménez, C. Torras

Alternative foundations for Reiter's default logic
Pages 31-86
Thomas Linke, Torsten Schaub

EXPtime tableaux for ALC
Pages 87-138
Francesco M. Donini, Fabio Massacci

Sketch-based pruning of a solution space within a formal geometric constraint solver
Pages 139-159
C. Essert-Villard, P. Schreck, J.-F. Dufourd

Volume 124, Issue 2, Pages 169-293 (December 2000)

Default reasoning from conditional knowledge bases: Complexity and tractable cases
Pages 169-241
Thomas Eiter, Thomas Lukasiewicz

A comparison of structural CSP decomposition methods
Pages 243-282
Georg Gottlob, Nicola Leone, Francesco Scarcello

The complexity of approximating MAPs for belief networks with bounded probabilities
Pages 283-288
Ashraf M. Abdelbar, Stephen T. Hedetniemi, Sandra M. Hedetniemi

Volume 125, Issues 1–2, Pages 1-251 (January 2001)

A sufficiently fast algorithm for finding close to optimal clique trees
Pages 3-17
Ann Becker, Dan Geiger

Formalizing sensing actions— A transition function based approach
Pages 19-91
Tran Cao Son, Chitta Baral

Topological parameters for time-space tradeoff
Pages 93-118
Rina Dechter, Yousri El Fattah

Blocks World revisited
Pages 119-153
John Slaney, Sylvie Thiébaux

Symbolic knowledge extraction from trained neural networks: A sound approach
Pages 155-207
A.S d'Avila Garcez, K Broda, D.M Gabbay

Robust Bayes classifiers
Pages 209-226
Marco Ramoni, Paola Sebastiani

Volume 126, Issues 1–2, Pages 1-202 (February 2001)

Computational tradeoffs under bounded resources
Pages 1-4
Eric Horvitz, Shlomo Zilberstein

Recursive conditioning
Pages 5-41
Adnan Darwiche

Algorithm portfolios
Pages 43-62
Carla P. Gomes, Bart Selman

Optimal schedules for monitoring anytime algorithms
Pages 63-108
Lev Finkelstein, Shaul Markovitch

Iterative state-space reduction for flexible computation
Pages 109-138
Weixiong Zhang

Monitoring and control of anytime algorithms: A dynamic programming approach
Pages 139-157
Eric A. Hansen, Shlomo Zilberstein

Principles and applications of continual computation
Pages 159-196
Eric Horvitz

Volume 127, Issue 1, Pages 1-168 (March 2001)

Diagnosing tree-structured systems☆
Pages 1-29
Markus Stumptner, Franz Wotawa

Topological recognition of polyhedral objects from multiple views
Pages 31-55
Aldo Laurentini

Drift analysis and average time complexity of evolutionary algorithms
Pages 57-85
Jun He, Xin Yao

Temporal agent programs
Pages 87-135
Jürgen Dix, Sarit Kraus, V.S. Subrahmanian

Min-max Computation Tree Logic
Pages 137-162
Pallab Dasgupta, P.P. Chakrabarti, Jatindra Kumar Deka, Sriram Sankaranarayanan

Volume 127, Issue 2, Pages 169-278 (April 2001)

Least third-order cumulant method with adaptive regularization parameter selection for neural networks
Pages 169-197
Chi-Tat Leung, Tommy W.S. Chow

Evaluating new options in the context of existing plans
Pages 199-220
John F. Horty, Martha E. Pollack

Local Models Semantics, or contextual reasoning=locality+compatibility☆
Pages 221-259
Chiara Ghidini, Fausto Giunchiglia

Volume 128, Issues 1–2, Pages 1-252 (May 2001)

From binary temporal relations to non-binary ones and back☆
Pages 1-29
Steffen Staab

Learning logic programs with structured background knowledge☆
Pages 31-97
Tamás Horváth, György Turán

Robust Monte Carlo localization for mobile robots
Pages 99-141
Sebastian Thrun, Dieter Fox, Wolfram Burgard, Frank Dellaert

On strongest necessary and weakest sufficient conditions☆
Pages 143-159
Fangzhen Lin

Nonmonotonic reasoning by inhibition nets☆
Pages 161-201
Hannes Leitgeb

A logic-based theory of deductive arguments☆
Pages 203-235
Philippe Besnard, Anthony Hunter

Volume 129, Issues 1–2

Planning as heuristic search
Pages 5-33
Blai Bonet, Héctor Geffner

LAO∗: A heuristic search algorithm that finds solutions with loops
Pages 35-62
Eric A. Hansen, Shlomo Zilberstein

Searching stochastically generated multi-abstraction-level design spaces
Pages 63-90
Louis Steinberg

A general scheme for automatic generation of search heuristics from specification dependencies
Pages 91-131
Kalev Kask, Rina Dechter

Exploiting symmetries within constraint satisfaction search
Pages 133-163
Pedro Meseguer, Carme Torras

Minimax real-time heuristic search
Pages 165-197
Sven Koenig

Time complexity of iterative-deepening
Pages 199-218
Richard E. Korf, Michael Reid, Stefan Edelkamp

Sokoban: Enhancing general single-agent search methods using domain knowledge
Pages 219-251
Andreas Junghanns, Jonathan Schaeffer

The PN∗-search algorithm: Application to tsume-shogiOpen archive
Pages 253-277
Masahiro Seo, Hiroyuki Iida, Jos W.H.M. Uiterwijk

Partial order bounding: A new approach to evaluation in game tree search
Pages 279-311
Martin Müller

Volume 130, Issue 1, Pages 1-124 (July 2001)

The effect of mobility on minimaxing of game trees with random leaf values
Pages 1-26
Mark Levene, Trevor I. Fenner

Database semantics for natural language
Pages 27-74
Roland Hausser

Hybrid hardware for a highly parallel search in the context of learning classifiers
Pages 75-84
M. Bode, O. Freyd, J. Fischer, F.-J. Niedernostheide, H.-J. Schulze

Least commitment in Graphplan
Pages 85-118
Michel Cayrol, Pierre Régnier, Vincent Vidal

Volume 130, Issue 2, Pages 125-250 (August 2001)

Influence-based model decomposition for reasoning about spatially distributed physical systems
Pages 125-166
Chris Bailey-Kellogg, Feng Zhao

Robust combinatorial auction protocol against false-name bids
Pages 167-181
Makoto Yokoo, Yuko Sakurai, Shigeo Matsubara

Volume 131, Issues 1–2, Pages EX1-EX2, 1-230 (September 2001)

The Qualification Problem: A solution to the problem of anomalous models
Pages 1-37
Michael Thielscher

Evaluating general purpose automated theorem proving systems
Pages 39-54
Geoff Sutcliffe, Christian Suttner

Dynamic tunneling based regularization in feedforward neural networks
Pages 55-71
Y.P. Singh, Pinaki RoyChowdhury

Planning the project management way: Efficient planning by effective integration of causal and resource reasoning in RealPlan
Pages 73-134
Biplav Srivastava, Subbarao Kambhampati, Minh B. Do

A comparison of point-based approaches to qualitative temporal reasoning
Pages 135-170
James Delgrande, Arvind Gupta, Tim Van Allen

On functional dependencies in q-Horn theories
Pages 171-18
Toshihide Ibaraki, Alexander Kogan, Kazuhisa Makino

Volume 132, Issue 1, Pages 1-120 (October 2001)

Artificial nonmonotonic neural networks
Pages 1-38
A.B. Boutsinas, M.N. Vrahatis

Computer Go: An AI oriented survey
Pages 39-103
Bruno Bouzy, Tristan Cazenave

Determining if (FC-) (conflict-directed) backjumping visits a given node is NP-hard
Pages 105-117
Bernd S.W. Schröder

Volume 132, Issue 2, Pages EX1-EX2, 121-240 (November 2001)

Local search characteristics of incomplete SAT procedures
Pages 121-150
Dale Schuurmans, Finnegan Southey

Planning as constraint satisfaction: Solving the planning graph by compiling it into CSP
Pages 151-182
Minh Binh Do, Subbarao Kambhampati

Bargaining with limited computation: Deliberation equilibrium
Pages 183-217
Kate Larson, Tuomas Sandholm

Rough approximation quality revisited
Pages 219-234
Günther Gediga, Ivo Düntsch

Volume 133, Issues 1–2, Pages 1-288 (December 2001)

On decision-theoretic foundations for defaults
Pages 1-33
Ronen I. Brafman, Nir Friedman

An argument-based approach to reasoning with specificity
Pages 35-85
Phan Minh Dung, Tran Cao Son

The problem of survival from an algorithmic point of view
Pages 87-116
J.-D. Fouks, L. Signac

Recognition of gestures in Arabic sign language using neuro-fuzzy systems
Pages 117-138
Omar Al-Jarrah, Alaa Halawani

Reasoning about nonlinear system identification
Pages 139-188
Elizabeth Bradley, Matthew Easley, Reinhard Stolle

A general formulation of conceptual spaces as a meso level representation
Pages 189-232
Janet Aisbett, Greg Gibbon

Defeasible reasoning with variable degrees of justification
Pages 233-282
John L. Pollock

Volume 134, Issues 1–2, Pages 1-318 (January 2002)

Games, computers, and artificial intelligence
Pages 1-7
Jonathan Schaeffer, H.Jaap van den Herik

Disjoint pattern database heuristics
Pages 9-22
Richard E. Korf, Ariel Felner

A probabilistic approach to solving crossword puzzles
Pages 23-55
Michael L. Littman, Greg A. Keim, Noam Shazeer

Deep Blue
Pages 57-83
Murray Campbell, A.Joseph Hoane, Feng-hsiung Hsu

Improving heuristic mini-max search by supervised learning
Pages 85-99
Michael Buro

A hierarchical approach to computer Hex
Pages 101-120
Vadim V. Anshelevich

Computer shogi
Pages 121-144
Hiroyuki Iida, Makoto Sakuta, Jeff Rollason

Computer Go
Pages 145-179
Martin Müller

Programming backgammon using self-teaching neural nets
Pages 181-199
Gerald Tesauro

The challenge of poker
Pages 201-240
Darse Billings, Aaron Davidson, Jonathan Schaeffer, Duane Szafron

World-championship-caliber Scrabble
Pages 241-275
Brian Sheppard

Games solved: Now and in the future
Pages 277-311
H.Jaap van den Herik, Jos W.H.M. Uiterwijk, Jack van Rijswijck

Volume 135, Issues 1–2, Pages EX1-EX2, 1-238 (February 2002)

Algorithm for optimal winner determination in combinatorial auctions
Pages 1-54
Tuomas Sandholm

Skepticism and floating conclusions
Pages 55-72
John F. Horty

Planning graph as the basis for deriving heuristics for plan synthesis by state space and CSP search
Pages 73-123
XuanLong Nguyen, Subbarao Kambhampati, Romeo S. Nigenda

On the relationship between model-based debugging and program slicing
Pages 125-143
Franz Wotawa

Understanding metonymies in discourse
Pages 145-198
Katja Markert, Udo Hahn

Consistency restoration and explanations in dynamic CSPs—Application to configuration
Pages 199-234
Jérôme Amilhastre, Hélène Fargier, Pierre Marquis

Volume 136, Issue 1, Pages EX1-EX2, 1-146 (March 2002)

Intelligent analysis and pattern recognition in cardiotocographic signals using a tightly coupled hybrid system
Pages 1-27
Bertha Guijarro-Berdiñas, Amparo Alonso-Betanzos, Oscar Fontenla-Romero

Global qualitative description of a class of nonlinear dynamical systems
Pages 29-59
Olivier Bernard, Jean-Luc Gouzé

Quantum logic, Hilbert space, revision theory
Pages 61-100
Kurt Engesser, Dov M. Gabbay

Multi-agent oriented constraint satisfaction
Pages 101-144
Jiming Liu, Han Jing, Y.Y. Tang

Volume 136, Issue 2, Pages 147-256 (April 2002)

Backjump-based backtracking for constraint satisfaction problems
Pages 147-188
Rina Dechter, Daniel Frost

Ordered binary decision diagrams as knowledge-bases
Pages 189-213
Takashi Horiyama, Toshihide Ibaraki

Multiagent learning using a variable learning rate
Pages 215-250
Michael Bowling, Manuela Veloso

Volume 137, Issues 1–2, Pages 1-280 (May 2002)

Combining topological and size information for spatial reasoning
Pages 1-42
Alfonso Gerevini, Jochen Renz

Learning Bayesian networks from data: An information-theory based approach
Pages 43-90
Jie Cheng, Russell Greiner, Jonathan Kelly, David Bell, Weiru Liu

Diagnosis of discrete-event systems from uncertain temporal observations
Pages 91-163
Gianfranco Lamperti, Marina Zanella

Parallel Randomized Best-First Minimax Search
Pages 165-196
Yaron Shoham, Sivan Toledo

A re-weighting strategy for improving margins
Pages 197-216
Fabio Aiolli, Alessandro Sperduti

A hybrid graphical model for rhythmic parsing
Pages 217-238
Christopher Raphael

Ensembling neural networks: Many could be better than all
Pages 239-263
Zhi-Hua Zhou, Jianxin Wu, Wei Tang

Knowledge Representation and Logic Programming
Michael Gelfond, Nicola Leone

Volume 138, Issues 1–2, Pages EX1-EX2, 1-240 (June 2002)

Logic programming and knowledge representation—The A-Prolog perspective
Pages 3-38
Michael Gelfond, Nicola Leone

Answer set programming and plan generation
Pages 39-54
Vladimir Lifschitz

Fixed-parameter complexity in AI and nonmonotonic reasoning
Pages 55-86
Georg Gottlob, Francesco Scarcello, Martha Sideri

LUPS—A language for updating logic programs
Pages 87-116
José Júlio Alferes, Luı́s Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski

Preference Logic Grammars: Fixed point semantics and application to data standardization
Pages 117-147
Baoqiu Cui, Terrance Swift

Annotated revision programs
Pages 149-180
Victor Marek, Inna Pivkina, Mirosław Truszczyński

Extending and implementing the stable model semantics
Pages 181-234
Patrik Simons, Ilkka Niemelä, Timo Soininen

Volume 139, Issue 1, Pages 1-136 (July 2002)

Yet some more complexity results for default logic
Pages 1-20
Rachel Ben-Eliyahu-Zohary

Local search with constraint propagation and conflict-based heuristics
Pages 21-45
Narendra Jussien, Olivier Lhomme

Clausal resolution in a logic of rational agency
Pages 47-89
Clare Dixon, Michael Fisher, Alexander Bolotov

Summarization beyond sentence extraction: A probabilistic approach to sentence compression
Pages 91-107
Kevin Knight, Daniel Marcu

Accelerating filtering techniques for numeric CSPs
Pages 109-132
Yahia Lebbah, Olivier Lhomme

Volume 139, Issue 2, Pages 137-274 (August 2002)

Learning cost-sensitive active classifiers
Pages 137-174
Russell Greiner, Adam J. Grove, Dan Roth

Abstracting soft constraints: Framework, properties, examples
Pages 175-211
Stefano Bistarelli, Philippe Codognet, Francesca Rossi

Narrative prose generation
Pages 213-252
Charles B. Callaway, James C. Lester

Lattice-theoretic models of conjectures, hypotheses and consequences
Pages 253-267
Mingsheng Ying, Huaiqing Wang

Volume 140, Issues 1–2

Pages EX1-EX2, 1-266 (September 2002)

Binary vs. non-binary constraints☆
Pages 1-37
Fahiem Bacchus, Xinguang Chen, Peter van Beek, Toby Walsh

On point-duration networks for temporal reasoning
Pages 39-70
I. Navarrete, A. Sattar, R. Wetprasit, R. Marin

Nagging: A scalable fault-tolerant paradigm for distributed search
Pages 71-106
Alberto Maria Segre, Sean Forman, Giovanni Resta, Andrew Wildenberg

Solving multi-granularity temporal constraint networks
Pages 107-152
Claudio Bettini, X.Sean Wang, Sushil Jajodia

Disjunctions, independence, refinements
Pages 153-173
Mathias Broxvall, Peter Jonsson, Jochen Renz

Abduction in logic programming: A new definition and an abductive procedure based on rewriting
Pages 175-205
Fangzhen Lin, Jia-Huai You

Context-specific sign-propagation in qualitative probabilistic networks
Pages 207-230
Silja Renooij, Linda C. van der Gaag, Simon Parsons

Tractable combinatorial auctions and b-matching
Pages 231-243
Moshe Tennenholtz

Volume 141, Issues 1–2, Pages 1-228 (October 2002)

Explanations, belief revision and defeasible reasoning
Pages 1-28
Marcelo A. Falappa, Gabriele Kern-Isberner, Guillermo R. Simari

Using genetic programming to learn and improve control knowledge
Pages 29-56
Ricardo Aler, Daniel Borrajo, Pedro Isasi

On the computational complexity of assumption-based argumentation for default reasoning
Pages 57-78
Yannis Dimopoulos, Bernhard Nebel, Francesca Toni

Conditional independence in propositional logic
Pages 79-121
Jérôme Lang, Paolo Liberatore, Pierre Marquis

Unifying metric approach to the triple parity
Pages 123-135
Tony Y.T. Chan

The size distribution for Markov equivalence classes of acyclic digraph models
Pages 137-155
Steven B. Gillispie, Michael D. Perlman

The consensus operator for combining beliefs
Pages 157-170
Audun Jøsang

Emergence of social conventions in complex networks
Pages 171-185
Jordi Delgado

Coherence in finite argument systems
Pages 187-203
Paul E. Dunne, T.J.M. Bench-Capon

On forward checking for non-binary constraint satisfaction
Pages 205-224
Christian Bessière, Pedro Meseguer, Eugene C. Freuder, Javier Larrosa

Volume 142, Issue 1, Pages EX1-EX2, 1-94 (November 2002)

An information-based neural approach to generic constraint satisfaction
Pages 1-17
Henrik Jönsson, Bo Söderberg

Process algebras for systems diagnosis
Pages 19-51
Luca Console, Claudia Picardi, Marina Ribaudo

Complexity results for structure-based causality
Pages 53-89

Thomas Eiter, Thomas Lukasiewicz

International Conference on MultiAgent Systems 2000
A.E. Durfee, S. Kraus, H. Nakashima and M. Tambe

Volume 142, Issue 2, Pages 95-290 (December 2002), Pages 95-97

Multiagent control of self-reconfigurable robots
Pages 99-120
Hristo Bojinov, Arancha Casal, Tad Hogg

Plan coordination by revision in collective agent based systems
Pages 121-145
Hans Tonino, André Bos, Mathijs de Weerdt, Cees Witteveen

The influence of social norms and social consciousness on intention reconciliation
Pages 147-177
Barbara J. Grosz, Sarit Kraus, David G. Sullivan, Sanmay Das

Believing others: Pros and cons
Pages 179-203
Sandip Sen

Using similarity criteria to make issue trade-offs in automated negotiations
Pages 205-237
A.P. Faratin, C. Sierra, N.R. Jennings

Surplus equivalence of leveled commitment contracts
Pages 239-264
Tuomas Sandholm, Yunhong Zhou

Defection-free exchange mechanisms based on an entry fee imposition
Pages 265-286
Shigeo Matsubara, Makoto Yokoo


Volume 143, Issue 1, Pages 1-150 (January 2003)

On the evaluation of agent behaviors
Amol Dattatraya Mali
Pages 1-17

Approximate inference in Boltzmann machines
Max Welling, Yee Whye Teh
Pages 19-50

Converting numerical classification into text classification
Sofus A. Macskassy, Haym Hirsh, Arunava Banerjee, Aynur A. Dayanik
Pages 51-77

Uniform semantic treatment of default and autoepistemic logics
Marc Denecker, Victor W. Marek, Mirosław Truszczyński
Pages 79-122

Maximum likelihood bounded tree-width Markov networks
Nathan Srebro
Pages 123-138

Three perspectives of data mining
Zhi-Hua Zhou
Pages 139-146

Volume 143, Issue 2 Pages 151-268 (February 2003)

Algorithms for propagating resource constraints in AI planning and scheduling: Existing approaches and new results
Philippe Laborie
Pages 151-188

Problem difficulty for tabu search in job-shop scheduling
Jean-Paul Watson, J.Christopher Beck, Adele E. Howe, L.Darrell Whitley
Pages 189-217

Complexity results for standard benchmark domains in planning
Malte Helmert
Pages 219-262

Volume 144, Issues 1–2 Pages 1-270 (March 2003)

Knowledge, action, and the frame problem
Richard B. Scherl, Hector J. Levesque
Pages 1-39

Lessons from a failure: Generating tailored smoking cessation letters
Ehud Reiter, Roma Robertson, Liesl M. Osman
Pages 41-58

A relevance restriction strategy for automated deduction
David A Plaisted, Adnan Yahya
Pages 59-93

Qualitative simulation of temporal concurrent processes using Time Interval
Petri Nets Vadim Bulitko, David C. Wilkins
Pages 95-124

On market-inspired approaches to propositional satisfiability
William E Walsh, Makoto Yokoo, Katsutoshi Hirayama, Michael P Wellman
Pages 125-156

A logic programming approach to knowledge-state planning, II: The DLVK system
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres
Pages 157-211

Robustness of regional matching scheme over global matching scheme
Liang Chen, Naoyuki Tokuda
Pages 213-232

Evaluating the effect of semi-normality on the expressiveness of defaults
Tomi Janhunen
Pages 233-250

Developing reproducible and comprehensible computational models
Peter C.R. Lane, Fernand Gobet
Pages 251-263

Volume 145, Issues 1–2 Pages 1-258 (April 2003)

Multiobjective heuristic state-space planning
Ioannis Refanidis, Ioannis Vlahavas
Pages 1-32

BOB: Improved winner determination in combinatorial auctions and generalizations
Tuomas Sandholm, Subhash Suri
Pages 33-58

Towards an analytic framework for analysing the computation time of evolutionary algorithms
Jun He, Xin Yao
Pages 59-97

Backjumping for Quantified Boolean Logic satisfiability
Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
Pages 99-120

Region Connection Calculus: Its models and composition table
Sanjiang Li, Mingsheng Ying
Pages 121-146

Multiple agent-based autonomy for satellite constellations
Thomas Schetter, Mark Campbell, Derek Surka
Pages 147-180

Diagram processing: Computing with diagrams
Michael Anderson, Robert McCartney
Pages 181-226

Establishing motion correspondence using extended temporal scope
C.J. Veenman, M.J.T. Reinders, E. Backer
Pages 227-243

Volume 146, Issue 1, Pages 1-128 (May 2003)

Controlling the learning process of real-time heuristic search
Masashi Shimbo, Toru Ishida
Pages 1-41

Hybrid backtracking bounded by tree-decomposition of constraint networks
Philippe Jégou, Cyril Terrioux
Pages 43-75

Object-based visual attention for computer vision
Yaoru Sun, Robert Fisher
Pages 77-123

Volume 146, Issue 2 Pages 129-236 (June 2003)

Discovering simple rules in complex data: A meta-learning algorithm and some surprising musical discoveries
Gerhard Widmer
Pages 129-148

Similarity of personal preferences: Theoretical foundations and empirical analysis
Vu Ha, Peter Haddawy
Pages 149-173

The complexity of achievement and maintenance problems in agent-based systems
Iain A. Stewart
Pages 175-191

Dynamic belief revision operators
Abhaya C. Nayak, Maurice Pagnucco, Pavlos Peppas
Pages 193-228

Volume 147, Issues 1–2, Pages 1-288 (July 2003)
Special Issue: Planning with Uncertainty and Incomplete Information
Guest Editors: C. Boutilier, T. Dean and S. Koenig

On the undecidability of probabilistic planning and related stochastic optimization problems
Omid Madani, Steve Hanks, Anne Condon
Pages 5-34

Weak, strong, and strong cyclic planning via symbolic model checking
A. Cimatti, M. Pistore, M. Roveri, P. Traverso
Pages 35-84

SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
Claudio Castellini, Enrico Giunchiglia, Armando Tacchella
Pages 85-117

Contingent planning under uncertainty via stochastic satisfiability
Stephen M. Majercik, Michael L. Littman
Pages 119-162

Equivalence notions and model minimization in Markov decision processes
Robert Givan, Thomas Dean, Matthew Greig
Pages 163-223

Solving factored MDPs using non-homogeneous partitions
Kee-Eung Kim, Thomas Dean
Pages 225-251

Performance bounds for planning in unknown terrain
Sven Koenig, Craig Tovey, Yuri Smirnov
Pages 253-279 

Volume 148, Issues 1–2, Pages 1-424 (August 2003)
Special Issue: Fuzzy Set and Possibility Theory-Based Methods in Artificial Intelligence
Guest Editors: D. Dubois and H. Prade

Fuzzy rrDFCSP and planning
Ian Miguel, Qiang Shen
Pages 11-52

A fuzzy constraint based model for bilateral, multi-issue negotiations in semi-competitive environments
Xudong Luo, Nicholas R. Jennings, Nigel Shadbolt, Ho-fung Leung, Jimmy Ho-man Lee
Pages 53-102

Fuzzy constraint networks for signal pattern recognition
P. Félix, S. Barro, R. Marín
Pages 103-140

Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—Application to 3D brain imaging
Isabelle Bloch, Thierry Géraud, Henri Maître
Pages 141-175

Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief
Daniel G. Schwartz
Pages 177-195

Testing the descriptive validity of possibility theory in human judgments of uncertainty
Eric Raufaste, Rui da Silva Neves, Claudette Mariné
Pages 197-218

Qualitative decision theory with preference relations and comparative uncertainty: An axiomatic approach
Didier Dubois, Hélène Fargier, Patrice Perny
Pages 219-260

Temporal scenario modelling and recognition based on possibilistic logic
Michel Grabisch
Pages 261-289

Logical representation and fusion of prioritized information based on guaranteed possibility measures: Application to the distance-based merging of classical bases
Salem Benferhat, Souhila Kaci
Pages 291-333

Possibilistic instance-based learning
Eyke Hüllermeier
Pages 335-383

Operations and evaluation measures for learning possibilistic graphical models
Christian Borgelt, Rudolf Kruse
Pages 385-418 

Volume 149, Issue 1, Pages 1-160 (September 2003)

Preferences and explanations Ramón
Pino-Pérez, Carlos Uzcátegui
Pages 1-30

Belief, information acquisition, and trust in multi-agent systems—A modal logic formulation
Churn-Jung Liau
Pages 31-60

Metaqueries: Semantics, complexity, and efficient algorithms
Rachel Ben-Eliyahu-Zohary, Ehud Gudes, Giovambattista Ianni
Pages 61-87

Volume 149, Issue 2, Pages 161-272 (October 2003)

Nonmonotonic inconsistency
Charles B. Cross
Pages 161-178

Point algebras for temporal reasoning: Algorithms and complexity
Mathias Broxvall, Peter Jonsson
Pages 179-220

Two party immediate response disputes: Properties and efficiency
Paul E. Dunne, T.J.M. Bench-Capon
Pages 221-250

Sound and complete qualitative simulation is impossible
A.C.Cem Say, H.Levent Akın
Pages 251-266 

Volume 150, Issues 1–2, Pages 1-346 (November 2003)
Special Issue: AI and Law
Guest Editors: E.L. Rissland, K.D. Ashley and R.P. Loui

A fruitful synergy
Edwina L. Rissland, Kevin D. Ashley, R.P. Loui
Pages 1-15

Law, learning and representation
Kevin D. Ashley, Edwina L. Rissland
Pages 17-58

A reduction-graph model of precedent in legal analysis
L.Karl Branting
Pages 59-95

A model of legal reasoning with cases incorporating theories and values
Trevor Bench-Capon, Giovanni Sartor
Pages 97-143

Extensionally defining principles and cases in ethics: An AI model
Bruce M. McLaren
Pages 145-181

Using background knowledge in case-based legal reasoning: A computational model and an intelligent learning environment
Vincent Aleven
Pages 183-237

Information extraction from case law and retrieval of prior cases
Peter Jackson, Khalid Al-Kofahi, Alex Tyrrell, Arun Vachher
Pages 239-290

Artificial argument assistants for defeasible argumentation
Bart Verheij
Pages 291-324

Volume 151, Issues 1–2, Pages 1-252 (December 2003)

A consistency-based approach for belief change
James P Delgrande, Torsten Schaub
Pages 1-41

Efficient solution techniques for disjunctive temporal reasoning problems
Ioannis Tsamardinos, Martha E Pollack
Pages 43-89

Reconstructing force-dynamic models from video sequences
Jeffrey Mark Siskind
Pages 91-154

Consistency-based search in feature selection
Manoranjan Dash, Huan Liu
Pages 155-176

Enhancing disjunctive logic programming systems by SAT checkers
Christoph Koch, Nicola Leone, Gerald Pfeifer
Pages 177-212

Complexity of probabilistic reasoning in directed-path singly-connected Bayes networks
Solomon E Shimony, Carmel Domshlak
Pages 213-225