• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 121 matches

• 1986
• 
  Yiannis Aloimonos, Isidore Rigoutsos:
  Determining the 3-D Motion of a Rigid Surface Patch Without Correspondence under Perspective Projection. AAAI 1986: 681-688
• 
  Richard Alterman:
  An Adaptive Planner. AAAI 1986: 65-69
• 
  Sergio Alvarado, Michael G. Dyer, Margot Flowers:
  Editorial Comprehension in OpEd through Argument Units. AAAI 1986: 250-256
• 
  William M. Bain:
  A Case-Based Reasoning System for Subjective Assessment. AAAI 1986: 523-527
• 
  Dana H. Ballard:
  Parallel Logical Inference and Energy Minimization. AAAI 1986: 203-209
• 
  Stephen T. Barnard:
  A Stochastic Approach to Stereo Vision. AAAI 1986: 676-680
• 
  John A. Barnden:
  A Viewpoint Distinction in the Representation of Propositional Attitudes. AAAI 1986: 411-415
• 
  Marvin Belzer:
  A Logic of Deliberation. AAAI 1986: 38-43
• 
  Subir Bhattacharya, Amitava Bagchi:
  Making Best Use of Available Memory When Searching Game Trees. AAAI 1986: 163-167
• 
  Jean-Louis Binot, Daniel Ribbens:
  Dual Frames: A New Tool for Semantic Parsing. AAAI 1986: 579-583
• 
  Gerhard Brewka:
  Tweety - Still Flying: Some Remarks on Abnormal Birds Applicable Rules and a Default Prover. AAAI 1986: 8-12
• 
  Frank Brown:
  A Comparison of the Commonsense and Fixed Point Theories of Nonmonotonicity. AAAI 1986: 394-400
• 
  Eugene Charniak:
  A Neat Theory of Marker Passing. AAAI 1986: 584-588
• 
  Patricia Cheng, Jaime G. Carbonell:
  The FERMI System: Inducing Iterative Macro-Operators from Experience. AAAI 1986: 490-495
• 
  Jens Christensen, Richard E. Korf:
  A Unified Theory of Heuristic Evaluation Functions and its Application to Learning. AAAI 1986: 148-152
• 
  Hon Wai Chun:
  A Representation for Temporal Sequence and Duration in Massively Parallel Networks. AAAI 1986: 372-376
• 
  Donald Cohen:
  Automatic Compilation of Logical Specifications into Efficient Programs. AAAI 1986: 21-25
• 
  M. J. Coombs, Roger T. Hartley:
  Debugging User Conceptions of Interpretation Processes. AAAI 1986: 303-307
• 
  Kathleen Dahlgren, Joyce P. McDowell:
  Using Commonsense Knowledge to Disambiguate Prepositional Phrase Modifiers. AAAI 1986: 589-593
• 
  Rina Dechter:
  Learning While Searching in Constraint-Satisfaction-Problems. AAAI 1986: 178-185
• 
  Richard J. Doyle:
  Constructing and Refining Causal Explanations from an Inconsistent Domain Theory. AAAI 1986: 538-544
• 
  Richard J. Doyle, David Atkinson, Rajkumar Doshi:
  Generating Perception Requests and Expectations to Verify the Execution of Plans. AAAI 1986: 81-88
• 
  Edmund H. Durfee, Victor R. Lesser:
  Incremental Planning to Control a Blackboard-based Problem Solver. AAAI 1986: 58-64
• 
  Thomas Edelson:
  Can a System Be Intelligent if It Never Gives a Damn? AAAI 1986: 298-302
• 
  Randy E. Ellis, Edward M. Riseman, Allen R. Hanson:
  Tactile Recognition by Probing: Identifying a Polygon on a Plane. AAAI 1986: 632-637
• 
  Ronald Fagin, Joseph Y. Halpern, Moshe Y. Vardi:
  What Can Machines Know? On the Epistemic Properties of Machines. AAAI 1986: 428-435
• 
  Brian Falkenhainer, Kenneth D. Forbus, Dedre Gentner:
  The Structure-Mapping Engine. AAAI 1986: 272-277
• 
  Yishai A. Feldman, Charles Rich:
  Reasoning with Simplifying Assumptions: A Methodology and Example. AAAI 1986: 2-7
• 
  Nicholas S. Flann, Thomas G. Dietterich:
  Selecting Appropriate Representations for Learning from Examples. AAAI 1986: 460-466
• 
  Kenneth D. Forbus:
  Interpreting Measurements of Physical Systems. AAAI 1986: 113-117

skipping 91 more matches