Conferences in DBLP
Sourabh A. Niyogi Fitting Models to Distributed Representations of Vision. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:3-9 [Conf ] Rajesh P. N. Rao , Dana H. Ballard Natural Basis Functions and Topographic Memory for Face Recognition. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:10-19 [Conf ] Cornelia Fermüller , Yiannis Aloimonos Representations for Active Vision. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:20-26 [Conf ] Tomas Uhlin , Jan-Olof Eklundh Animate Vision in a Rich Environment. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:27-35 [Conf ] Steven Reece , Hugh F. Durrant-Whyte A Qualitative Approach to Sensor Data Fusion for Mobile Robot Navigation. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:36-41 [Conf ] Qi Zhao , Toyoaki Nishida Qualitative Interpretation of Spectral Images: Reasoning with Uncertain Evidence. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:42-49 [Conf ] Rajiv Chopra , Rohini K. Srihari Control Structures for Incorporating Picture-Specific Context in Image Interpretation. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:50-55 [Conf ] Ian Horswill Visual Routines and Visual Search: A Real-Time Implementation and an Automata-Theoretic Analysis. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:56-63 [Conf ] Robert W. Wisniewski , Christopher M. Brown Adaptable Planner Primitives for Real-World Robotic Applications. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:64-71 [Conf ] R. James Firby , Roger E. Kahn , Peter N. Prokopowicz , Michael J. Swain An Architecture for Vision and Action. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:72-81 [Conf ] Osamu Hasegawa , Katsunobu Itou , Takio Kurita , Satoru Hayamizu , Kazuyo Tanaka , Kazuhiko Yamamoto , Nobuyuki Otsu Active Agent Oriented Multimodal Interface System. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:82-87 [Conf ] Eric Krotkov Robotic Perception of Material. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:88-95 [Conf ] Ronen I. Brafman , Yoav Shoham Knowledge Considerations in Robotics and Distribution of Robotic Tasks. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:96-102 [Conf ] Milind Tambe , Paul S. Rosenbloom RESC: An Approach for Real-time, Dynamic Agent Tracking. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:103-111 [Conf ] Jun Tani Self-Organization of Symbolic Processes through Interaction with the Physical World. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:112-118 [Conf ] Bing Liu Using Knowledge to Isolate Search in Route Finding. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:119-125 [Conf ] Takayuki Nakamura , Minoru Asada Motion Sketch: Acquisition of Visual Motion Guided Behaviors. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:126-132 [Conf ] Shumeet Baluja , Dean Pomerleau Using the Representation in a Neural Network's Hidden Layer for Task-Specific Focus of Attention. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:133-141 [Conf ] Vikram Manikonda , James A. Hendler , P. S. Krishnaprasad Formalizing Behavior-based Planning for Nonholonomic Robots. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:142-149 [Conf ] David Poole Logic Programming for Robot Control. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:150-157 [Conf ] Kunio Kashino , Kazuhiro Nakadai , Tomoyoshi Kinoshita , Hidehiko Tanaka Organization of Hierarchical Perceptual Sounds: Music Scene Analysis with Autonomous Processing Modules and a Quantitative Information Integration Mechanism. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:158-164 [Conf ] Tomohiro Nakatani , Hiroshi G. Okuno , Takeshi Kawabata Residue-Driven Architecture for Computational Auditory Scene Analysis. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:165-174 [Conf ] Alan Bundy , Vincent Lombart Relational Rippling: A General Approach. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:175-181 [Conf ] Erica Melis A Model of Analogy-Driven Proof-Plan Construction. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:182-189 [Conf ] Thomas Kolbe , Christoph Walther Second-Order Matching modulo Evaluation: A Technique for Reusing Proofs. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:190-195 [Conf ] P. Pandurang Nayak , Alon Y. Levy A Semantic Theory of Abstractions. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:196-203 [Conf ] Katsumi Inoue , Chiaki Sakama Abductive Framework for Nonmonotonic Theory Change. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:204-210 [Conf ] Adnan Darwiche Model-Based Diagnosis using Causal Networks. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:211-219 [Conf ] Babak Hamidzadeh , Shashi Shekhar Deadline Compliance, Predictability, and On-line Optimization in Real-Time Problem Solving. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:220-226 [Conf ] Joseph C. Pemberton k-Best: A New Method for Real-Time Decision Making. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:227-235 [Conf ] Hermann Kaindl , Gerhard Kainz , Angelika Leeb , Harald Smetana How to Use Limited Memory in Heuristic Search. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:236-242 [Conf ] Subir Bhattacharya Experimenting with Revisits in Game Tree Search. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:243-251 [Conf ] Pang C. Chen On Bootstrapping Local Search with Trail-Markers. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:252-258 [Conf ] Takahiro Sasaki , Fumihiko Chimura , Mario Tokoro The Trailblazer Search with a Hierarchical Abstract Map. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:259-265 [Conf ] Richard E. Korf From Approximate to Optimal Solutions: A Case Study of Number Partitioning. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:266-272 [Conf ] Aske Plaat , Jonathan Schaeffer , Wim Pijls , Arie de Bruin Best-First Fixed-Depth Game-Tree Search in Practice. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:273-281 [Conf ] Nobuhiro Yugami Theoretical Analysis of Davis-Putnam Procedure and Propositional Satisfiability. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:282-288 [Conf ] Thierry Boy de la Tour , Stéphane Demri On the Complexity of Extending Ground Resolution with Symmetry Rules. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:289-297 [Conf ] Jian Zhang , Hantao Zhang SEM: a System for Enumerating Models. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:298-303 [Conf ] Byungki Cha , Kazuo Iwama Performance Test of Local Search Algorithms Using New Types of Random CNF Formulas. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:304-311 [Conf ] Ilkka Niemelä Towards Efficient Default Reasoning. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:312-318 [Conf ] Roni Khardon , Dan Roth Default-Reasoning with Models. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:319-327 [Conf ] Ricardo Caferra , Nicolas Peltier Extending Semantic Resolution via Automated Model Building: Applications. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:328-334 [Conf ] Peter Baumgartner , Ulrich Furbach , Frieder Stolzenburg Model Elimination, Logic Programming and Computing Answers. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:335-341 [Conf ] Anatoli Degtyarev , Andrei Voronkov Equality Elimination for the Inverse Method and Extension Procedures. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:342-347 [Conf ] Leo Bachmair , Ta Chen , I. V. Ramakrishnan , Siva Anantharaman , Jacques Chabin Experiments with Associative-Commutative Discrimination Nets. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:348-355 [Conf ] Elena Marchiori A Methodology for Proving Termination of General Logic Programs. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:356-361 [Conf ] Rakesh M. Verma Unique Normal Forms and Confluence of Rewrite Systems: Persistence. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:362-370 [Conf ] Kazuo Miyashita , Katia P. Sycara Improving System Performance in Case-Based Iterative Optimization through Knowledge Filtering. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:371-376 [Conf ] Barry Smyth , Mark T. Keane Remembering To Forget: A Competence-Preserving Case Deletion Policy for Case-Based Reasoning Systems. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:377-383 [Conf ] Karl Branting , David W. Aha Stratified Case-Based Reasoning: Reusing Hierarchical Problem Solving Episodes. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:384-390 [Conf ] Susan Fox , David B. Leake Using Introspective Reasoning to Refine Indexing. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:391-399 [Conf ] Edwina L. Rissland , Jody J. Daniels Using CBR to Drive IR. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:400-407 [Conf ] Kathryn E. Sanders Within the Letter of the Law: Open-Textured Planning. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:408-416 [Conf ] Anselm Blocher , Jörg R. J. Schirra Optional Deep Case Filling and Focus Control with Mental Images: ANTLIMA-KOREF. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:417-423 [Conf ] Ron Sun A Microfeature Based Approach Towards Metaphor Interpretation. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:424-431 [Conf ] Gunther Sablon , Luc De Raedt Forgetting and Compacting data in Concept Learning. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:432-438 [Conf ] Bruce Krulwich , Lawrence Birnbaum , Gregg Collins Determining What to Learn Through Component-Task Modeling. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:439-447 [Conf ] Philip Resnik Using Information Content to Evaluate Semantic Similarity in a Taxonomy. [Citation Graph (1, 0)][DBLP ] IJCAI, 1995, pp:448-453 [Conf ] Susan L. Epstein On Heuristic Reasoning, Reactivity, and Search. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:454-463 [Conf ] Daniel D. Fu , Kristian J. Hammond , Michael J. Swain Action and Perception in Man-Made Environments. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:464-472 [Conf ] Andreas Turk , Günther Görz Kanerva's Sparse Distributed Memory: An Object-Oriented Implementation on the Connection Machine. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:473-479 [Conf ] Rudy Setiono , Huan Liu Understanding Neural Networks via Rule Extraction. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:480-487 [Conf ] Zhe Ma , Robert F. Harrison , R. Lee Kennedy GR2: A Hybrid Knowledge-based System Using General Rules. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:488-493 [Conf ] Christoph S. Herrmann A Hybrid Fuzzy-Neural Expert System for Diagnosis. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:494-501 [Conf ] Fukumi Kozato A Hybrid Rule-based System: How Variables are Involved in Connectionist Rule-based Systems. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:502-508 [Conf ] Alessandro Sperduti , Antonina Starita , Christoph Goller Learning Distributed Representations for the Classification of Terms. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:509-517 [Conf ] Nathalie Japkowicz , Catherine Myers , Mark A. Gluck A Novelty Detection Approach to Classification. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:518-523 [Conf ] Richard Maclin , Jude W. Shavlik Combining the Predictions of Multiple Classifiers: Using Competitive Learning to Initialize Neural Networks. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:524-531 [Conf ] Hiroaki Kitano A Model for Hormonal Modulation of Learning. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:532-540 [Conf ] Grzegorz Kondrak , Peter van Beek A Theoretical Evaluation of Selected Backtracking Algorithms. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:541-547 [Conf ] Eugene C. Freuder , Paul D. Hubbe Extracting Constraint Satisfaction Subproblems. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:548-557 [Conf ] Roberto J. Bayardo Jr. , Daniel P. Miranker On the Space-Time Trade-off in Solving Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:558-562 [Conf ] Eugene C. Freuder , Richard J. Wallace Generalizing Inconsistency Learning for Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:563-571 [Conf ] Daniel Frost , Rina Dechter Look-Ahead Value Ordering for Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:572-578 [Conf ] Pedro Meseguer , Javier Larrosa Constraint Satisfaction as Global Optimization. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:579-585 [Conf ] Bing Liu Increasing Functional Constraints Need to Be Checked Only Once. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:586-591 [Conf ] Christian Bessière , Eugene C. Freuder , Jean-Charles Régin Using Inference to Reduce Arc Consistency Computation. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:592-599 [Conf ] Philippe Baptiste , Claude Le Pape A Theoretical and Experimental Comparison of Constraint Propagation Techniques for Disjunctive Scheduling. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:600-606 [Conf ] William D. Harvey , Matthew L. Ginsberg Limited Discrepancy Search. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:607-615 [Conf ] Kalev Kask , Rina Dechter GSAT and Local Consistency. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:616-623 [Conf ] Stefano Bistarelli , Ugo Montanari , Francesca Rossi Constraint Solving over Semirings. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:624-630 [Conf ] Thomas Schiex , Hélène Fargier , Gérard Verfaillie Valued Constraint Satisfaction Problems: Hard and Easy Problems. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:631-639 [Conf ] Michael Jampel , Sebastian Hunt Composition in Hierarchical CLP. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:640-645 [Conf ] Barbara M. Smith , Stuart A. Grant Sparse Constraint Graphs and Exceptionally Hard Problems. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:646-654 [Conf ] Onn Shehory , Sarit Kraus Task Allocation Via Coalition Formation Among Autonomous Agents. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:655-661 [Conf ] Tuomas Sandholm , Victor R. Lesser Coalition Formation among Bounded Rational Agents. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:662-671 [Conf ] Daniel Kuokka , Larry Harada Matchmaking for Information Agents. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:672-678 [Conf ] Eithan Ephrati , Martha E. Pollack , Sigalit Ur Deriving Multi-Agent Coordination through Filtering Strategies. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:679-687 [Conf ] Will Briggs , Diane J. Cook Flexible Social Laws. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:688-693 [Conf ] Tuomas Sandholm , Victor R. Lesser Equilibrium Analysis of the Possibilities of Unenforced Exchange in Multiagent Systems. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:694-703 [Conf ] Michael P. Georgeff , Anand S. Rao The Semantics of Intention Maintenance for Rational Agents. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:704-710 [Conf ] Tad Hogg Social Dilemmas in Computational Ecosystems. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:711-718 [Conf ] Jerzy W. Bala , Jeffrey Huang , Haleh Vafaie , Kenneth DeJong , Harry Wechsler Hybrid Learning Using Genetic Algorithms and Decision Trees for Pattern Classification. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:719-724 [Conf ] Sandip Sen , Leslie Knight A Genetic Prototype Learner. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:725-733 [Conf ] John R. Koza Gene Duplication to Enable Genetic Programming to Concurrently Evolve Both the Architecture and Work-Performing Steps of a Computer Program. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:734-740 [Conf ] David Andre The Automatic Programming of Agents that Learn Mental Models and Create Simple Plans of Action. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:741-750 [Conf ] Peter D. Karp , Suzanne M. Paley Knowledge Representation in the Large. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:751-758 [Conf ] Vinay K. Chaudhri , John Mylopoulos Efficient Algorithms and Performance Results for Multi-User Knowledge Bases. [Citation Graph (1, 0)][DBLP ] IJCAI (1), 1995, pp:759-767 [Conf ] Peter D. Karp , Karen L. Myers , Thomas R. Gruber The Generic Frame Protocol. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:768-774 [Conf ] Abdel-Illah Mouaddib , Shlomo Zilberstein Knowledge-Based Anytime Computation. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:775-783 [Conf ] Johann Gamper , Wolfgang Nejdl Proposing Measurements in Dynamic Systems. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:784-790 [Conf ] Michel Barbeau , Froduald Kabanza , Richard St.-Denis Synthesizing Plant Controllers Using Real-time Goals. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:791-800 [Conf ] Giuseppe De Giacomo , Maurizio Lenzerini What's in an Aggregate: Foundations for Description Logics with Tuples and Sets. [Citation Graph (1, 0)][DBLP ] IJCAI (1), 1995, pp:801-807 [Conf ] Franz Baader , Armin Laux Terminological Logics with Modal Operators. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:808-815 [Conf ] Deborah L. McGuinness , Alexander Borgida Explaining Subsumption in Description Logics. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:816-821 [Conf ] Mary-Anne Williams , Maurice Pagnucco , Norman Y. Foo , Brailey Sims Determining Explanations using Transmutations. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:822-829 [Conf ] Alvaro del Val An Analysis of Approximate Knowledge Compilation. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:830-836 [Conf ] Pierre Marquis Knowledge Compilation Using Theory Prime Implicates. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:837-845 [Conf ] Nicholas Asher , Laure Vieu Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology. [Citation Graph (1, 0)][DBLP ] IJCAI (1), 1995, pp:846-852 [Conf ] Gerhard Lakemeyer A Logical Account of Relevance. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:853-861 [Conf ] Goran Gogic , Henry A. Kautz , Christos H. Papadimitriou , Bart Selman The Comparative Linguistics of Knowledge Representation. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:862-869 [Conf ] Thomas Eiter , Georg Gottlob , Nicola Leone Semantics and Complexity of Abduction from Default Theories. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:870-877 [Conf ] Michael Anderson , Robert McCartney Inter-diagrammatic Reasoning. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:878-884 [Conf ] Shirley Tessler , Yumi Iwasaki , Kincho H. Law Qualitative Structural Analysis Using Diagrammatic Reasoning. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:885-893 [Conf ] Jérôme Euzenat An Algebraic Approach to Granularity in Qualitative Time and Space Representation. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:894-900 [Conf ] Michelangelo Grigni , Dimitris Papadias , Christos H. Papadimitriou Topological Inference. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:901-907 [Conf ] Haim Schweitzer , Janell Straach Utilizing Moment Invariants and Gröbner Bases to Reason About Shapes. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:908-914 [Conf ] Amitabha Mukerjee , Manish Agarwal , Praveen Bhatia A Qualitative Discretization for Two-Body Contacts. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:915-923 [Conf ] Henry Lieberman Letizia: An Agent That Assists Web Browsing. [Citation Graph (2, 0)][DBLP ] IJCAI (1), 1995, pp:924-929 [Conf ] Mike Perkowitz , Oren Etzioni Category Translation: Learning to Understand Information on the Internet. [Citation Graph (1, 0)][DBLP ] IJCAI (1), 1995, pp:930-938 [Conf ] Herbert A. Simon Explaining the Ineffable: AI on the Topics of Intuition, Insight and Inspiration. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:939-949 [Conf ] Stuart J. Russell Rationality and Intelligence. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:950-960 [Conf ] Jonathan Maresky , Yuval Davidor , Daniel Gitler , Gad Aharoni , Amnon Barak Profiling Communication in Distributed Genetic Algorithms. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:961-966 [Conf ] Barbara Hayes-Roth Agents on Stage: Advancing the State of the Art of AI. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:967-971 [Conf ] Patrick J. Hayes , Kenneth M. Ford Turing Test Considered Harmful. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:972-977 [Conf ] Judy Kay Vive la difference! Individualised Interaction with Users. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:978-984 [Conf ] Jeffrey O. Kephart , Gregory B. Sorkin , William C. Arnold , David M. Chess , Gerald Tesauro , Steve R. White Biologically Inspired Defenses Against Computer Viruses. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:985-996 [Conf ] Stephen Muggleton Inductive Logic Programming: Inverse Resolution and Beyond. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:997- [Conf ] Bart Selman Stochastic Search and Phase Transitions: AI Meets Physics. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:998-1002 [Conf ] Demetri Terzopoulos Modeling Living Systems for Computer Vision. [Citation Graph (0, 0)][DBLP ] IJCAI (1), 1995, pp:1003-1013 [Conf ] J. Ross Quinlan , R. Mike Cameron-Jones Oversearching and Layered Search in Empirical Learning. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1019-1024 [Conf ] Sreerama K. Murthy , Steven Salzberg Lookahead and Pathology in Decision Tree Induction. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1025-1033 [Conf ] Igor Kononenko On Biases in Estimating Multi-Valued Attributes. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1034-1040 [Conf ] Julio Ortega , Douglas Fisher Flexibly Exploiting Prior Knowledge in Empirical Learning. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1041-1049 [Conf ] Joseph F. McCarthy , Wendy G. Lehnert Using Decision Trees for Coreference Resolution. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1050-1055 [Conf ] Lawrence B. Holder Intermediate Decision Trees. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1056-1063 [Conf ] Zijian Zheng Constructing Nominal X-of-N Attributes. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1064-1070 [Conf ] Ron Kohavi , Chia-Hsin Li Oblivious Decision Trees, Graphs, and Top-Down Pruning. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1071-1079 [Conf ] Reid G. Simmons , Sven Koenig Probabilistic Robot Navigation in Partially Observable Environments. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1080-1087 [Conf ] Ronald Parr , Stuart J. Russell Approximating Optimal Policies for Partially Observable Stochastic Domains. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1088-1095 [Conf ] Craig Boutilier , Martin L. Puterman Process-Oriented Planning and Average-Reward Optimality. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1096-1103 [Conf ] Craig Boutilier , Richard Dearden , Moisés Goldszmidt Exploiting Structure in Policy Construction. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1104-1113 [Conf ] Wei Zhang , Thomas G. Dietterich A Reinforcement Learning Approach to job-shop Scheduling. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1114-1120 [Conf ] Thomas Dean , Shieu-Hong Lin Decomposition Techniques for Planning in Stochastic Domains. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1121-1129 [Conf ] Hee-Joong Kang , Jin H. Kim Dependency Relationship Based Decision Combination in Multiple Classifier Systems. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1130-1136 [Conf ] Ron Kohavi A Study of Cross-Validation and Bootstrap for Accuracy Estimation and Model Selection. [Citation Graph (2, 0)][DBLP ] IJCAI, 1995, pp:1137-1145 [Conf ] Stuart J. Russell , John Binder , Daphne Koller , Keiji Kanazawa Local Learning in Probabilistic Networks with Hidden Variables. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1146-1152 [Conf ] Gerald DeJong , Scott Bennett Extending Classical Planning to Real-World Execution with Machine Learning. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1153-1161 [Conf ] Russell Greiner The Complexity of Theory Revision. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1162-1168 [Conf ] Dale Schuurmans , Russell Greiner Practical PAC Learning. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1169-1177 [Conf ] Dan Roth Learning to Reason: The Non-Monotonic Case. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1178-1184 [Conf ] Daphne Koller , Avi Pfeffer Generating and Solving Imperfect Information Games. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1185-1193 [Conf ] Henrik Boström Covering vs. Divide-and-Conquer for Top-Down Induction of Logic Programs. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1194-1200 [Conf ] Hilde Adé , Marc Denecker AILP: Abductive Inductive Logic Programming. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1201-1209 [Conf ] Alan M. Frisch , C. David Page Jr. Building Theories into Instantiation. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1210-1216 [Conf ] Sebastian Thrun , Tom M. Mitchell Learning One More Thing. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1217-1225 [Conf ] Pedro Domingos Rule Induction and Instance-Based Learning: A Unified Approach. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1226-1232 [Conf ] Kan Deng , Andrew W. Moore Multiresolution Instance-Based Learning. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1233-1242 [Conf ] Jennifer Chu-Carroll , Sandra Carberry Generating Information-Sharing Subdialogues in Expert-User Consultation. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1243-1250 [Conf ] Ingrid Zukerman , Richard McConachy Generating Discourse across Several User Models: Maximizing Belief while Avoiding Boredom and Overload. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1251-1259 [Conf ] Karen E. Lochbaum The Use of Knowledge Preconditions in Language Processing. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1260-1266 [Conf ] Rebecca J. Passonneau Integrating Gricean and Attentional Constraints. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1267-1275 [Conf ] Vibhu O. Mittal , Steven F. Roth , Johanna D. Moore , Joe Mattis , Giuseppe Carenini Generating Explanatory Captions for Information Graphics. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1276-1283 [Conf ] Katashi Nagao , Jun Rekimoto Ubiquitous Talker: Spoken Language Interaction with Real World Objects. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1284-1291 [Conf ] Mark Steedman Dynamic Semantics for Tense and Aspect. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1292-1298 [Conf ] Bonnie J. Dorr , Terry Gaasterland Selecting Tense, Aspect, and Connecting Words In Language Generation. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1299-1307 [Conf ] Takenobu Tokunaga , Makoto Iwayama , Hozumi Tanaka Automatic Thesaurus Construction based on Grammatical Relations. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1308-1313 [Conf ] Stephen Soderland , David Fisher , Jonathan Aseltine , Wendy G. Lehnert CRYSTAL: Inducing a Conceptual Dictionary. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1314-1321 [Conf ] Makoto Iwayama , Takenobu Tokunaga Hierarchical Bayesian Clustering for Automatic Text Classification. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1322-1327 [Conf ] Dekai Wu Stochastic Inversion Transduction Grammars, with Application to Segmentation, Bracketing, and Alignment of Parallel Corpora. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1328-1337 [Conf ] Fei Song , Robin Cohen Improving Heuristic-Based Temporal Analysis of Narratives with Aspect Determination. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1338-1345 [Conf ] Marc B. Vilain Semantic Inference in Natural Language: Validating a Tractable Approach. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1346-1353 [Conf ] Saliha Azzam Anaphors, PPs and Disambiguation Process for Conceptual Analysis. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1354-1359 [Conf ] Tetsuya Nasukawa , Naohiko Uramoto Discourse as a Knowledge Resource for Sentence Disambiguation. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1360-1367 [Conf ] Xiaobin Li , Stan Szpakowicz , Stan Matwin A WordNet-based Algorithm for Word Sense Disambiguation. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1368-1374 [Conf ] Kenneth B. Haase Analogy in the Large. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1375-1381 [Conf ] Vasileios Hatzivassiloglou , Kevin Knight Unification-Based Glossing. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1382-1389 [Conf ] Kevin Knight , Ishwar Chander , Matthew Haines , Vasileios Hatzivassiloglou , Eduard H. Hovy , Masayo Iida , Steve K. Luk , Richard Whitney , Kenji Yamada Filling Knowledge Gaps in a Broad-Coverage Machine Translation System. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1390-1397 [Conf ] Cécile Paris , Keith Vander Linden , Markus Fischer , Anthony Hartley , Lyn Pemberton , Richard Power , Donia Scott A Support Tool for Writing Multilingual Instructions. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1398-1404 [Conf ] Arne Jönsson Dialogue Actions for Natural Language Interfaces. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1405-1413 [Conf ] Christer Samuelsson An Efficient Algorithm for Surface Generation. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1414-1419 [Conf ] Dekang Lin A Dependency-based Method for Evaluating Broad-Coverage Parsers. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1420-1427 [Conf ] Hans-Ulrich Krieger , Ulrich Schäfer Efficient Parameterizable Type Expansion for Typed Feature Formalisms. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1428-1434 [Conf ] Osamu Imaichi , Yuji Matsumoto Integration of Syntactic, Semantic and Contextual Information in Processing Grammatically Ill-Formed Inputs. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1435-1442 [Conf ] Claudette Cayrol On the Relation between Argumentation and Non-monotonic Coherence-Based Entailment. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1443-1448 [Conf ] Salem Benferhat , Didier Dubois , Henri Prade How to Infer from Inconsisent Beliefs without Revising? [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1449-1457 [Conf ] Ronen I. Brafman , Nir Friedman On Decision-Theoretic Foundations for Defaults. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1458-1465 [Conf ] Michael Morreau Allowed Arguments. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1466-1473 [Conf ] Jussi Rintanen On Specificity in Default Logic. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1474-1479 [Conf ] Sek-Wah Tan , Judea Pearl Specificity and Inheritance in Default Reasoning. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1480-1487 [Conf ] James P. Delgrande Syntactic Conditional Closures for Defeasible Reasoning. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1488-1494 [Conf ] Hector Geffner , Jimena Llopis , Gisela Mendez Sound and Efficient Non-monotonic Inference. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1495-1501 [Conf ] Patrick Doherty , Witold Lukaszewicz , Andrzej Szalas Computing Circumscription Revisited: Preliminary Report. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1502-1508 [Conf ] Artur Mikitiuk , Miroslaw Truszczynski Constrained and Rational Default Logics. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1509-1517 [Conf ] Alexander Bochman On Bimodal Nonmonotonic Logics and Their Unimodal and Nonmodal Equivalents. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1518-1524 [Conf ] Leendert W. N. van der Torre , Yao-Hua Tan Cancelling and Overshadowing: Two Types of Defeasibility in Defeasible Deontic Logic. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1525-1533 [Conf ] Daniel J. Lehmann Belief Revision, Revised. [Citation Graph (1, 0)][DBLP ] IJCAI, 1995, pp:1534-1540 [Conf ] Mary-Anne Williams Iterated Theory Base Change: A Computational Model. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1541-1549 [Conf ] Craig Boutilier Generalized Update: Belief Change in Dynamic Settings. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1550-1556 [Conf ] Paolo Liberatore , Marco Schaerf Relating Belief Revision and Circumscription. [Citation Graph (1, 0)][DBLP ] IJCAI, 1995, pp:1557-1566 [Conf ] Gregg Collins , Louise Pryor Planning Under Uncertainty: Some Key Issues. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1567-1575 [Conf ] Shlomo Zilberstein Optimizing Decision Quality with Contract Algorithms. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1576-1582 [Conf ] John L. Bresina , Mark Drummond , Keith Swanson Expected Solution Quality. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1583-1591 [Conf ] Kutluhan Erol , James A. Hendler , Dana S. Nau , Reiko Tsuneto A Critical Look at Critics in HTN Planning. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1592-1598 [Conf ] Christer Bäckström , Peter Jonsson Planning with Abstraction Hierarchies can be Exponentially Less Efficient. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1599-1605 [Conf ] Eugene Fink , Qiang Yang Planning with Primary Effects: Experiments and Analysis. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1606-1611 [Conf ] Amy L. Lansky , Lise Getoor Scope and Abstraction: Two Criteria for Localized Planning. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1612-1619 [Conf ] Raghavan Srinivasan , Adele E. Howe Comparison of Methods for Improving Search Efficiency in a Partial-Order Planner. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1620-1626 [Conf ] Subbarao Kambhampati Admissible Pruning Strategies based on plan minimality for Plan-Space Planning. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1627-1635 [Conf ] Avrim Blum , Merrick L. Furst Fast Planning Through Planning Graph Analysis. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1636-1642 [Conf ] Philippe Laborie , Malik Ghallab Planning with Sharable Resource Constraints. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1643-1651 [Conf ] Anthony Stentz The Focussed D* Algorithm for Real-Time Replanning. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1652-1659 [Conf ] Sven Koenig , Reid G. Simmons Real-Time Search in Non-Deterministic Domains. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1660-1669 [Conf ] Dana S. Nau , Satyandra K. Gupta , William C. Regli AI Planning Versus Manufacturing-Operation Planning: A Case Study. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1670-1676 [Conf ] J. M. Britanik , Michael M. Marefat Hierarchical Plan Merging with Application to Process Planning. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1677-1685 [Conf ] Craig A. Knoblock Planning, Executing, Sensing, and Replanning for Information Gathering. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1686-1693 [Conf ] Berthe Y. Choueiry , Boi Faltings , Rainer Weigel Abstraction by Interchangeability in Resource Allocation. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1694-1703 [Conf ] Neal Lesh , Oren Etzioni A Sound and Fast Goal Recognizer. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1704-1710 [Conf ] Yoshihiko Hayashi Recovering Problem-Solving Activities from Query Messages. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1711-1720 [Conf ] Wolfgang Nejdl , Peter Fröhlich , Michael Schroeder A Formal Framework for Representing Diagnosis Strategies in Model-Based Diagnosis Systems. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1721-1727 [Conf ] Claudia Böttcher No Faults in Structure? How to Diagnose Hidden Interactions. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1728-1735 [Conf ] Johan de Kleer , Olivier Raiman Trading off the Costs of Inference vs. Probing in Diagnosis. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1736-1741 [Conf ] Yousri El Fattah , Rina Dechter Diagnosing Tree-Decomposable Circuits. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1742-1749 [Conf ] Koichi Kurumatani Generating Causal Networks for Mobile Multi-Agent Systems with Qualitative Regions. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1750-1756 [Conf ] Bradley L. Richards , Boi Faltings , Peter Duxbury-Smith Case-based Modeling with Qualitative Indices. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1757-1765 [Conf ] Sui-ky Ringo Ling Using a Domain Theory to Guide Automated Modeling of Complex Physical Phenomena. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1766-1772 [Conf ] Yumi Iwasaki , Adam Farquhar , Vijay A. Saraswat , Daniel G. Bobrow , Vineet Gupta Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"? [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1773-1781 [Conf ] Kenneth Yip Reasoning about Fluid Motion I: Finding Structures. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1782-1788 [Conf ] Ulrich Junker , Bertrand Braunschweig History-based Interpretation of Finite Element Simulations of Seismic Wave Fields. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1789-1797 [Conf ] Kenneth D. Forbus , Brian Falkenhainer Scaling up Self-Explanatory Simulators: Polynomial-time Compilation. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1798-1805 [Conf ] Marcos Vescovi , Adam Farquhar , Yumi Iwasaki Numerical Interval Simulation: Combined Qualitative and Quantitative Simulation to Bound Behaviors of Non-Monotonic Systems. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1806-1813 [Conf ] James M. Crawford , Daniel Dvorak , Diane J. Litman , Anil Mishra , Peter F. Patel-Schneider Device Representation and Reasoning with Affective Relations. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1814-1820 [Conf ] Richard J. Doyle Determining the Loci of Anomalies Using Minimal Causal Models. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1821-1829 [Conf ] Munehiko Sasajima , Yoshinobu Kitamura , Mitsuru Ikeda , Riichiro Mizoguchi FBRL: A Function and Behavior Representation Language. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1830-1836 [Conf ] John O. Everett A Theory of Mapping from Structure to Function Applied to Engineering Thermodynamics. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1837-1846 [Conf ] Manfred Jaeger Minimum Cross-Entropy Reasoning: A Statistical Justification. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1847-1852 [Conf ] Joseph Y. Halpern , Daphne Koller Representation Dependence in Probabilistic Inference. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1853-1861 [Conf ] Pierre Hansen , Brigitte Jaumard , Guy-Blaise Douanya Nguetsé , Marcus Poggi de Aragão Models and Algorithms for Probabilistic and Bayesian Logic. [Citation Graph (1, 0)][DBLP ] IJCAI, 1995, pp:1862-1868 [Conf ] Marco Ramoni Ignorant Influence Diagrams. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1869-1877 [Conf ] Jeff Forbes , Timothy Huang , Keiji Kanazawa , Stuart J. Russell The BATmobile: Towards a Bayesian Automated Taxi. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1878-1885 [Conf ] Anthony Jameson , Ralph Schäfer , Joep Simons , Thomas Weis Adaptive Provision of Evaluation-Oriented Information: Tasks and Techniques. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1886-1895 [Conf ] Philippe Smets The Canonical Decomposition of a Weighted Belief. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1896-1901 [Conf ] Ronald R. Yager On the Representation of Nonmontonic Relations in the Theory of Evidence. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1902-1909 [Conf ] Xiaochun Cheng , Yunfei Jiang , Xuhua Liu The Rationality and Decidability of Fuzzy Implications. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1910-1915 [Conf ] Lluis Godo , Lluís Vila Possibilistic Temporal Reasoning based on Fuzzy Temporal Constraints. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1916-1923 [Conf ] Didier Dubois , Henri Prade Possibility Theory as a Basis for Qualitative Decision Theory. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1924-1932 [Conf ] Fahiem Bacchus , Joseph Y. Halpern , Hector J. Levesque Reasoning about Noisy Sensors in the Situation Calculus. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1933-1940 [Conf ] Paolo Traverso , Luca Spalazzi A Logic for Acting, Sensing and Planning. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1941-1949 [Conf ] Witold Lukaszewicz , Ewa Madalinska-Bugaj Reasoning about Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1950-1955 [Conf ] Michael Thielscher The Logic of Dynamic Systems. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1956-1963 [Conf ] Enrico Giunchiglia , Vladimir Lifschitz Dependent Fluents. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1964-1969 [Conf ] G. Neelakantan Kartha , Vladimir Lifschitz A Simple Formalization of Actions Using Circumscription. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1970-1977 [Conf ] Norman McCain , Hudson Turner A Causal Theory of Ramifications and Qualifications. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1978-1984 [Conf ] Fangzhen Lin Embracing Causality in Specifying the Indirect Effects of Actions. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1985-1993 [Conf ] Michael Thielscher Computing Ramifications by Postprocessing. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:1994-2000 [Conf ] Fangzhen Lin , Raymond Reiter How to Progress a Database II: The STRIPS Connection. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:2001-2009 [Conf ] Ronen I. Brafman , Moshe Tennenholtz Towards Action Prediction Using a Mental-Level Model. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:2010-2016 [Conf ] Chitta Baral Reasoning about actions: Non-deterministic effects, Constraints, and Qualification. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:2017-2026 [Conf ] Eugene C. Freuder , Rina Dechter , Matthew L. Ginsberg , Bart Selman , Edward P. K. Tsang Systematic Versus Stochastic Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:2027-2032 [Conf ] James A. Hendler , Jaime G. Carbonell , Douglas B. Lenat , Riichiro Mizoguchi , Paul S. Rosenbloom VERY Large Knowledge Bases - Architecture vs Engineering. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:2033-2036 [Conf ] Aaron Sloman A Philosophical Encounter. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:2037-2040 [Conf ] John McCarthy What has AI in Common with Philosophy? [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:2041-2044 [Conf ] Deborah L. McGuinness , Lori Alperin Resnick , Charles Lee Isbell Jr. Description Logic in Practice: A CLASSIC Application. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:2045-2046 [Conf ] Marti A. Hearst , Jan O. Pedersen Revealing Collection Structure through Information Access Interfaces. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:2047-2048 [Conf ] Jiawei Han , Yongjian Fu , Simon Tang Advances of the DBLearn System for Knowledge Discovery in Large Databases. [Citation Graph (1, 0)][DBLP ] IJCAI, 1995, pp:2049-2050 [Conf ] Peter N. Prokopowicz , Paul R. Cooper IRV: Learning to Integrate Visual Information Across Camera Movements. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:2051-2052 [Conf ] 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 WIP: From Multimedia to Intellimedia. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:2053-2054 [Conf ] Boi Faltings , Kun Sun Computer-Aided Creative Mechanism Design. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:2055-2056 [Conf ] Edmund Furse Learning University Mathematics. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:2057-2058 [Conf ] Innes A. Ferguson , James D. Davlouros PeopleFinder: a Multimodal Multimedia Communications Tool for Interconnecting Office Staff. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:2059-2060 [Conf ] Yong Cao , Bernhard Jung , Ipke Wachsmuth Situated Verbal Interaction in Virtual Design and Assembly. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:2061-2062 [Conf ] Arun Katkere , Don Y. Kuramura , Saied Moezzi , Patrick H. Kelly , Deborah Swanberg , Koji Wakimoto , Edward Hunter , Li-Cheng Tai , Shankar Chatterjee , Ramesh Jain Multiple Perspective Interactive Video. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:2063-2064 [Conf ] Scott Bennett , Gerald DeJong GRASPER: A Permissive Planning Robot. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:2065-2066 [Conf ] Usama M. Fayyad SKICAT: Sky Image Cataloging and Analysis Tool. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:2067-2068 [Conf ] Creve Maples , Craig Peterson MUSE (Multidimensional User-Oriented Synthetic Environment): A New Approach to the Human-Computer Interface Using Precognitive Models of Perception. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:2069-2070 [Conf ] Kristian J. Hammond , Robin D. Burke , Steven L. Lytinen A Case-Based Approach to Knowledge Navigation. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:2071-2072 [Conf ] Pattie Maes , Bruce Blumberg , Trevor Darrell , Alex Pentland , Alan Wexelblat Modeling Interactive Agents in ALIVE. [Citation Graph (0, 0)][DBLP ] IJCAI, 1995, pp:2073-2074 [Conf ]