| 1995 | A Case-Based Approach to Knowledge Navigation. Kristian J. Hammond, Robin D. Burke, Steven L. Lytinen |
| 1995 | A Causal Theory of Ramifications and Qualifications. Norman McCain, Hudson Turner |
| 1995 | A Critical Look at Critics in HTN Planning. Kutluhan Erol, James A. Hendler, Dana S. Nau, Reiko Tsuneto |
| 1995 | A Dependency-based Method for Evaluating Broad-Coverage Parsers. Dekang Lin |
| 1995 | A Formal Framework for Representing Diagnosis Strategies in Model-Based Diagnosis Systems. Wolfgang Nejdl, Peter Fröhlich, Michael Schroeder |
| 1995 | A Genetic Prototype Learner. Sandip Sen, Leslie Knight |
| 1995 | A Hybrid Fuzzy-Neural Expert System for Diagnosis. Christoph S. Herrmann |
| 1995 | A Hybrid Rule-based System: How Variables are Involved in Connectionist Rule-based Systems. Fukumi Kozato |
| 1995 | A Logic for Acting, Sensing and Planning. Paolo Traverso, Luca Spalazzi |
| 1995 | A Logical Account of Relevance. Gerhard Lakemeyer |
| 1995 | A Methodology for Proving Termination of General Logic Programs. Elena Marchiori |
| 1995 | A Microfeature Based Approach Towards Metaphor Interpretation. Ron Sun |
| 1995 | A Model for Hormonal Modulation of Learning. Hiroaki Kitano |
| 1995 | A Model of Analogy-Driven Proof-Plan Construction. Erica Melis |
| 1995 | A Novelty Detection Approach to Classification. Nathalie Japkowicz, Catherine Myers, Mark A. Gluck |
| 1995 | A Philosophical Encounter. Aaron Sloman |
| 1995 | A Qualitative Approach to Sensor Data Fusion for Mobile Robot Navigation. Steven Reece, Hugh F. Durrant-Whyte |
| 1995 | A Qualitative Discretization for Two-Body Contacts. Amitabha Mukerjee, Manish Agarwal, Praveen Bhatia |
| 1995 | A Reinforcement Learning Approach to job-shop Scheduling. Wei Zhang, Thomas G. Dietterich |
| 1995 | A Semantic Theory of Abstractions. P. Pandurang Nayak, Alon Y. Levy |
| 1995 | A Simple Formalization of Actions Using Circumscription. G. Neelakantan Kartha, Vladimir Lifschitz |
| 1995 | A Sound and Fast Goal Recognizer. Neal Lesh, Oren Etzioni |
| 1995 | A Study of Cross-Validation and Bootstrap for Accuracy Estimation and Model Selection. Ron Kohavi |
| 1995 | A Support Tool for Writing Multilingual Instructions. Cécile Paris, Keith Vander Linden, Markus Fischer, Anthony Hartley, Lyn Pemberton, Richard Power, Donia Scott |
| 1995 | A Theoretical Evaluation of Selected Backtracking Algorithms. Grzegorz Kondrak, Peter van Beek |
| 1995 | A Theoretical and Experimental Comparison of Constraint Propagation Techniques for Disjunctive Scheduling. Philippe Baptiste, Claude Le Pape |
| 1995 | A Theory of Mapping from Structure to Function Applied to Engineering Thermodynamics. John O. Everett |
| 1995 | A WordNet-based Algorithm for Word Sense Disambiguation. Xiaobin Li, Stan Szpakowicz, Stan Matwin |
| 1995 | AI Planning Versus Manufacturing-Operation Planning: A Case Study. Dana S. Nau, Satyandra K. Gupta, William C. Regli |
| 1995 | AILP: Abductive Inductive Logic Programming. Hilde Adé, Marc Denecker |
| 1995 | Abductive Framework for Nonmonotonic Theory Change. Katsumi Inoue, Chiaki Sakama |
| 1995 | Abstraction by Interchangeability in Resource Allocation. Berthe Y. Choueiry, Boi Faltings, Rainer Weigel |
| 1995 | Action and Perception in Man-Made Environments. Daniel D. Fu, Kristian J. Hammond, Michael J. Swain |
| 1995 | Active Agent Oriented Multimodal Interface System. Osamu Hasegawa, Katsunobu Itou, Takio Kurita, Satoru Hayamizu, Kazuyo Tanaka, Kazuhiko Yamamoto, Nobuyuki Otsu |
| 1995 | Adaptable Planner Primitives for Real-World Robotic Applications. Robert W. Wisniewski, Christopher M. Brown |
| 1995 | Adaptive Provision of Evaluation-Oriented Information: Tasks and Techniques. Anthony Jameson, Ralph Schäfer, Joep Simons, Thomas Weis |
| 1995 | Admissible Pruning Strategies based on plan minimality for Plan-Space Planning. Subbarao Kambhampati |
| 1995 | Advances of the DBLearn System for Knowledge Discovery in Large Databases. Jiawei Han, Yongjian Fu, Simon Tang |
| 1995 | Agents on Stage: Advancing the State of the Art of AI. Barbara Hayes-Roth |
| 1995 | Allowed Arguments. Michael Morreau |
| 1995 | An Algebraic Approach to Granularity in Qualitative Time and Space Representation. Jérôme Euzenat |
| 1995 | An Analysis of Approximate Knowledge Compilation. Alvaro del Val |
| 1995 | An Architecture for Vision and Action. R. James Firby, Roger E. Kahn, Peter N. Prokopowicz, Michael J. Swain |
| 1995 | An Efficient Algorithm for Surface Generation. Christer Samuelsson |
| 1995 | Analogy in the Large. Kenneth B. Haase |
| 1995 | Anaphors, PPs and Disambiguation Process for Conceptual Analysis. Saliha Azzam |
| 1995 | Animate Vision in a Rich Environment. Tomas Uhlin, Jan-Olof Eklundh |
| 1995 | Approximating Optimal Policies for Partially Observable Stochastic Domains. Ronald Parr, Stuart Russell |
| 1995 | Automatic Thesaurus Construction based on Grammatical Relations. Takenobu Tokunaga, Makoto Iwayama, Hozumi Tanaka |
| 1995 | Belief Revision, Revised. Daniel Lehmann |
| 1995 | Best-First Fixed-Depth Game-Tree Search in Practice. Aske Plaat, Jonathan Schaeffer, Wim Pijls, Arie de Bruin |
| 1995 | Biologically Inspired Defenses Against Computer Viruses. Jeffrey O. Kephart, Gregory B. Sorkin, William C. Arnold, David M. Chess, Gerald Tesauro, Steve R. White |
| 1995 | Building Theories into Instantiation. Alan M. Frisch, C. David Page Jr. |
| 1995 | CRYSTAL: Inducing a Conceptual Dictionary. Stephen Soderland, David Fisher, Jonathan Aseltine, Wendy G. Lehnert |
| 1995 | Cancelling and Overshadowing: Two Types of Defeasibility in Defeasible Deontic Logic. Leendert W. N. van der Torre, Yao-Hua Tan |
| 1995 | Case-based Modeling with Qualitative Indices. Bradley L. Richards, Boi Faltings, Peter Duxbury-Smith |
| 1995 | Category Translation: Learning to Understand Information on the Internet. Mike Perkowitz, Oren Etzioni |
| 1995 | Coalition Formation among Bounded Rational Agents. Tuomas Sandholm, Victor R. Lesser |
| 1995 | Combining the Predictions of Multiple Classifiers: Using Competitive Learning to Initialize Neural Networks. Richard Maclin, Jude W. Shavlik |
| 1995 | Comparison of Methods for Improving Search Efficiency in a Partial-Order Planner. Raghavan Srinivasan, Adele E. Howe |
| 1995 | Composition in Hierarchical CLP. Michael Jampel, Sebastian Hunt |
| 1995 | Computer-Aided Creative Mechanism Design. Boi Faltings, Kun Sun |
| 1995 | Computing Circumscription Revisited: Preliminary Report. Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas |
| 1995 | Computing Ramifications by Postprocessing. Michael Thielscher |
| 1995 | Constrained and Rational Default Logics. Artur Mikitiuk, Miroslaw Truszczynski |
| 1995 | Constraint Satisfaction as Global Optimization. Pedro Meseguer, Javier Larrosa |
| 1995 | Constraint Solving over Semirings. Stefano Bistarelli, Ugo Montanari, Francesca Rossi |
| 1995 | Constructing Nominal X-of-N Attributes. Zijian Zheng |
| 1995 | Control Structures for Incorporating Picture-Specific Context in Image Interpretation. Rajiv Chopra, Rohini K. Srihari |
| 1995 | Covering vs. Divide-and-Conquer for Top-Down Induction of Logic Programs. Henrik Boström |
| 1995 | Deadline Compliance, Predictability, and On-line Optimization in Real-Time Problem Solving. Babak Hamidzadeh, Shashi Shekhar |
| 1995 | Decomposition Techniques for Planning in Stochastic Domains. Thomas Dean, Shieu-Hong Lin |
| 1995 | Default-Reasoning with Models. Roni Khardon, Dan Roth |
| 1995 | Dependency Relationship Based Decision Combination in Multiple Classifier Systems. Hee-Joong Kang, Jin Hyung Kim |
| 1995 | Dependent Fluents. Enrico Giunchiglia, Vladimir Lifschitz |
| 1995 | Deriving Multi-Agent Coordination through Filtering Strategies. Eithan Ephrati, Martha E. Pollack, Sigalit Ur |
| 1995 | Description Logic in Practice: A CLASSIC Application. Deborah L. McGuinness, Lori Alperin Resnick, Charles Lee Isbell Jr. |
| 1995 | Determining Explanations using Transmutations. Mary-Anne Williams, Maurice Pagnucco, Norman Y. Foo, Brailey Sims |
| 1995 | Determining What to Learn Through Component-Task Modeling. Bruce Krulwich, Lawrence Birnbaum, Gregg Collins |
| 1995 | Determining the Loci of Anomalies Using Minimal Causal Models. Richard J. Doyle |
| 1995 | Device Representation and Reasoning with Affective Relations. James M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider |
| 1995 | Diagnosing Tree-Decomposable Circuits. Yousri El Fattah, Rina Dechter |
| 1995 | Dialogue Actions for Natural Language Interfaces. Arne Jönsson |
| 1995 | Discourse as a Knowledge Resource for Sentence Disambiguation. Tetsuya Nasukawa, Naohiko Uramoto |
| 1995 | Dynamic Semantics for Tense and Aspect. Mark Steedman |
| 1995 | Efficient Algorithms and Performance Results for Multi-User Knowledge Bases. Vinay K. Chaudhri, John Mylopoulos |
| 1995 | Efficient Parameterizable Type Expansion for Typed Feature Formalisms. Hans-Ulrich Krieger, Ulrich Schäfer |
| 1995 | Embracing Causality in Specifying the Indirect Effects of Actions. Fangzhen Lin |
| 1995 | Equality Elimination for the Inverse Method and Extension Procedures. Anatoli Degtyarev, Andrei Voronkov |
| 1995 | Equilibrium Analysis of the Possibilities of Unenforced Exchange in Multiagent Systems. Tuomas Sandholm, Victor R. Lesser |
| 1995 | Expected Solution Quality. John L. Bresina, Mark Drummond, Keith Swanson |
| 1995 | Experimenting with Revisits in Game Tree Search. Subir Bhattacharya |
| 1995 | Experiments with Associative-Commutative Discrimination Nets. Leo Bachmair, Ta Chen, I. V. Ramakrishnan, Siva Anantharaman, Jacques Chabin |
| 1995 | Explaining Subsumption in Description Logics. Deborah L. McGuinness, Alexander Borgida |
| 1995 | Explaining the Ineffable: AI on the Topics of Intuition, Insight and Inspiration. Herbert A. Simon |
| 1995 | Exploiting Structure in Policy Construction. Craig Boutilier, Richard Dearden, Moisés Goldszmidt |
| 1995 | Extending Classical Planning to Real-World Execution with Machine Learning. Gerald DeJong, Scott W. Bennett |
| 1995 | Extending Semantic Resolution via Automated Model Building: Applications. Ricardo Caferra, Nicolas Peltier |
| 1995 | Extracting Constraint Satisfaction Subproblems. Eugene C. Freuder, Paul D. Hubbe |
| 1995 | FBRL: A Function and Behavior Representation Language. Munehiko Sasajima, Yoshinobu Kitamura, Mitsuru Ikeda, Riichiro Mizoguchi |
| 1995 | Fast Planning Through Planning Graph Analysis. Avrim Blum, Merrick L. Furst |
| 1995 | Filling Knowledge Gaps in a Broad-Coverage Machine Translation System. Kevin Knight, Ishwar Chander, Matthew Haines, Vasileios Hatzivassiloglou, Eduard H. Hovy, Masayo Iida, Steve K. Luk, Richard Whitney, Kenji Yamada |
| 1995 | Fitting Models to Distributed Representations of Vision. Sourabh A. Niyogi |
| 1995 | Flexible Social Laws. Will Briggs, Diane J. Cook |
| 1995 | Flexibly Exploiting Prior Knowledge in Empirical Learning. Julio Ortega, Douglas Fisher |
| 1995 | Forgetting and Compacting data in Concept Learning. Gunther Sablon, Luc De Raedt |
| 1995 | Formalizing Behavior-based Planning for Nonholonomic Robots. Vikram Manikonda, James A. Hendler, P. S. Krishnaprasad |
| 1995 | From Approximate to Optimal Solutions: A Case Study of Number Partitioning. Richard E. Korf |
| 1995 | GR2: A Hybrid Knowledge-based System Using General Rules. Zhe Ma, Robert F. Harrison, R. Lee Kennedy |
| 1995 | GRASPER: A Permissive Planning Robot. Scott W. Bennett, Gerald DeJong |
| 1995 | GSAT and Local Consistency. Kalev Kask, Rina Dechter |
| 1995 | Gene Duplication to Enable Genetic Programming to Concurrently Evolve Both the Architecture and Work-Performing Steps of a Computer Program. John R. Koza |
| 1995 | Generalized Update: Belief Change in Dynamic Settings. Craig Boutilier |
| 1995 | Generalizing Inconsistency Learning for Constraint Satisfaction. Eugene C. Freuder, Richard J. Wallace |
| 1995 | Generating Causal Networks for Mobile Multi-Agent Systems with Qualitative Regions. Koichi Kurumatani |
| 1995 | Generating Discourse across Several User Models: Maximizing Belief while Avoiding Boredom and Overload. Ingrid Zukerman, Richard McConachy |
| 1995 | Generating Explanatory Captions for Information Graphics. Vibhu O. Mittal, Steven F. Roth, Johanna D. Moore, Joe Mattis, Giuseppe Carenini |
| 1995 | Generating Information-Sharing Subdialogues in Expert-User Consultation. Jennifer Chu-Carroll, Sandra Carberry |
| 1995 | Generating and Solving Imperfect Information Games. Daphne Koller, Avi Pfeffer |
| 1995 | Hierarchical Bayesian Clustering for Automatic Text Classification. Makoto Iwayama, Takenobu Tokunaga |
| 1995 | Hierarchical Plan Merging with Application to Process Planning. J. M. Britanik, Michael M. Marefat |
| 1995 | History-based Interpretation of Finite Element Simulations of Seismic Wave Fields. Ulrich Junker, Bertrand Braunschweig |
| 1995 | How to Infer from Inconsisent Beliefs without Revising? Salem Benferhat, Didier Dubois, Henri Prade |
| 1995 | How to Progress a Database II: The STRIPS Connection. Fangzhen Lin, Raymond Reiter |
| 1995 | How to Use Limited Memory in Heuristic Search. Hermann Kaindl, Gerhard Kainz, Angelika Leeb, Harald Smetana |
| 1995 | Hybrid Learning Using Genetic Algorithms and Decision Trees for Pattern Classification. Jerzy W. Bala, Jeffrey Huang, Haleh Vafaie, Kenneth A. De Jong, Harry Wechsler |
| 1995 | IRV: Learning to Integrate Visual Information Across Camera Movements. Peter N. Prokopowicz, Paul R. Cooper |
| 1995 | Ignorant Influence Diagrams. Marco Ramoni |
| 1995 | Improving Heuristic-Based Temporal Analysis of Narratives with Aspect Determination. Fei Song, Robin Cohen |
| 1995 | Improving System Performance in Case-Based Iterative Optimization through Knowledge Filtering. Kazuo Miyashita, Katia P. Sycara |
| 1995 | Increasing Functional Constraints Need to Be Checked Only Once. Bing Liu |
| 1995 | Inductive Logic Programming: Inverse Resolution and Beyond. Stephen H. Muggleton |
| 1995 | Integrating Gricean and Attentional Constraints. Rebecca J. Passonneau |
| 1995 | Integration of Syntactic, Semantic and Contextual Information in Processing Grammatically Ill-Formed Inputs. Osamu Imaichi, Yuji Matsumoto |
| 1995 | Inter-diagrammatic Reasoning. Michael Anderson, Robert McCartney |
| 1995 | Intermediate Decision Trees. Lawrence B. Holder |
| 1995 | Iterated Theory Base Change: A Computational Model. Mary-Anne Williams |
| 1995 | Kanerva's Sparse Distributed Memory: An Object-Oriented Implementation on the Connection Machine. Andreas Turk, Günther Görz |
| 1995 | Knowledge Compilation Using Theory Prime Implicates. Pierre Marquis |
| 1995 | Knowledge Considerations in Robotics and Distribution of Robotic Tasks. Ronen I. Brafman, Yoav Shoham |
| 1995 | Knowledge Representation in the Large. Peter D. Karp, Suzanne M. Paley |
| 1995 | Knowledge-Based Anytime Computation. Abdel-Illah Mouaddib, Shlomo Zilberstein |
| 1995 | Learning Distributed Representations for the Classification of Terms. Alessandro Sperduti, Antonina Starita, Christoph Goller |
| 1995 | Learning One More Thing. Sebastian Thrun, Tom M. Mitchell |
| 1995 | Learning University Mathematics. Edmund Furse |
| 1995 | Learning to Reason: The Non-Monotonic Case. Dan Roth |
| 1995 | Letizia: An Agent That Assists Web Browsing. Henry Lieberman |
| 1995 | Limited Discrepancy Search. William D. Harvey, Matthew L. Ginsberg |
| 1995 | Local Learning in Probabilistic Networks with Hidden Variables. Stuart Russell, John Binder, Daphne Koller, Keiji Kanazawa |
| 1995 | Logic Programming for Robot Control. David Poole |
| 1995 | Look-Ahead Value Ordering for Constraint Satisfaction Problems. Daniel Frost, Rina Dechter |
| 1995 | Lookahead and Pathology in Decision Tree Induction. Sreerama K. Murthy, Steven Salzberg |
| 1995 | MUSE (Multidimensional User-Oriented Synthetic Environment): A New Approach to the Human-Computer Interface Using Precognitive Models of Perception. Creve Maples, Craig Peterson |
| 1995 | Matchmaking for Information Agents. Daniel Kuokka, Larry Harada |
| 1995 | Minimum Cross-Entropy Reasoning: A Statistical Justification. Manfred Jaeger |
| 1995 | Model Elimination, Logic Programming and Computing Answers. Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg |
| 1995 | Model-Based Diagnosis using Causal Networks. Adnan Darwiche |
| 1995 | Modeling Interactive Agents in ALIVE. Pattie Maes, Bruce Blumberg, Trevor Darrell, Alex Pentland, Alan Wexelblat |
| 1995 | Modeling Living Systems for Computer Vision. Demetri Terzopoulos |
| 1995 | Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"? Yumi Iwasaki, Adam Farquhar, Vijay A. Saraswat, Daniel G. Bobrow, Vineet Gupta |
| 1995 | Models and Algorithms for Probabilistic and Bayesian Logic. Pierre Hansen, Brigitte Jaumard, Guy-Blaise Douanya Nguetsé, Marcus Poggi de Aragão |
| 1995 | Motion Sketch: Acquisition of Visual Motion Guided Behaviors. Takayuki Nakamura, Minoru Asada |
| 1995 | Multiple Perspective Interactive Video. Arun Katkere, Don Y. Kuramura, Saied Moezzi, Patrick H. Kelly, Deborah Swanberg, Koji Wakimoto, Edward Hunter, Li-Cheng Tai, Shankar Chatterjee, Ramesh C. Jain |
| 1995 | Multiresolution Instance-Based Learning. Kan Deng, Andrew W. Moore |
| 1995 | Natural Basis Functions and Topographic Memory for Face Recognition. Rajesh P. N. Rao, Dana H. Ballard |
| 1995 | No Faults in Structure? How to Diagnose Hidden Interactions. Claudia Böttcher |
| 1995 | Numerical Interval Simulation: Combined Qualitative and Quantitative Simulation to Bound Behaviors of Non-Monotonic Systems. Marcos Vescovi, Adam Farquhar, Yumi Iwasaki |
| 1995 | Oblivious Decision Trees, Graphs, and Top-Down Pruning. Ron Kohavi, Chia-Hsin Li |
| 1995 | On Biases in Estimating Multi-Valued Attributes. Igor Kononenko |
| 1995 | On Bimodal Nonmonotonic Logics and Their Unimodal and Nonmodal Equivalents. Alexander Bochman |
| 1995 | On Bootstrapping Local Search with Trail-Markers. Pang C. Chen |
| 1995 | On Decision-Theoretic Foundations for Defaults. Ronen I. Brafman, Nir Friedman |
| 1995 | On Heuristic Reasoning, Reactivity, and Search. Susan L. Epstein |
| 1995 | On Specificity in Default Logic. Jussi Rintanen |
| 1995 | On the Complexity of Extending Ground Resolution with Symmetry Rules. Thierry Boy de la Tour, Stéphane Demri |
| 1995 | On the Relation between Argumentation and Non-monotonic Coherence-Based Entailment. Claudette Cayrol |
| 1995 | On the Representation of Nonmontonic Relations in the Theory of Evidence. Ronald R. Yager |
| 1995 | On the Space-Time Trade-off in Solving Constraint Satisfaction Problems. Roberto J. Bayardo Jr., Daniel P. Miranker |
| 1995 | Optimizing Decision Quality with Contract Algorithms. Shlomo Zilberstein |
| 1995 | Optional Deep Case Filling and Focus Control with Mental Images: ANTLIMA-KOREF. Anselm Blocher, Jörg R. J. Schirra |
| 1995 | Organization of Hierarchical Perceptual Sounds: Music Scene Analysis with Autonomous Processing Modules and a Quantitative Information Integration Mechanism. Kunio Kashino, Kazuhiro Nakadai, Tomoyoshi Kinoshita, Hidehiko Tanaka |
| 1995 | Oversearching and Layered Search in Empirical Learning. J. Ross Quinlan, R. Mike Cameron-Jones |
| 1995 | PeopleFinder: a Multimodal Multimedia Communications Tool for Interconnecting Office Staff. Innes A. Ferguson, James D. Davlouros |
| 1995 | Performance Test of Local Search Algorithms Using New Types of Random CNF Formulas. Byungki Cha, Kazuo Iwama |
| 1995 | Planning Under Uncertainty: Some Key Issues. Gregg Collins, Louise Pryor |
| 1995 | Planning with Abstraction Hierarchies can be Exponentially Less Efficient. Christer Bäckström, Peter Jonsson |
| 1995 | Planning with Primary Effects: Experiments and Analysis. Eugene Fink, Qiang Yang |
| 1995 | Planning with Sharable Resource Constraints. Philippe Laborie, Malik Ghallab |
| 1995 | Planning, Executing, Sensing, and Replanning for Information Gathering. Craig A. Knoblock |
| 1995 | Possibilistic Temporal Reasoning based on Fuzzy Temporal Constraints. Lluís Godo, Lluís Vila |
| 1995 | Possibility Theory as a Basis for Qualitative Decision Theory. Didier Dubois, Henri Prade |
| 1995 | Practical PAC Learning. Dale Schuurmans, Russell Greiner |
| 1995 | Probabilistic Robot Navigation in Partially Observable Environments. Reid G. Simmons, Sven Koenig |
| 1995 | Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, Montréal Québec, Canada, August 20-25 1995, 2 Volumes |
| 1995 | Process-Oriented Planning and Average-Reward Optimality. Craig Boutilier, Martin L. Puterman |
| 1995 | Profiling Communication in Distributed Genetic Algorithms. Jonathan Maresky, Yuval Davidor, Daniel Gitler, Gad Aharoni, Amnon Barak |
| 1995 | Proposing Measurements in Dynamic Systems. Johann Gamper, Wolfgang Nejdl |
| 1995 | Qualitative Interpretation of Spectral Images: Reasoning with Uncertain Evidence. Qi Zhao, Toyoaki Nishida |
| 1995 | Qualitative Structural Analysis Using Diagrammatic Reasoning. Shirley Tessler, Yumi Iwasaki, Kincho H. Law |
| 1995 | RESC: An Approach for Real-time, Dynamic Agent Tracking. Milind Tambe, Paul S. Rosenbloom |
| 1995 | Rationality and Intelligence. Stuart Russell |
| 1995 | Real-Time Search in Non-Deterministic Domains. Sven Koenig, Reid G. Simmons |
| 1995 | Reasoning about Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report. Witold Lukaszewicz, Ewa Madalinska-Bugaj |
| 1995 | Reasoning about Fluid Motion I: Finding Structures. Kenneth Yip |
| 1995 | Reasoning about Noisy Sensors in the Situation Calculus. Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque |
| 1995 | Reasoning about actions: Non-deterministic effects, Constraints, and Qualification. Chitta Baral |
| 1995 | Recovering Problem-Solving Activities from Query Messages. Yoshihiko Hayashi |
| 1995 | Relating Belief Revision and Circumscription. Paolo Liberatore, Marco Schaerf |
| 1995 | Relational Rippling: A General Approach. Alan Bundy, Vincent Lombart |
| 1995 | Remembering To Forget: A Competence-Preserving Case Deletion Policy for Case-Based Reasoning Systems. Barry Smyth, Mark T. Keane |
| 1995 | Representation Dependence in Probabilistic Inference. Joseph Y. Halpern, Daphne Koller |
| 1995 | Representations for Active Vision. Cornelia Fermüller, Yiannis Aloimonos |
| 1995 | Residue-Driven Architecture for Computational Auditory Scene Analysis. Tomohiro Nakatani, Hiroshi G. Okuno, Takeshi Kawabata |
| 1995 | Revealing Collection Structure through Information Access Interfaces. Marti A. Hearst, Jan O. Pedersen |
| 1995 | Robotic Perception of Material. Eric Krotkov |
| 1995 | Rule Induction and Instance-Based Learning: A Unified Approach. Pedro M. Domingos |
| 1995 | SEM: a System for Enumerating Models. Jian Zhang, Hantao Zhang |
| 1995 | SKICAT: Sky Image Cataloging and Analysis Tool. Usama M. Fayyad |
| 1995 | Scaling up Self-Explanatory Simulators: Polynomial-time Compilation. Kenneth D. Forbus, Brian Falkenhainer |
| 1995 | Scope and Abstraction: Two Criteria for Localized Planning. Amy L. Lansky, Lise Getoor |
| 1995 | Second-Order Matching modulo Evaluation: A Technique for Reusing Proofs. Thomas Kolbe, Christoph Walther |
| 1995 | Selecting Tense, Aspect, and Connecting Words In Language Generation. Bonnie J. Dorr, Terry Gaasterland |
| 1995 | Self-Organization of Symbolic Processes through Interaction with the Physical World. Jun Tani |
| 1995 | Semantic Inference in Natural Language: Validating a Tractable Approach. Marc B. Vilain |
| 1995 | Semantics and Complexity of Abduction from Default Theories. Thomas Eiter, Georg Gottlob, Nicola Leone |
| 1995 | Situated Verbal Interaction in Virtual Design and Assembly. Yong Cao, Bernhard Jung, Ipke Wachsmuth |
| 1995 | Social Dilemmas in Computational Ecosystems. Tad Hogg |
| 1995 | Sound and Efficient Non-monotonic Inference. Hector Geffner, Jimena Llopis, Gisela Mendez |
| 1995 | Sparse Constraint Graphs and Exceptionally Hard Problems. Barbara M. Smith, Stuart A. Grant |
| 1995 | Specificity and Inheritance in Default Reasoning. Sek-Wah Tan, Judea Pearl |
| 1995 | Stochastic Inversion Transduction Grammars, with Application to Segmentation, Bracketing, and Alignment of Parallel Corpora. Dekai Wu |
| 1995 | Stochastic Search and Phase Transitions: AI Meets Physics. Bart Selman |
| 1995 | Stratified Case-Based Reasoning: Reusing Hierarchical Problem Solving Episodes. Karl Branting, David W. Aha |
| 1995 | Syntactic Conditional Closures for Defeasible Reasoning. James P. Delgrande |
| 1995 | Synthesizing Plant Controllers Using Real-time Goals. Michel Barbeau, Froduald Kabanza, Richard St-Denis |
| 1995 | Systematic Versus Stochastic Constraint Satisfaction. Eugene C. Freuder, Rina Dechter, Matthew L. Ginsberg, Bart Selman, Edward P. K. Tsang |
| 1995 | Task Allocation Via Coalition Formation Among Autonomous Agents. Onn Shehory, Sarit Kraus |
| 1995 | Terminological Logics with Modal Operators. Franz Baader, Armin Laux |
| 1995 | The Automatic Programming of Agents that Learn Mental Models and Create Simple Plans of Action. David Andre |
| 1995 | The BATmobile: Towards a Bayesian Automated Taxi. Jeff Forbes, Timothy Huang, Keiji Kanazawa, Stuart Russell |
| 1995 | The Canonical Decomposition of a Weighted Belief. Philippe Smets |
| 1995 | The Comparative Linguistics of Knowledge Representation. Goran Gogic, Henry A. Kautz, Christos H. Papadimitriou, Bart Selman |
| 1995 | The Complexity of Theory Revision. Russell Greiner |
| 1995 | The Focussed D* Algorithm for Real-Time Replanning. Anthony Stentz |
| 1995 | The Generic Frame Protocol. Peter D. Karp, Karen L. Myers, Thomas R. Gruber |
| 1995 | The Logic of Dynamic Systems. Michael Thielscher |
| 1995 | The Rationality and Decidability of Fuzzy Implications. Xiaochun Cheng, Yunfei Jiang, Xuhua Liu |
| 1995 | The Semantics of Intention Maintenance for Rational Agents. Michael P. Georgeff, Anand S. Rao |
| 1995 | The Trailblazer Search with a Hierarchical Abstract Map. Takahiro Sasaki, Fumihiko Chimura, Mario Tokoro |
| 1995 | The Use of Knowledge Preconditions in Language Processing. Karen E. Lochbaum |
| 1995 | Theoretical Analysis of Davis-Putnam Procedure and Propositional Satisfiability. Nobuhiro Yugami |
| 1995 | Topological Inference. Michelangelo Grigni, Dimitris Papadias, Christos H. Papadimitriou |
| 1995 | Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology. Nicholas Asher, Laure Vieu |
| 1995 | Towards Action Prediction Using a Mental-Level Model. Ronen I. Brafman, Moshe Tennenholtz |
| 1995 | Towards Efficient Default Reasoning. Ilkka Niemelä |
| 1995 | Trading off the Costs of Inference vs. Probing in Diagnosis. Johan de Kleer, Olivier Raiman |
| 1995 | Turing Test Considered Harmful. Patrick J. Hayes, Kenneth M. Ford |
| 1995 | Ubiquitous Talker: Spoken Language Interaction with Real World Objects. Katashi Nagao, Jun Rekimoto |
| 1995 | Understanding Neural Networks via Rule Extraction. Rudy Setiono, Huan Liu |
| 1995 | Unification-Based Glossing. Vasileios Hatzivassiloglou, Kevin Knight |
| 1995 | Unique Normal Forms and Confluence of Rewrite Systems: Persistence. Rakesh M. Verma |
| 1995 | Using CBR to Drive IR. Edwina L. Rissland, Jody J. Daniels |
| 1995 | Using Decision Trees for Coreference Resolution. Joseph F. McCarthy, Wendy G. Lehnert |
| 1995 | Using Inference to Reduce Arc Consistency Computation. Christian Bessière, Eugene C. Freuder, Jean-Charles Régin |
| 1995 | Using Information Content to Evaluate Semantic Similarity in a Taxonomy. Philip Resnik |
| 1995 | Using Introspective Reasoning to Refine Indexing. Susan Fox, David B. Leake |
| 1995 | Using Knowledge to Isolate Search in Route Finding. Bing Liu |
| 1995 | Using a Domain Theory to Guide Automated Modeling of Complex Physical Phenomena. Sui-ky Ringo Ling |
| 1995 | Using the Representation in a Neural Network's Hidden Layer for Task-Specific Focus of Attention. Shumeet Baluja, Dean Pomerleau |
| 1995 | Utilizing Moment Invariants and Gröbner Bases to Reason About Shapes. Haim Schweitzer, Janell Straach |
| 1995 | VERY Large Knowledge Bases - Architecture vs Engineering. James A. Hendler, Jaime G. Carbonell, Douglas B. Lenat, Riichiro Mizoguchi, Paul S. Rosenbloom |
| 1995 | Valued Constraint Satisfaction Problems: Hard and Easy Problems. Thomas Schiex, Hélène Fargier, Gérard Verfaillie |
| 1995 | Visual Routines and Visual Search: A Real-Time Implementation and an Automata-Theoretic Analysis. Ian Horswill |
| 1995 | Vive la difference! Individualised Interaction with Users. Judy Kay |
| 1995 | WIP: From Multimedia to Intellimedia. Elisabeth 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 |
| 1995 | What has AI in Common with Philosophy? John McCarthy |
| 1995 | What's in an Aggregate: Foundations for Description Logics with Tuples and Sets. Giuseppe De Giacomo, Maurizio Lenzerini |
| 1995 | Within the Letter of the Law: Open-Textured Planning. Kathryn E. Sanders |
| 1995 | k-Best: A New Method for Real-Time Decision Making. Joseph C. Pemberton |