AAAI 1994
300 papers
A Discovery System for Trigonometric Functions
Tsuyoshi Murata, Masami Mizutani, Masamichi Shimura A Prototype Reading Coach That Listens
Jack Mostow, Steven F. Roth, Alexander G. Hauptmann, Matthew Kane A Reading Agent
Tamitha Carpenter, Richard Alterman A Reading Coach That Listens: (Edited) Video Transcript
Jack Mostow, Alexander G. Hauptmann, Steven F. Roth, Matthew Kane, Adam Swift, Lin Lawrence Chase, Bob Weide A Theory of Reading
Kenneth Moorman, Ashwin Ram Acting Optimally in Partially Observable Stochastic Domains
Anthony R. Cassandra, Leslie Pack Kaelbling, Michael L. Littman ALIVE: Artificial Life Interactive Video Environment
Pattie Maes, Trevor Darrell, Bruce Blumberg, Alex Pentland An Analysis of Forward Pruning
Stephen J. J. Smith, Dana S. Nau An Experiment in the Design of Software Agents
Henry A. Kautz, Bart Selman, Michael H. Coen, Steven P. Ketchpel, Chris Ramming An Operational Semantics for Knowledge Bases
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi Automatic Depiction of Spatial Descriptions
Patrick Olivier, Toshiyuki Maeda, Jun'ichi Tsujii Automatic Symbolic Traffic Scene Analysis Using Belief Networks
Timothy Huang, Daphne Koller, Jitendra Malik, Gary H. Ogasawara, Bobby S. Rao, Stuart Russell, Joseph Weber Avoiding Tests for Subsumption
Anavai Ramesh, Neil V. Murray Best-First Minimax Search: Othello Results
Richard E. Korf, David Maxwell Chickering Collaborative Interface Agents
Yezdi Lashkari, Max Metral, Pattie Maes Comparative Simulation
Michael Neitzke, Bernd Neumann Dead-End Driven Learning
Daniel Frost, Rina Dechter Exploiting Meta-Level Information in a Distributed Scheduling System
Daniel E. Neiman, David W. Hildum, Victor R. Lesser, Tuomas Sandholm Formalizing Ontological Commitment
Nicola Guarino, Massimiliano Carrara, Pierdaniele Giaretta Forming Beliefs About a Changing World
Fahiem Bacchus, Adam J. Grove, Joseph Y. Halpern, Daphne Koller Fuzzy Irrigation Decision Support System
Hong Xiang, Brahm P. Verma, Gerrit Hoogenboom GKR: A Generic Model of Knowledge Representation
Angélica de Antonio, Jesús Cardeñosa Lera, Loïc Martínez Normand Guardian: A Prototype Intelligent Agent for Intensive-Care Monitoring
Barbara Hayes-Roth, N. Serdar Uckun, Jan Eric Larsson, David M. Gaba, Juliana Barr, Jane Chien HTN Planning: Complexity and Expressivity
Kutluhan Erol, James A. Hendler, Dana S. Nau Improving Search Through Diversity
Peter Shell, Juan Antonio Hernandez Rubio, Gonzalo Quiroga Barro Incremental Recompilation of Knowledge
Goran Gogic, Christos H. Papadimitriou, Martha Sideri Just-in-Case Scheduling
Mark Drummond, John L. Bresina, Keith Swanson Learning Sorting Networks by Grammars
Thomas E. Kammeyer, Richard K. Belew Learning to Reason
Roni Khardon, Dan Roth Learning to Select Useful Landmarks
Russell Greiner, Ramana Isukapalli Machine Rhythm
David Rosenthal Memory-Bounded Bidirectional Search
Hermann Kaindl, Aliasghar Khorsand Model-Based Automated Generation of User Interfaces
Angel R. Puerta, Henrik Eriksson, John H. Gennari, Mark A. Musen Ordering Relations in Human and Machine Planning
Lee Spector, Mary Jo Rattermann, Kristen Prentice Reasoning with Models
Roni Khardon, Dan Roth Symbolic Causal Networks
Adnan Darwiche, Judea Pearl The Automated Mapping of Plans for Plan Recognition
Marcus J. Huber, Edmund H. Durfee, Michael P. Wellman The Crystallographer's Assistant
Vanathi Gopalakrishnan, Daniel N. Hennessy, Bruce G. Buchanan, Devika Subramanian Time Units and Calendars
Diana Cukierman, James P. Delgrande Towards Situated Explanation
Raja Sooriamurthi, David B. Leake Utility-Directed Planning
Mike Williamson, Steve Hanks