default search action
13th AAAI / 8th IAAI 1996: Portland, Oregon
- William J. Clancey, Daniel S. Weld:
Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, AAAI 96, IAAI 96, Portland, Oregon, USA, August 4-8, 1996, Volume 2. AAAI Press / The MIT Press 1996
AAAI 1996 Technical Papers
Mobile Robots
- Wolfram Burgard, Dieter Fox, Daniel Hennig, Timo Schmidt:
Estimating the Absolute Position of a Mobile Robot Using Position Probability Grids. 896-901 - Daniel D. Fu, Kristian J. Hammond, Michael J. Swain:
Navigation for Everyday Life. 902-908 - Robert C. Kohout, James A. Hendler, David J. Musliner:
Guaranteeing Safety in Spatially Situated Agents. 909-914 - David Kortenkamp, Eric Huber, R. Peter Bonasso:
Recognizing and Interpreting Gestures on a Mobile Robot. 915-921 - Robin R. Murphy, David Hershberger:
Classifying and Recovering from Sensing Failures in Autonomous Mobile Robots. 922-929 - Peter N. Prokopowicz, Michael J. Swain, R. James Firby, Roger E. Kahn:
GARGOYLE: An Environment for Real-Time, Context-Sensitive Active Vision. 930-937 - Christopher Rasmussen, Gregory D. Hager:
Robot Navigation Using Image Sequences. 938-943 - Sebastian Thrun, Arno Bücken:
Integrating Grid-Based and Topological Maps for Mobile Robot Navigation. 944-950
Model-Based Reasoning
Model-Based Reasoning
- Luigi Portinale:
Improving Model-Based Diagnosis through Algebraic Analysis: The Petri Net Challenge. 952-958 - Eleni Stroulia, Ashok K. Goel:
A Model-Based Approach to Blame Assignment: Revising the Reasoning Steps of Problem Solvers. 959-964 - Siddarth Subramanian, Raymond J. Mooney:
Qualitative Multiple-Fault Diagnosis of Continuous Dynamic Systems Using Behavioral Modes. 965-970 - Brian C. Williams, P. Pandurang Nayak:
A Model-Based Approach to Reactive Self-Configuring Systems. 971-978
Qualitative Physics
- Giorgio Brajnik, Daniel J. Clancy:
Trajectory Constraints in Qualitative Simulation. 979-984 - Pieter J. Mosterman, Gautam Biswas:
A Formal Hybrid Modeling Scheme for Handling Discontinuities in Physical System Models. 985-990 - Nicolas F. Rouquette:
Building Steady-State Simulators via Hierarchical Feedback Decomposition. 991-997 - Lance Tokuda:
Managing Occurrence Branching in Qualitative Simulation. 998-1003
Spatial & Functional Reasoning
- Michael Anderson, Robert McCartney:
Diagrammatic Reasoning and Cases. 1004-1009 - Luca Chittaro, Roberto Ranon:
Augmenting the Diagnostic Power of Flow-Based Approaches to Functional Reasoning. 1010-1015 - Monika Lundell:
A Qualitative Model of Physical Fields. 1016-1021 - Thomas F. Stahovich, Randall Davis, Howard E. Shrobe:
Generating Multiple New Designs From a Sketch. 1022-1029
Natural Language
Learning
- Eugene Charniak:
Tree-Bank Grammars. 1031-1036 - Steven L. Lytinen, Noriko Tomuro:
Left-Corner Unification-Based Natural Language Processing. 1037-1043 - Ellen Riloff:
Automatically Generating Extraction Patterns from Untagged Text. 1044-1049 - John M. Zelle, Raymond J. Mooney:
Learning to Parse Database Queries Using Inductive Logic Programming. 1050-1055
Semantic & Discourse
- Stephen Beale, Sergei Nirenburg, Kavi Mahesh:
HUNTER-GATHERER: Three Search Techniques Integrated for Natural Language Semantics. 1056-1061 - Richard D. Hull, Fernando Gomez:
Semantic Interpretation of Nominalizations. 1062-1068 - Daniel Marcu:
Building Up Rhetorical Structure Trees. 1069-1074 - R. Michael Young:
Using Plan Reasoning in the Generation of Plan Descriptions. 1075-1080
Perception
Perception
- Hiroshi G. Okuno, Tomohiro Nakatani, Takeshi Kawabata:
Interfacing Sound Stream Segregation to Automatic Speech Recognition - Preliminary Results on Listening to Several Sounds Simultaneously. 1082-1089 - Tamer F. Rabie, Demetri Terzopoulos:
Motion and Color Analysis for Animat Perception. 1090-1097 - Murray Shanahan:
Noise and the Common Sense Informatic Situation for a Mobile Robot. 1098-1103
Vision
- Ibrahim F. Imam, Srinivas Gutta:
A Hybrid Learning Approach for Better Recognition of Visual Objects. 1104-1109 - Jonathan D. Michel, Nagaraj Nandhakumar, Tushar Saxena, Deepak Kapur:
Using Elimination Methods to Compute Thermophysical Algebraic Invariants from Infrared Imagery. 1110-1115 - Claudio S. Pinhanez, Aaron F. Bobick:
Approximate World Models: Incorporating Qualitative and Linguistic Information into Vision Systems. 1116-1123 - Peter N. Prokopowicz, Paul R. Cooper:
Integrating Visual Information Across Camera Movements with a Visual-Motor Calibration Map. 1124-1131
Planning
Environment
- Abigail S. Gertner, Bonnie L. Webber:
A Bias towards Relevance: Recognizing Plans where Goal Minimization Fails. 1133-1138 - Hector J. Levesque:
What Is Planning in the Presence of Sensing? 1139-1146 - Louise Pryor:
Opportunity Recognition in Complex Environments. 1147-1152 - Marcel Schoppers, Richard Shu:
Generalizing Indexical-Functional Reference. 1153-1159
Handling Uncertainty
- Fahiem Bacchus, Craig Boutilier, Adam J. Grove:
Rewarding Behaviors. 1160-1167 - Craig Boutilier, David Poole:
Computing Optimal Policies for Partially Observable Decision Processes Using Compact Representations. 1168-1175 - Hector Geffner:
A Qualitative Model for Temporal Reasoning with Incomplete Information. 1176-1181 - Peter Jonsson, Christer Bäckström:
On the Size of Reactive Plans. 1182-1187
Search
- David Joslin, Martha E. Pollack:
Is "Early Commitment" in Plan Generation Ever a Good Idea? 1188-1193 - Henry A. Kautz, Bart Selman:
Pushing the Envelope: Planning, Propositional Logic and Stochastic Search. 1194-1201 - Richard E. Korf, Larry A. Taylor:
Finding Optimal Solutions to the Twenty-Four Puzzle. 1202-1207 - John K. Slaney, Sylvie Thiébaux:
Linear Time Near-Optimal Planning in the Blocks World. 1208-1214
Temporal Reasoning
- Fahiem Bacchus, Froduald Kabanza:
Planning for Temporally Extended Goals. 1215-1222 - Eithan Ephrati, Martha E. Pollack, Marina Milshtein:
A Cost-Directed Planner: Preliminary Report. 1223-1228 - Eric A. Hansen, Shlomo Zilberstein:
Monitoring the Progress of Anytime Problem-Solving. 1229-1234 - Peter Jonsson, Christer Bäckström:
A Linear-Programming Approach to Temporal Reasoning. 1235-1240
Rule-Based Reasoning & Connectionism
- Phan Minh Dung, Paolo Mancarella:
Production Systems Need Negation as Failure. 1242-1247 - Bing Liu, Joxan Jaffar:
Using Constraints to Model Disjunctions in Rule-Based Reasoning. 1248-1255 - Dan Roth:
A Connectionist Framework for Reasoning: Reasoning with Examples. 1256-1261
Uncertainty
Bayesian Networks
- Enrique F. Castillo, José Manuel Gutiérrez, Ali S. Hadi:
Goal Oriented Symbolic Propagation in Bayesian Networks. 1263-1268 - David Maxwell Chickering, Judea Pearl:
A Clinician's Tool for Analyzing Non-Compliance. 1269-1276 - Nir Friedman, Moisés Goldszmidt:
Building Classifiers Using Bayesian Networks. 1277-1284 - David V. Pynadath, Michael P. Wellman:
Generalized Queries on Probabilistic Context-Free Grammars. 1285-1290
Foundations
- Ronen I. Brafman, Moshe Tennenholtz:
On the Foundations of Qualitative Decision Theory. 1291-1296 - Nir Friedman, Joseph Y. Halpern:
Plausibility Measures and Default Reasoning. 1297-1304 - Nir Friedman, Joseph Y. Halpern, Daphne Koller:
First-Order Conditional Logic Revisited. 1305-1312 - Joseph Y. Halpern:
A Counterexample to Theorems of Cox and Fine. 1313-1319
AAAI 1996 Invited Talks
- R. Peter Bonasso, Thomas Dean:
Robots With AI: A Retrospective on the AAAI Robot Competitions and Exhibitions. 1321 - Oren Etzioni:
Moving Up the Information Food Chain: Deploying Softbots on the World Wide Web. 1322-1326 - Walter J. Freeman:
Brain Dynamics in the Genesis of Trust as the Basis for Communication by Representations. 1327-1328 - Joseph Y. Halpern:
Using Multi-Agent Systems to Represent Uncertainty. 1329-1330 - Subbarao Kambhampati:
Refinement Planning: Status and Prospectus. 1331-1336 - Michael J. Kearns:
Boosting Theory Towards Practice: Recent Developments in Decision Tree Induction and the Weak Learning Framework. 1337-1339 - Bart Selman, Rodney A. Brooks, Thomas L. Dean, Eric Horvitz, Tom M. Mitchell, Nils J. Nilsson:
Challenge Problems for Artificial Intelligence (Panel Statements). 1340-1345 - Jeffrey D. Ullman:
The Database Approach to Knowledge Represention. 1346-1348
AAAI 1996 Robot Competition & Exhibition Abstracts
- Chitta Baral, Luis Floriano, Alfredo Gabaldon, David Morales, Tran Cao Son, Richard G. Watson:
A Reactive Mobile Robot Based on a Formal Theory of Action. 1350 - Thomas Bräunl, Martin Kalbacher, Paul Levi, Günter Mamier:
CoMRoS: Cooperative Mobile Robots Stuttgart. 1351 - Andrew Dawes, Mark Bentley:
McMaster University's Artificial Computing System. 1352 - John Fischer, Paul E. Rybski, Dirk Edmonds, Maria L. Gini:
Doing Tasks with Multiple Mini-Robots. 1353 - Ricardo Gutierrez-Osuna, Daniel S. Schudel, Jason A. Janét, Ren C. Luo:
Lola, the Mobile Robot from NC State. 1354 - Robin R. Murphy:
Clementine: Colorado School of Mines - The Undergraduate Interdisciplinary Robotics Team. 1355 - Nicholas Roy, Gregory Dudek, Michael Daum:
Mobile Robot Navigation and Control: A Case Study. 1356 - Wei-Min Shen, Jafar Adibi, Bonghan Cho, Gal A. Kaminka, Jihie Kim, Behnam Salemi, Sheila Tejada:
YODA: The Young Observant Discovery Agent. 1357 - Reid G. Simmons, Sebastian Thrun, Greg Armstrong, Richard Goodwin, Karen Zita Haigh, Sven Koenig, Shyjan Mahamud, Daniel Nikovski, Joseph O'Sullivan:
Amelia. 1358
SIGART/AAAI Doctoral Consortium Abstracts
- Jody J. Daniels:
Selection of Passages for Information Reduction. 1360 - Pedro M. Domingos:
Towards a Unified Approach to Concept Learning. 1361 - Toby Donaldson:
A Computational Theory of Turn-Taking. 1362 - Claudia V. Goldman:
Learning in Multi-Agent Systems. 1363 - Jihie Kim:
Bounding the Cost of Learned Rules: A Transformational Approach. 1364 - Sven Koenig:
Agent-Centered Search: Situated Search with Small Look-Ahead. 1365 - Cathie LeBlanc:
Recurrent Expert Networks. 1366 - Chengjiang Mao:
Semi-Deterministic Reasoning. 1367 - David C. Noelle:
A Connectionist Model of Instructed Learning. 1368 - Phoebe Sengers:
Symptom Management for Schizophrenic Agents. 1369 - Richard C. Simpson, Simon P. Levine:
Adaptive Shared Control for an Intelligent Power Wheelchair. 1370 - Moninder Singh:
Induction of Selective Bayesian Networks from Data. 1371 - Brian K. Smith:
Why Dissect a Frog When You Can Simulate a Lion? 1372 - Astro Teller:
Algorithm Evolution for Signal Understanding. 1373 - Botond Virginas:
The Use of Knowledge-Based Systems Techniques for Risk Assessment. 1374
AAAI 1996 Student Abstracts
- José Luis Ambite, Craig A. Knoblock:
Efficient Planning by Graph Rewriting. 1376 - Ella M. Atkins, Edmund H. Durfee, Kang G. Shin:
Expecting the Unexpected: Detecting and Reacting to Unplanned-for World States. 1377 - Karthik Balakrishnan, Vasant G. Honavar:
Experiments in Evolutionary Synthesis of Robotic Neurocontrollers. 1378 - Justin A. Boyan:
A Reinforcement Learning Framework for Combinatorial Optimization. 1379 - Arno Bücken, Sebastian Thrun:
Learning Topological Maps: An Alternative Approach. 1380 - Allen P. Courtney, Norman Y. Foo, Grigoris Antoniou:
Computing Default Logic Extensions: An Implementation. 1381 - Diana Cukierman, James P. Delgrande:
Characterizing Temporal Repetition. 1382 - Joseph G. D'Ambrosio, William P. Birmingham:
Achieving Agent Coordination via Distributed Preferences. 1383 - Pedro M. Domingos:
Fast Discovery of Simple Rules. 1384 - Pedro M. Domingos:
Multistrategy Learning: A Case Study. 1385 - Pedro M. Domingos, Michael J. Pazzani:
Simple Bayesian Classifiers Do Not Assume Independence. 1386 - Kurt D. Fenstermacher:
CADI - An Intelligent, Multimedia Tutor for Cardiac Auscultation. 1387 - Steven P. Fonseca, Nancy E. Reed:
Integration of an Expert Teaching Assistant with Distance Learning Software. 1388 - Matthew R. Glickman, Katia P. Sycara:
Self-Adaptation of Mutation Rates and Dynamic Fitness. 1389 - Dani Goldberg:
Heterogeneous and Homogeneous Robot Group Behavior. 1390 - Vanathi Gopalakrishnan:
Inducing Design Biases that Characterize Successful Experimentation in Weak-Theory Domains: TIPS. 1391 - Nathalie Jitnah:
Belief Network Algorithms: A Study of Performance. 1392 - Micheline Kamber, Rajjan Shinghal:
Proposed Interestingness Measure for Characteristic Rules. 1393 - Jihie Kim, Paul S. Rosenbloom:
A Transformational Analysis of the EBL Utility Problem. 1394 - Chao-Lin Liu:
Controlling State-Space Abstraction in Bayesian Networks. 1395 - Gabor Melli:
Ad Hoc Attribute-Value Prediction. 1396 - Rajesh Parekh, Vasant G. Honavar:
An Incremental Interactive Algorithm for Regular Grammar Inference. 1397 - Rajesh Parekh, Jihoon Yang, Vasant G. Honavar:
Constructive Neural Network Learning Algorithms. 1398 - Sunju Park:
A Computational Model of Persistent Beliefs. 1399 - Sunju Park, Edmund H. Durfee:
Contracting Strategy Based on Markov Process Modeling. 1400 - Douglas J. Pearson:
Learning Procedural Planning Knowledge in Complex Environments. 1401 - David M. Pennock:
MarketBayes: A Distributed, Market-Based Bayesian Network. 1402 - Gaofeng Qian:
The Kritzel System for Handwriting Interpretation. 1403 - Jürgen Rahmel:
SplitNet: A Dynamic Hierarchical Network Model. 1404 - Seth Rogers:
Symbolic Performance and Learning in Continuous Environments. 1405 - Shounak Roychowdhury, Neeraj Arora, Sandip Sen:
Effects of Local Information on Group Behavior. 1406 - Mihaela Sabin, Eugene C. Freuder:
Automated Formulation of Constraint Satisfaction Problems. 1407 - Moninder Singh:
Dynamic Constraint-Based Planning in Trauma Management. 1408 - Biplav Srivastava, Subbarao Kambhampati:
Blocking as a Middle-Ground for Step-Order Commitments in Planning. 1409 - Kang Soo Tae:
Experimentation-Driven Operator Learning. 1410 - Merwyn G. Taylor:
Hybrid Knowledge- and Databases. 1411 - Sheila Tejada, Craig A. Knoblock, Steven Minton:
Learning Models for Multi-Source Integration. 1412 - Marina Umaschi:
Rabbi: Exploring the Inner World through Stories. 1413 - Michael van Lent:
Constructive Induction of Features for Planning. 1414 - José M. Vidal, Edmund H. Durfee:
Agents Modeling Agents in Information Economies. 1415 - Peter R. Wurman:
Optimal Factory Scheduling Using Stochastic Dominance A*. 1416 - Christian Zanardi:
Dynamic Map: Representation of Interactions between Robots. 1417 - Terry Zimmerman, Subbarao Kambhampati:
Neural Network Guided Search Control in Partial Order Planning. 1418
Innovative Applications of Artificial Intelligence Conference
Case Studies
- Jonathan Altfeld, Douglas E. Landon, Charles J. Daniels:
EASy: Expert Authorizations System. 1421-1432 - Emilio Bertolotti, Enrico Castaldo, Gino Giannone:
Near Optimal Objects Packing through Dimensional Unfolding. 1433-1442 - James Borron, David Morales, Philip Klahr:
Developing and Deploying Knowledge on a Global Scale. 1443-1454 - Urs Bühler, Luca Bosatta, Lawrence Poynter:
An Intelligent System for Asset and Liability Assessment. 1455-1460 - ChuXin Chen, Teresa L. Hollidge, D. D. Sharma:
Localization of Troubles in Telephone Cable Networks. 1461-1470 - Peter V. Coveney, Trevor L. Hughes, Philip Fletcher:
Using Artificial Neural Networks to Predict the Quality and Performance of Oilfield Cements. 1471-1481 - Robert Nado, Melanie Chams, Jeff Delisio, Walter Hamscher:
Comet: An Application of Model-Based Reasoning to Accounting Systems. 1482-1490 - Mark Nahabedian, Howard E. Shrobe:
Diagnosing Delivery Problems in the White House Information Distribution System. 1491-1499 - John C. Ownby:
Settlement Analysis Expert (SAX): Modeling Complex Business Logic in the Development of Enterprise Solutions. 1500-1506 - Amy Rice, Julie Hsu, Anthony Angotti, Rosanna Piccolo:
EZ Reader: Embedded AI for Automatic Electronic Mall Interpretation and Routing. 1507-1517 - John Rowe, Keith Jewers, Andrew Codd, Andrew Alcock:
Intelligent Retail Logistics Scheduling. 1518-1526 - David Silberberg, Robert Thomas:
The NASA Personnel Security Processing Expert System. 1527-1535 - Jacqueline Sobieski, Srinivas Krovvidy, Colleen McClintock, Margaret Thorpe:
KARMA: Managing Business Rules from Specification to Implementation. 1536-1547 - Rolf Struve:
The SIGNAL Expert System. 1548-1555 - Ming Tan, Carol Lafond, Gabriel Jakobson, Gary Young:
Supporting Performance and Configuration Management of GTE Cellular Networks. 1556-1563 - Andrew Taylor, Graeme Watson, Gordon Grigg, Hamish McCallum:
Monitoring Frog Communities: An Application of Machine Learning. 1564-1569 - David Williams, Bradley C. Simons, Joe Connolly:
AdjudiPro® 2.0. 1570-1578 - Ralph Worrest, Roland Zito-Wolf, Hongbin Wang, Shri K. Goyal:
SSCFI: Autonomous Fault Isolation in Communications Circuits. 1579-1587
Invited Talks
- Robert M. Abarbanel:
The BOEING 777: Concurrent Engineering and Digital Pre-Assembly (Abstract). 1589 - Usama M. Fayyad:
Data Mining and Knowledge Discovery in Databases: Applications in Astronomy and Planetary Science. 1590-1592
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.