Abstract is missing.
- Fitting Models to Distributed Representations of VisionSourabh A. Niyogi. 3-9
- Natural Basis Functions and Topographic Memory for Face RecognitionRajesh P. N. Rao, Dana H. Ballard. 10-19
- Representations for Active VisionCornelia Fermüller, Yiannis Aloimonos. 20-26
- Animate Vision in a Rich EnvironmentTomas Uhlin, Jan-Olof Eklundh. 27-35
- A Qualitative Approach to Sensor Data Fusion for Mobile Robot NavigationSteven Reece, Hugh F. Durrant-Whyte. 36-41
- Qualitative Interpretation of Spectral Images: Reasoning with Uncertain EvidenceQi Zhao, Toyoaki Nishida. 42-49
- Control Structures for Incorporating Picture-Specific Context in Image InterpretationRajiv Chopra, Rohini K. Srihari. 50-55
- Visual Routines and Visual Search: A Real-Time Implementation and an Automata-Theoretic AnalysisIan Horswill. 56-63
- Adaptable Planner Primitives for Real-World Robotic ApplicationsRobert W. Wisniewski, Christopher M. Brown. 64-71
- An Architecture for Vision and ActionR. James Firby, Roger E. Kahn, Peter N. Prokopowicz, Michael J. Swain. 72-81
- Active Agent Oriented Multimodal Interface SystemOsamu Hasegawa, Katsunobu Itou, Takio Kurita, Satoru Hayamizu, Kazuyo Tanaka, Kazuhiko Yamamoto, Nobuyuki Otsu. 82-87
- Robotic Perception of MaterialEric Krotkov. 88-95
- Knowledge Considerations in Robotics and Distribution of Robotic TasksRonen I. Brafman, Yoav Shoham. 96-102
- RESC: An Approach for Real-time, Dynamic Agent TrackingMilind Tambe, Paul S. Rosenbloom. 103-111
- Using Knowledge to Isolate Search in Route FindingBing Liu. 119-125
- Motion Sketch: Acquisition of Visual Motion Guided BehaviorsTakayuki Nakamura, Minoru Asada. 126-132
- Using the Representation in a Neural Network s Hidden Layer for Task-Specific Focus of AttentionShumeet Baluja, Dean Pomerleau. 133-141
- Formalizing Behavior-based Planning for Nonholonomic RobotsVikram Manikonda, James A. Hendler, P. S. Krishnaprasad. 142-149
- Logic Programming for Robot ControlDavid Poole. 150-157
- Organization of Hierarchical Perceptual Sounds: Music Scene Analysis with Autonomous Processing Modules and a Quantitative Information Integration MechanismKunio Kashino, Kazuhiro Nakadai, Tomoyoshi Kinoshita, Hidehiko Tanaka. 158-164
- Residue-Driven Architecture for Computational Auditory Scene AnalysisTomohiro Nakatani, Hiroshi G. Okuno, Takeshi Kawabata. 165-174
- Relational Rippling: A General ApproachAlan Bundy, Vincent Lombart. 175-181
- A Model of Analogy-Driven Proof-Plan ConstructionErica Melis. 182-189
- Second-Order Matching modulo Evaluation: A Technique for Reusing ProofsThomas Kolbe, Christoph Walther. 190-195
- A Semantic Theory of AbstractionsP. Pandurang Nayak, Alon Y. Levy. 196-203
- Abductive Framework for Nonmonotonic Theory ChangeKatsumi Inoue, Chiaki Sakama. 204-210
- Model-Based Diagnosis using Causal NetworksAdnan Darwiche. 211-219
- Deadline Compliance, Predictability, and On-line Optimization in Real-Time Problem SolvingBabak Hamidzadeh, Shashi Shekhar. 220-226
- k-Best: A New Method for Real-Time Decision MakingJoseph C. Pemberton. 227-235
- How to Use Limited Memory in Heuristic SearchHermann Kaindl, Gerhard Kainz, Angelika Leeb, Harald Smetana. 236-242
- Experimenting with Revisits in Game Tree SearchSubir Bhattacharya. 243-251
- On Bootstrapping Local Search with Trail-MarkersPang C. Chen. 252-258
- The Trailblazer Search with a Hierarchical Abstract MapTakahiro Sasaki, Fumihiko Chimura, Mario Tokoro. 259-265
- From Approximate to Optimal Solutions: A Case Study of Number PartitioningRichard E. Korf. 266-272
- Best-First Fixed-Depth Game-Tree Search in PracticeAske Plaat, Jonathan Schaeffer, Wim Pijls, Arie de Bruin. 273-281
- Theoretical Analysis of Davis-Putnam Procedure and Propositional SatisfiabilityNobuhiro Yugami. 282-288
- On the Complexity of Extending Ground Resolution with Symmetry RulesThierry Boy de la Tour, Stéphane Demri. 289-297
- SEM: a System for Enumerating ModelsJian Zhang, Hantao Zhang. 298-303
- Performance Test of Local Search Algorithms Using New Types of Random CNF FormulasByungki Cha, Kazuo Iwama. 304-311
- Towards Efficient Default ReasoningIlkka Niemelä. 312-318
- Extending Semantic Resolution via Automated Model Building: ApplicationsRicardo Caferra, Nicolas Peltier. 328-334
- Model Elimination, Logic Programming and Computing AnswersPeter Baumgartner, Ulrich Furbach, Frieder Stolzenburg. 335-341
- Equality Elimination for the Inverse Method and Extension ProceduresAnatoli Degtyarev, Andrei Voronkov. 342-347
- Experiments with Associative-Commutative Discrimination NetsLeo Bachmair, Ta Chen, I. V. Ramakrishnan, Siva Anantharaman, Jacques Chabin. 348-355
- A Methodology for Proving Termination of General Logic ProgramsElena Marchiori. 356-361
- Unique Normal Forms and Confluence of Rewrite Systems: PersistenceRakesh M. Verma. 362-370
- Improving System Performance in Case-Based Iterative Optimization through Knowledge FilteringKazuo Miyashita, Katia P. Sycara. 371-376
- Remembering To Forget: A Competence-Preserving Case Deletion Policy for Case-Based Reasoning SystemsBarry Smyth, Mark T. Keane. 377-383
- Stratified Case-Based Reasoning: Reusing Hierarchical Problem Solving EpisodesKarl Branting, David W. Aha. 384-390
- Using Introspective Reasoning to Refine IndexingSusan Fox, David B. Leake. 391-399
- Using CBR to Drive IREdwina L. Rissland, Jody J. Daniels. 400-407
- Within the Letter of the Law: Open-Textured PlanningKathryn E. Sanders. 408-416
- Optional Deep Case Filling and Focus Control with Mental Images: ANTLIMA-KOREFAnselm Blocher, Jörg R. J. Schirra. 417-423
- A Microfeature Based Approach Towards Metaphor InterpretationRon Sun. 424-431
- Forgetting and Compacting data in Concept LearningGunther Sablon, Luc De Raedt. 432-438
- Determining What to Learn Through Component-Task ModelingBruce Krulwich, Lawrence Birnbaum, Gregg Collins. 439-447
- Using Information Content to Evaluate Semantic Similarity in a TaxonomyPhilip Resnik. 448-453
- Action and Perception in Man-Made EnvironmentsDaniel D. Fu, Kristian J. Hammond, Michael J. Swain. 464-472
- Kanerva s Sparse Distributed Memory: An Object-Oriented Implementation on the Connection MachineAndreas Turk, Günther Görz. 473-479
- Understanding Neural Networks via Rule ExtractionRudy Setiono, Huan Liu. 480-487
- GR2: A Hybrid Knowledge-based System Using General RulesZhe Ma, Robert F. Harrison, R. Lee Kennedy. 488-493
- A Hybrid Fuzzy-Neural Expert System for DiagnosisChristoph S. Herrmann. 494-501
- Learning Distributed Representations for the Classification of TermsAlessandro Sperduti, Antonina Starita, Christoph Goller. 509-517
- Combining the Predictions of Multiple Classifiers: Using Competitive Learning to Initialize Neural NetworksRichard Maclin, Jude W. Shavlik. 524-531
- A Theoretical Evaluation of Selected Backtracking AlgorithmsGrzegorz Kondrak, Peter van Beek. 541-547
- Extracting Constraint Satisfaction SubproblemsEugene C. Freuder, Paul D. Hubbe. 548-557
- Generalizing Inconsistency Learning for Constraint SatisfactionEugene C. Freuder, Richard J. Wallace. 563-571
- Look-Ahead Value Ordering for Constraint Satisfaction ProblemsDaniel Frost, Rina Dechter. 572-578
- Constraint Satisfaction as Global OptimizationPedro Meseguer, Javier Larrosa. 579-585
- Increasing Functional Constraints Need to Be Checked Only OnceBing Liu. 586-591
- Using Inference to Reduce Arc Consistency ComputationChristian Bessière, Eugene C. Freuder, Jean-Charles Régin. 592-599
- A Theoretical and Experimental Comparison of Constraint Propagation Techniques for Disjunctive SchedulingPhilippe Baptiste, Claude Le Pape. 600-606
- Limited Discrepancy SearchWilliam D. Harvey, Matthew L. Ginsberg. 607-615
- GSAT and Local ConsistencyKalev Kask, Rina Dechter. 616-623
- Constraint Solving over SemiringsStefano Bistarelli, Ugo Montanari, Francesca Rossi. 624-630
- Valued Constraint Satisfaction Problems: Hard and Easy ProblemsThomas Schiex, Hélène Fargier, Gérard Verfaillie. 631-639
- Composition in Hierarchical CLPMichael Jampel, Sebastian Hunt. 640-645
- Sparse Constraint Graphs and Exceptionally Hard ProblemsBarbara M. Smith, Stuart A. Grant. 646-654
- Task Allocation Via Coalition Formation Among Autonomous AgentsOnn Shehory, Sarit Kraus. 655-661
- Coalition Formation among Bounded Rational AgentsTuomas Sandholm, Victor R. Lesser. 662-671
- Matchmaking for Information AgentsDaniel Kuokka, Larry Harada. 672-678
- Deriving Multi-Agent Coordination through Filtering StrategiesEithan Ephrati, Martha E. Pollack, Sigalit Ur. 679-687
- Flexible Social LawsWill Briggs, Diane J. Cook. 688-693
- Equilibrium Analysis of the Possibilities of Unenforced Exchange in Multiagent SystemsTuomas Sandholm, Victor R. Lesser. 694-703
- Hybrid Learning Using Genetic Algorithms and Decision Trees for Pattern ClassificationJerzy W. Bala, Jeffrey Huang, Haleh Vafaie, Kenneth DeJong, Harry Wechsler. 719-724
- A Genetic Prototype LearnerSandip Sen, Leslie Knight. 725-733
- The Automatic Programming of Agents that Learn Mental Models and Create Simple Plans of ActionDavid Andre. 741-750
- Knowledge Representation in the LargePeter D. Karp, Suzanne M. Paley. 751-758
- Efficient Algorithms and Performance Results for Multi-User Knowledge BasesVinay K. Chaudhri, John Mylopoulos. 759-767
- The Generic Frame ProtocolPeter D. Karp, Karen L. Myers, Thomas R. Gruber. 768-774
- Knowledge-Based Anytime ComputationAbdel-Illah Mouaddib, Shlomo Zilberstein. 775-783
- Proposing Measurements in Dynamic SystemsJohann Gamper, Wolfgang Nejdl. 784-790
- Synthesizing Plant Controllers Using Real-time GoalsMichel Barbeau, Froduald Kabanza, Richard St.-Denis. 791-800
- Terminological Logics with Modal OperatorsFranz Baader, Armin Laux. 808-815
- Explaining Subsumption in Description LogicsDeborah L. McGuinness, Alexander Borgida. 816-821
- Determining Explanations using TransmutationsMary-Anne Williams, Maurice Pagnucco, Norman Y. Foo, Brailey Sims. 822-829
- An Analysis of Approximate Knowledge CompilationAlvaro del Val. 830-836
- Knowledge Compilation Using Theory Prime ImplicatesPierre Marquis. 837-845
- Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of MereotopologyNicholas Asher, Laure Vieu. 846-852
- A Logical Account of RelevanceGerhard Lakemeyer. 853-861
- The Comparative Linguistics of Knowledge RepresentationGoran Gogic, Henry A. Kautz, Christos H. Papadimitriou, Bart Selman. 862-869
- Semantics and Complexity of Abduction from Default TheoriesThomas Eiter, Georg Gottlob, Nicola Leone. 870-877
- Inter-diagrammatic ReasoningMichael Anderson, Robert McCartney. 878-884
- Qualitative Structural Analysis Using Diagrammatic ReasoningShirley Tessler, Yumi Iwasaki, Kincho H. Law. 885-893
- An Algebraic Approach to Granularity in Qualitative Time and Space RepresentationJérôme Euzenat. 894-900
- Topological InferenceMichelangelo Grigni, Dimitris Papadias, Christos H. Papadimitriou. 901-907
- Utilizing Moment Invariants and Gröbner Bases to Reason About ShapesHaim Schweitzer, Janell Straach. 908-914
- A Qualitative Discretization for Two-Body ContactsAmitabha Mukerjee, Manish Agarwal, Praveen Bhatia. 915-923
- Letizia: An Agent That Assists Web BrowsingHenry Lieberman. 924-929
- Category Translation: Learning to Understand Information on the InternetMike Perkowitz, Oren Etzioni. 930-938
- Explaining the Ineffable: AI on the Topics of Intuition, Insight and InspirationHerbert A. Simon. 939-949
- Profiling Communication in Distributed Genetic AlgorithmsJonathan Maresky, Yuval Davidor, Daniel Gitler, Gad Aharoni, Amnon Barak. 961-966
- Agents on Stage: Advancing the State of the Art of AIBarbara Hayes-Roth. 967-971
- Turing Test Considered HarmfulPatrick J. Hayes, Kenneth M. Ford. 972-977
- Vive la difference! Individualised Interaction with UsersJudy Kay. 978-984
- Biologically Inspired Defenses Against Computer VirusesJeffrey O. Kephart, Gregory B. Sorkin, William C. Arnold, David M. Chess, Gerald Tesauro, Steve R. White. 985-996
- Inductive Logic Programming: Inverse Resolution and BeyondStephen Muggleton. 997
- Stochastic Search and Phase Transitions: AI Meets PhysicsBart Selman. 998-1002
- Modeling Living Systems for Computer VisionDemetri Terzopoulos. 1003-1013
- Oversearching and Layered Search in Empirical LearningJ. Ross Quinlan, R. Mike Cameron-Jones. 1019-1024
- Lookahead and Pathology in Decision Tree InductionSreerama K. Murthy, Steven Salzberg. 1025-1033
- On Biases in Estimating Multi-Valued AttributesIgor Kononenko. 1034-1040
- Flexibly Exploiting Prior Knowledge in Empirical LearningJulio Ortega, Douglas Fisher. 1041-1049
- Using Decision Trees for Coreference ResolutionJoseph F. McCarthy, Wendy G. Lehnert. 1050-1055
- Intermediate Decision TreesLawrence B. Holder. 1056-1063
- Constructing Nominal X-of-N AttributesZijian Zheng. 1064-1070
- Oblivious Decision Trees, Graphs, and Top-Down PruningRon Kohavi, Chia-Hsin Li. 1071-1079
- Probabilistic Robot Navigation in Partially Observable EnvironmentsReid G. Simmons, Sven Koenig. 1080-1087
- Approximating Optimal Policies for Partially Observable Stochastic DomainsRonald Parr, Stuart J. Russell. 1088-1095
- Process-Oriented Planning and Average-Reward OptimalityCraig Boutilier, Martin L. Puterman. 1096-1103
- Exploiting Structure in Policy ConstructionCraig Boutilier, Richard Dearden, Moisés Goldszmidt. 1104-1113
- Decomposition Techniques for Planning in Stochastic DomainsThomas Dean, Shieu-Hong Lin. 1121-1129
- Dependency Relationship Based Decision Combination in Multiple Classifier SystemsHee-Joong Kang, Jin H. Kim. 1130-1136
- A Study of Cross-Validation and Bootstrap for Accuracy Estimation and Model SelectionRon Kohavi. 1137-1145
- Local Learning in Probabilistic Networks with Hidden VariablesStuart J. Russell, John Binder, Daphne Koller, Keiji Kanazawa. 1146-1152
- Extending Classical Planning to Real-World Execution with Machine LearningGerald DeJong, Scott Bennett. 1153-1161
- The Complexity of Theory RevisionRussell Greiner. 1162-1168
- Practical PAC LearningDale Schuurmans, Russell Greiner. 1169-1177
- Learning to Reason: The Non-Monotonic CaseDan Roth. 1178-1184
- Generating and Solving Imperfect Information GamesDaphne Koller, Avi Pfeffer. 1185-1193
- Covering vs. Divide-and-Conquer for Top-Down Induction of Logic ProgramsHenrik Boström. 1194-1200
- AILP: Abductive Inductive Logic ProgrammingHilde Adé, Marc Denecker. 1201-1209
- Building Theories into InstantiationAlan M. Frisch, C. David Page Jr.. 1210-1216
- Learning One More ThingSebastian Thrun, Tom M. Mitchell. 1217-1225
- Rule Induction and Instance-Based Learning: A Unified ApproachPedro Domingos. 1226-1232
- Multiresolution Instance-Based LearningKan Deng, Andrew W. Moore. 1233-1242
- Generating Information-Sharing Subdialogues in Expert-User ConsultationJennifer Chu-Carroll, Sandra Carberry. 1243-1250
- Generating Discourse across Several User Models: Maximizing Belief while Avoiding Boredom and OverloadIngrid Zukerman, Richard McConachy. 1251-1259
- The Use of Knowledge Preconditions in Language ProcessingKaren E. Lochbaum. 1260-1266
- Integrating Gricean and Attentional ConstraintsRebecca J. Passonneau. 1267-1275
- Generating Explanatory Captions for Information GraphicsVibhu O. Mittal, Steven F. Roth, Johanna D. Moore, Joe Mattis, Giuseppe Carenini. 1276-1283
- Ubiquitous Talker: Spoken Language Interaction with Real World ObjectsKatashi Nagao, Jun Rekimoto. 1284-1291
- Dynamic Semantics for Tense and AspectMark Steedman. 1292-1298
- Selecting Tense, Aspect, and Connecting Words In Language GenerationBonnie J. Dorr, Terry Gaasterland. 1299-1307
- Automatic Thesaurus Construction based on Grammatical RelationsTakenobu Tokunaga, Makoto Iwayama, Hozumi Tanaka. 1308-1313
- CRYSTAL: Inducing a Conceptual DictionaryStephen Soderland, David Fisher, Jonathan Aseltine, Wendy G. Lehnert. 1314-1321
- Hierarchical Bayesian Clustering for Automatic Text ClassificationMakoto Iwayama, Takenobu Tokunaga. 1322-1327
- Stochastic Inversion Transduction Grammars, with Application to Segmentation, Bracketing, and Alignment of Parallel CorporaDekai Wu. 1328-1337
- Anaphors, PPs and Disambiguation Process for Conceptual AnalysisSaliha Azzam. 1354-1359
- Discourse as a Knowledge Resource for Sentence DisambiguationTetsuya Nasukawa, Naohiko Uramoto. 1360-1367
- A WordNet-based Algorithm for Word Sense DisambiguationXiaobin Li, Stan Szpakowicz, Stan Matwin. 1368-1374
- Analogy in the LargeKenneth B. Haase. 1375-1381
- Unification-Based GlossingVasileios Hatzivassiloglou, Kevin Knight. 1382-1389
- Filling Knowledge Gaps in a Broad-Coverage Machine Translation SystemKevin Knight, Ishwar Chander, Matthew Haines, Vasileios Hatzivassiloglou, Eduard H. Hovy, Masayo Iida, Steve K. Luk, Richard Whitney, Kenji Yamada. 1390-1397
- A Support Tool for Writing Multilingual InstructionsCécile Paris, Keith Vander Linden, Markus Fischer, Anthony Hartley, Lyn Pemberton, Richard Power, Donia Scott. 1398-1404
- Dialogue Actions for Natural Language InterfacesArne Jönsson. 1405-1413
- An Efficient Algorithm for Surface GenerationChrister Samuelsson. 1414-1419
- A Dependency-based Method for Evaluating Broad-Coverage ParsersDekang Lin. 1420-1427
- Efficient Parameterizable Type Expansion for Typed Feature FormalismsHans-Ulrich Krieger, Ulrich Schäfer. 1428-1434
- Integration of Syntactic, Semantic and Contextual Information in Processing Grammatically Ill-Formed InputsOsamu Imaichi, Yuji Matsumoto. 1435-1442
- On the Relation between Argumentation and Non-monotonic Coherence-Based EntailmentClaudette Cayrol. 1443-1448
- How to Infer from Inconsisent Beliefs without Revising?Salem Benferhat, Didier Dubois, Henri Prade. 1449-1457
- On Decision-Theoretic Foundations for DefaultsRonen I. Brafman, Nir Friedman. 1458-1465
- Allowed ArgumentsMichael Morreau. 1466-1473
- On Specificity in Default LogicJussi Rintanen. 1474-1479
- Specificity and Inheritance in Default ReasoningSek-Wah Tan, Judea Pearl. 1480-1487
- Sound and Efficient Non-monotonic InferenceHector Geffner, Jimena Llopis, Gisela Mendez. 1495-1501
- Computing Circumscription Revisited: Preliminary ReportPatrick Doherty, Witold Lukaszewicz, Andrzej Szalas. 1502-1508
- Constrained and Rational Default LogicsArtur Mikitiuk, Miroslaw Truszczynski. 1509-1517
- On Bimodal Nonmonotonic Logics and Their Unimodal and Nonmodal EquivalentsAlexander Bochman. 1518-1524
- Cancelling and Overshadowing: Two Types of Defeasibility in Defeasible Deontic LogicLeendert W. N. van der Torre, Yao-Hua Tan. 1525-1533
- Belief Revision, RevisedDaniel J. Lehmann. 1534-1540
- Relating Belief Revision and CircumscriptionPaolo Liberatore, Marco Schaerf. 1557-1566
- Planning Under Uncertainty: Some Key IssuesGregg Collins, Louise Pryor. 1567-1575
- Optimizing Decision Quality with Contract AlgorithmsShlomo Zilberstein. 1576-1582
- Expected Solution QualityJohn L. Bresina, Mark Drummond, Keith Swanson. 1583-1591
- A Critical Look at Critics in HTN PlanningKutluhan Erol, James A. Hendler, Dana S. Nau, Reiko Tsuneto. 1592-1598
- Planning with Abstraction Hierarchies can be Exponentially Less EfficientChrister Bäckström, Peter Jonsson. 1599-1605
- Planning with Primary Effects: Experiments and AnalysisEugene Fink, Qiang Yang. 1606-1611
- Scope and Abstraction: Two Criteria for Localized PlanningAmy L. Lansky, Lise Getoor. 1612-1619
- Comparison of Methods for Improving Search Efficiency in a Partial-Order PlannerRaghavan Srinivasan, Adele E. Howe. 1620-1626
- Fast Planning Through Planning Graph AnalysisAvrim Blum, Merrick L. Furst. 1636-1642
- Planning with Sharable Resource ConstraintsPhilippe Laborie, Malik Ghallab. 1643-1651
- The Focussed D* Algorithm for Real-Time ReplanningAnthony Stentz. 1652-1659
- Real-Time Search in Non-Deterministic DomainsSven Koenig, Reid G. Simmons. 1660-1669
- AI Planning Versus Manufacturing-Operation Planning: A Case StudyDana S. Nau, Satyandra K. Gupta, William C. Regli. 1670-1676
- Hierarchical Plan Merging with Application to Process PlanningJ. M. Britanik, Michael M. Marefat. 1677-1685
- Abstraction by Interchangeability in Resource AllocationBerthe Y. Choueiry, Boi Faltings, Rainer Weigel. 1694-1703
- Recovering Problem-Solving Activities from Query MessagesYoshihiko Hayashi. 1711-1720
- A Formal Framework for Representing Diagnosis Strategies in Model-Based Diagnosis SystemsWolfgang Nejdl, Peter Fröhlich, Michael Schroeder. 1721-1727
- No Faults in Structure? How to Diagnose Hidden InteractionsClaudia Böttcher. 1728-1735
- Trading off the Costs of Inference vs. Probing in DiagnosisJohan de Kleer, Olivier Raiman. 1736-1741
- Diagnosing Tree-Decomposable CircuitsYousri El Fattah, Rina Dechter. 1742-1749
- Generating Causal Networks for Mobile Multi-Agent Systems with Qualitative RegionsKoichi Kurumatani. 1750-1756
- Case-based Modeling with Qualitative IndicesBradley L. Richards, Boi Faltings, Peter Duxbury-Smith. 1757-1765
- Using a Domain Theory to Guide Automated Modeling of Complex Physical PhenomenaSui-ky Ringo Ling. 1766-1772
- Modeling Time in Hybrid Systems: How Fast Is Instantaneous ?Yumi Iwasaki, Adam Farquhar, Vijay A. Saraswat, Daniel G. Bobrow, Vineet Gupta. 1773-1781
- Reasoning about Fluid Motion I: Finding StructuresKenneth Yip. 1782-1788
- History-based Interpretation of Finite Element Simulations of Seismic Wave FieldsUlrich Junker, Bertrand Braunschweig. 1789-1797
- Scaling up Self-Explanatory Simulators: Polynomial-time CompilationKenneth D. Forbus, Brian Falkenhainer. 1798-1805
- Numerical Interval Simulation: Combined Qualitative and Quantitative Simulation to Bound Behaviors of Non-Monotonic SystemsMarcos Vescovi, Adam Farquhar, Yumi Iwasaki. 1806-1813
- Device Representation and Reasoning with Affective RelationsJames M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider. 1814-1820
- Determining the Loci of Anomalies Using Minimal Causal ModelsRichard J. Doyle. 1821-1829
- FBRL: A Function and Behavior Representation LanguageMunehiko Sasajima, Yoshinobu Kitamura, Mitsuru Ikeda, Riichiro Mizoguchi. 1830-1836
- A Theory of Mapping from Structure to Function Applied to Engineering ThermodynamicsJohn O. Everett. 1837-1846
- Minimum Cross-Entropy Reasoning: A Statistical JustificationManfred Jaeger. 1847-1852
- Representation Dependence in Probabilistic InferenceJoseph Y. Halpern, Daphne Koller. 1853-1861
- Models and Algorithms for Probabilistic and Bayesian LogicPierre Hansen, Brigitte Jaumard, Guy-Blaise Douanya Nguetsé, Marcus Poggi de Aragão. 1862-1868
- Ignorant Influence DiagramsMarco Ramoni. 1869-1877
- The BATmobile: Towards a Bayesian Automated TaxiJeff Forbes, Timothy Huang, Keiji Kanazawa, Stuart J. Russell. 1878-1885
- Adaptive Provision of Evaluation-Oriented Information: Tasks and TechniquesAnthony Jameson, Ralph Schäfer, Joep Simons, Thomas Weis. 1886-1895
- The Canonical Decomposition of a Weighted BeliefPhilippe Smets. 1896-1901
- On the Representation of Nonmontonic Relations in the Theory of EvidenceRonald R. Yager. 1902-1909
- The Rationality and Decidability of Fuzzy ImplicationsXiaochun Cheng, Yunfei Jiang, Xuhua Liu. 1910-1915
- Possibilistic Temporal Reasoning based on Fuzzy Temporal ConstraintsLluis Godo, Lluís Vila. 1916-1923
- Possibility Theory as a Basis for Qualitative Decision TheoryDidier Dubois, Henri Prade. 1924-1932
- Reasoning about Noisy Sensors in the Situation CalculusFahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque. 1933-1940
- Reasoning about Action and Change Using Dijkstra s Semantics for Programming Languages: Preliminary ReportWitold Lukaszewicz, Ewa Madalinska-Bugaj. 1950-1955
- The Logic of Dynamic SystemsMichael Thielscher. 1956-1963
- Dependent FluentsEnrico Giunchiglia, Vladimir Lifschitz. 1964-1969
- A Simple Formalization of Actions Using CircumscriptionG. Neelakantan Kartha, Vladimir Lifschitz. 1970-1977
- A Causal Theory of Ramifications and QualificationsNorman McCain, Hudson Turner. 1978-1984
- Embracing Causality in Specifying the Indirect Effects of ActionsFangzhen Lin. 1985-1993
- Computing Ramifications by PostprocessingMichael Thielscher. 1994-2000
- How to Progress a Database II: The STRIPS ConnectionFangzhen Lin, Raymond Reiter. 2001-2009
- Towards Action Prediction Using a Mental-Level ModelRonen I. Brafman, Moshe Tennenholtz. 2010-2016
- Reasoning about actions: Non-deterministic effects, Constraints, and QualificationChitta Baral. 2017-2026
- Systematic Versus Stochastic Constraint SatisfactionEugene C. Freuder, Rina Dechter, Matthew L. Ginsberg, Bart Selman, Edward P. K. Tsang. 2027-2032
- VERY Large Knowledge Bases - Architecture vs EngineeringJames A. Hendler, Jaime G. Carbonell, Douglas B. Lenat, Riichiro Mizoguchi, Paul S. Rosenbloom. 2033-2036
- A Philosophical EncounterAaron Sloman. 2037-2040
- What has AI in Common with Philosophy?John McCarthy. 2041-2044 [doi]
- Description Logic in Practice: A CLASSIC ApplicationDeborah L. McGuinness, Lori Alperin Resnick, Charles Lee Isbell Jr.. 2045-2046
- Revealing Collection Structure through Information Access InterfacesMarti A. Hearst, Jan O. Pedersen. 2047-2048
- Advances of the DBLearn System for Knowledge Discovery in Large DatabasesJiawei Han, Yongjian Fu, Simon Tang. 2049-2050
- IRV: Learning to Integrate Visual Information Across Camera MovementsPeter N. Prokopowicz, Paul R. Cooper. 2051-2052
- WIP: From Multimedia to IntellimediaElisabeth André, Wolfgang Finkler, Winfried Graf, Karin Harbusch, Jochen Heinsohn, Anne Kilger, Bernhard Nebel, Hans-Jürgen Profitlich, Thomas Rist, Wolfgang Wahlster, Andreas Butz, Anthony Jameson. 2053-2054
- Computer-Aided Creative Mechanism DesignBoi Faltings, Kun Sun. 2055-2056
- PeopleFinder: a Multimodal Multimedia Communications Tool for Interconnecting Office StaffInnes A. Ferguson, James D. Davlouros. 2059-2060
- Situated Verbal Interaction in Virtual Design and AssemblyYong Cao, Bernhard Jung, Ipke Wachsmuth. 2061-2062
- Multiple Perspective Interactive VideoArun Katkere, Don Y. Kuramura, Saied Moezzi, Patrick H. Kelly, Deborah Swanberg, Koji Wakimoto, Edward Hunter, Li-Cheng Tai, Shankar Chatterjee, Ramesh Jain. 2063-2064
- GRASPER: A Permissive Planning RobotScott Bennett, Gerald DeJong. 2065-2066
- MUSE (Multidimensional User-Oriented Synthetic Environment): A New Approach to the Human-Computer Interface Using Precognitive Models of PerceptionCreve Maples, Craig Peterson. 2069-2070
- A Case-Based Approach to Knowledge NavigationKristian J. Hammond, Robin D. Burke, Steven L. Lytinen. 2071-2072
- Modeling Interactive Agents in ALIVEPattie Maes, Bruce Blumberg, Trevor Darrell, Alex Pentland, Alan Wexelblat. 2073-2074