Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar14. IJCAI 1995: Montréal, Québec, Canada
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, Montréal Québec, Canada, August 20-25 1995, 2 Volumes. Morgan Kaufmann 1995
VOLUME 1
Action and Perception
Vision: Early Vision
- Rajesh P. N. Rao, Dana H. Ballard:
Natural Basis Functions and Topographic Memory for Face Recognition. IJCAI 1995: 10-19
Vison: Active Vision
Vision: Qualitative Methods
- Steven Reece, Hugh F. Durrant-Whyte:
A Qualitative Approach to Sensor Data Fusion for Mobile Robot Navigation. IJCAI 1995: 36-41 - Qi Zhao, Toyoaki Nishida:
Qualitative Interpretation of Spectral Images: Reasoning with Uncertain Evidence. IJCAI 1995: 42-49
Vision: Systems and Architectures 1
- Rajiv Chopra, Rohini K. Srihari:
Control Structures for Incorporating Picture-Specific Context in Image Interpretation. IJCAI 1995: 50-55 - Ian Horswill:
Visual Routines and Visual Search: A Real-Time Implementation and an Automata-Theoretic Analysis. IJCAI 1995: 56-63
Vision: Systems and Architectures 2
- Robert W. Wisniewski, Christopher M. Brown:
Adaptable Planner Primitives for Real-World Robotic Applications. IJCAI 1995: 64-71 - R. James Firby, Roger E. Kahn, Peter N. Prokopowicz, Michael J. Swain:
An Architecture for Vision and Action. IJCAI 1995: 72-81
Vision: Vision and Other Perception
- Osamu Hasegawa, Katsunobu Itou, Takio Kurita, Satoru Hayamizu, Kazuyo Tanaka, Kazuhiko Yamamoto, Nobuyuki Otsu:
Active Agent Oriented Multimodal Interface System. IJCAI 1995: 82-87
Robotics: Multi-Agent Systems
- Ronen I. Brafman, Yoav Shoham:
Knowledge Considerations in Robotics and Distribution of Robotic Tasks. IJCAI 1995: 96-102 - Milind Tambe, Paul S. Rosenbloom:
RESC: An Approach for Real-time, Dynamic Agent Tracking. IJCAI 1995: 103-111
Robotics: Navigation
- Jun Tani:
Self-Organization of Symbolic Processes through Interaction with the Physical World. IJCAI 1995: 112-118
Robotics: Learning
- Takayuki Nakamura, Minoru Asada:
Motion Sketch: Acquisition of Visual Motion Guided Behaviors. IJCAI 1995: 126-132 - Shumeet Baluja, Dean Pomerleau:
Using the Representation in a Neural Network's Hidden Layer for Task-Specific Focus of Attention. IJCAI 1995: 133-141
Robotics: Formal Methods
- Vikram Manikonda, James A. Hendler, P. S. Krishnaprasad:
Formalizing Behavior-based Planning for Nonholonomic Robots. IJCAI 1995: 142-149
Auditory Scene Analysis
- 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. IJCAI 1995: 158-164 - Tomohiro Nakatani, Hiroshi G. Okuno, Takeshi Kawabata:
Residue-Driven Architecture for Computational Auditory Scene Analysis. IJCAI 1995: 165-174
Automated Reasoning
Proof Planning
Analogy and Abstraction
- Thomas Kolbe, Christoph Walther:
Second-Order Matching modulo Evaluation: A Technique for Reusing Proofs. IJCAI 1995: 190-195
Abduction
- Katsumi Inoue, Chiaki Sakama:
Abductive Framework for Nonmonotonic Theory Change. IJCAI 1995: 204-210
Search 1
- Babak Hamidzadeh, Shashi Shekhar:
Deadline Compliance, Predictability, and On-line Optimization in Real-Time Problem Solving. IJCAI 1995: 220-226
Search 2
- Hermann Kaindl, Gerhard Kainz, Angelika Leeb, Harald Smetana:
How to Use Limited Memory in Heuristic Search. IJCAI 1995: 236-242
Search 3
- Takahiro Sasaki, Fumihiko Chimura, Mario Tokoro:
The Trailblazer Search with a Hierarchical Abstract Map. IJCAI 1995: 259-265
Search 4
- Richard E. Korf:
From Approximate to Optimal Solutions: A Case Study of Number Partitioning. IJCAI 1995: 266-272 - Aske Plaat, Jonathan Schaeffer, Wim Pijls, Arie de Bruin:
Best-First Fixed-Depth Game-Tree Search in Practice. IJCAI 1995: 273-281
Satisfiability 1
- Nobuhiro Yugami:
Theoretical Analysis of Davis-Putnam Procedure and Propositional Satisfiability. IJCAI 1995: 282-288 - Thierry Boy de la Tour, Stéphane Demri:
On the Complexity of Extending Ground Resolution with Symmetry Rules. IJCAI 1995: 289-297
Satisfiability 2
- Byungki Cha, Kazuo Iwama:
Performance Test of Local Search Algorithms Using New Types of Random CNF Formulas. IJCAI 1995: 304-311
Defaults
Theorem Proving 1
- Ricardo Caferra, Nicolas Peltier:
Extending Semantic Resolution via Automated Model Building: Applications. IJCAI 1995: 328-334 - Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg:
Model Elimination, Logic Programming and Computing Answers. IJCAI 1995: 335-341
Theorem Proving 2
- Anatoli Degtyarev, Andrei Voronkov:
Equality Elimination for the Inverse Method and Extension Procedures. IJCAI 1995: 342-347 - Leo Bachmair, Ta Chen, I. V. Ramakrishnan, Siva Anantharaman, Jacques Chabin:
Experiments with Associative-Commutative Discrimination Nets. IJCAI 1995: 348-355
Reasoning about Programs
- Elena Marchiori:
A Methodology for Proving Termination of General Logic Programs. IJCAI 1995: 356-361 - Rakesh M. Verma:
Unique Normal Forms and Confluence of Rewrite Systems: Persistence. IJCAI 1995: 362-370
Case Based Reasoning
Case Based Reasoning 1
- Kazuo Miyashita, Katia P. Sycara:
Improving System Performance in Case-Based Iterative Optimization through Knowledge Filtering. IJCAI 1995: 371-376 - Barry Smyth, Mark T. Keane:
Remembering To Forget: A Competence-Preserving Case Deletion Policy for Case-Based Reasoning Systems. IJCAI 1995: 377-383
Case Based Reasoning 2
- Karl Branting, David W. Aha:
Stratified Case-Based Reasoning: Reusing Hierarchical Problem Solving Episodes. IJCAI 1995: 384-390
Case Based Reasoning 3
Cognitive Modelling
Cognitive Modelling 1
- Anselm Blocher, Jörg R. J. Schirra:
Optional Deep Case Filling and Focus Control with Mental Images: ANTLIMA-KOREF. IJCAI 1995: 417-423
Cognitive Modelling 2
- Gunther Sablon, Luc De Raedt:
Forgetting and Compacting data in Concept Learning. IJCAI 1995: 432-438 - Bruce Krulwich, Lawrence Birnbaum, Gregg Collins:
Determining What to Learn Through Component-Task Modeling. IJCAI 1995: 439-447
Cognitive Modelling 3
- Philip Resnik:
Using Information Content to Evaluate Semantic Similarity in a Taxonomy. IJCAI 1995: 448-453
Cognitive Modelling 4
- Daniel D. Fu, Kristian J. Hammond, Michael J. Swain:
Action and Perception in Man-Made Environments. IJCAI 1995: 464-472
Connectionist Models
Connectionist Models 1
- Andreas Turk, Günther Görz:
Kanerva's Sparse Distributed Memory: An Object-Oriented Implementation on the Connection Machine. IJCAI 1995: 473-479
Connectionist Models 2
- Zhe Ma, Robert F. Harrison, R. Lee Kennedy:
GR2: A Hybrid Knowledge-based System Using General Rules. IJCAI 1995: 488-493
Connectionist Models 3
- Fukumi Kozato:
A Hybrid Rule-based System: How Variables are Involved in Connectionist Rule-based Systems. IJCAI 1995: 502-508 - Alessandro Sperduti, Antonina Starita, Christoph Goller:
Learning Distributed Representations for the Classification of Terms. IJCAI 1995: 509-517
Connectionist Models 4
- Nathalie Japkowicz, Catherine Myers, Mark A. Gluck:
A Novelty Detection Approach to Classification. IJCAI 1995: 518-523 - Richard Maclin, Jude W. Shavlik:
Combining the Predictions of Multiple Classifiers: Using Competitive Learning to Initialize Neural Networks. IJCAI 1995: 524-531
Connectionist Models 5
Constraint Satisfaction
Constraint Satisfaction 1
- Grzegorz Kondrak, Peter van Beek:
A Theoretical Evaluation of Selected Backtracking Algorithms. IJCAI 1995: 541-547 - Eugene C. Freuder, Paul D. Hubbe:
Extracting Constraint Satisfaction Subproblems. IJCAI 1995: 548-557
Constraint Satisfaction 2
- Roberto J. Bayardo Jr., Daniel P. Miranker:
On the Space-Time Trade-off in Solving Constraint Satisfaction Problems. IJCAI 1995: 558-562 - Eugene C. Freuder, Richard J. Wallace:
Generalizing Inconsistency Learning for Constraint Satisfaction. IJCAI 1995: 563-571
Constraint Satisfaction 3
- Daniel Frost, Rina Dechter:
Look-Ahead Value Ordering for Constraint Satisfaction Problems. IJCAI (1) 1995: 572-578 - Pedro Meseguer, Javier Larrosa:
Constraint Satisfaction as Global Optimization. IJCAI (1) 1995: 579-585
Constraint Satisfaction 4
- Christian Bessière, Eugene C. Freuder, Jean-Charles Régin:
Using Inference to Reduce Arc Consistency Computation. IJCAI (1) 1995: 592-599
Constraint Satisfaction 5
- Philippe Baptiste, Claude Le Pape:
A Theoretical and Experimental Comparison of Constraint Propagation Techniques for Disjunctive Scheduling. IJCAI (1) 1995: 600-606
Constraint Satisfaction 6
Constraint Satisfaction 7
- Stefano Bistarelli, Ugo Montanari, Francesca Rossi:
Constraint Solving over Semirings. IJCAI (1) 1995: 624-630 - Thomas Schiex, Hélène Fargier, Gérard Verfaillie:
Valued Constraint Satisfaction Problems: Hard and Easy Problems. IJCAI (1) 1995: 631-639
Constraint Satisfaction 8
- Barbara M. Smith, Stuart A. Grant:
Sparse Constraint Graphs and Exceptionally Hard Problems. IJCAI (1) 1995: 646-654
Distributed AI
Coalitions
- Onn Shehory, Sarit Kraus:
Task Allocation Via Coalition Formation Among Autonomous Agents. IJCAI (1) 1995: 655-661 - Tuomas Sandholm, Victor R. Lesser:
Coalition Formation among Bounded Rational Agents. IJCAI (1) 1995: 662-671
Multiple Agents 1
- Eithan Ephrati, Martha E. Pollack, Sigalit Ur:
Deriving Multi-Agent Coordination through Filtering Strategies. IJCAI (1) 1995: 679-687
Multiple Agents 2
- Tuomas Sandholm, Victor R. Lesser:
Equilibrium Analysis of the Possibilities of Unenforced Exchange in Multiagent Systems. IJCAI (1) 1995: 694-703
Distributed Planning
- Michael P. Georgeff, Anand S. Rao:
The Semantics of Intention Maintenance for Rational Agents. IJCAI (1) 1995: 704-710
Genetic Algorithms
Genetic Algorithms 1
- Jerzy W. Bala, Jeffrey Huang, Haleh Vafaie, Kenneth DeJong, Harry Wechsler:
Hybrid Learning Using Genetic Algorithms and Decision Trees for Pattern Classification. IJCAI (1) 1995: 719-724
Genetic Algorithms 2
- John R. Koza:
Gene Duplication to Enable Genetic Programming to Concurrently Evolve Both the Architecture and Work-Performing Steps of a Computer Program. IJCAI (1) 1995: 734-740 - David Andre:
The Automatic Programming of Agents that Learn Mental Models and Create Simple Plans of Action. IJCAI (1) 1995: 741-750
Knowledge Base Technology
Knowledge Base Technology 1
- Vinay K. Chaudhri, John Mylopoulos:
Efficient Algorithms and Performance Results for Multi-User Knowledge Bases. IJCAI (1) 1995: 759-767
Knowledge Base Technology 2
- Peter D. Karp, Karen L. Myers, Thomas R. Gruber:
The Generic Frame Protocol. IJCAI (1) 1995: 768-774
Planning, Monitoring, and Control
- Michel Barbeau, Froduald Kabanza, Richard St.-Denis:
Synthesizing Plant Controllers Using Real-time Goals. IJCAI (1) 1995: 791-800
Knowledge Representation
Description Logics
- Giuseppe De Giacomo, Maurizio Lenzerini:
What's in an Aggregate: Foundations for Description Logics with Tuples and Sets. IJCAI (1) 1995: 801-807
Explanation
- Deborah L. McGuinness, Alexander Borgida:
Explaining Subsumption in Description Logics. IJCAI (1) 1995: 816-821 - Mary-Anne Williams, Maurice Pagnucco, Norman Y. Foo, Brailey Sims:
Determining Explanations using Transmutations. IJCAI (1) 1995: 822-829
Knowledge Compilation
Commonsense Knowledge
- Nicholas Asher, Laure Vieu:
Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology. IJCAI (1) 1995: 846-852
Complexity
- Goran Gogic, Henry A. Kautz, Christos H. Papadimitriou, Bart Selman:
The Comparative Linguistics of Knowledge Representation. IJCAI (1) 1995: 862-869 - Thomas Eiter, Georg Gottlob, Nicola Leone:
Semantics and Complexity of Abduction from Default Theories. IJCAI (1) 1995: 870-877
Diagrams
- Shirley Tessler, Yumi Iwasaki, Kincho H. Law:
Qualitative Structural Analysis Using Diagrammatic Reasoning. IJCAI (1) 1995: 885-893
Spatial Reasoning
- Jérôme Euzenat:
An Algebraic Approach to Granularity in Qualitative Time and Space Representation. IJCAI (1) 1995: 894-900 - Michelangelo Grigni, Dimitris Papadias, Christos H. Papadimitriou:
Topological Inference. IJCAI (1) 1995: 901-907
Shape and Space
- Haim Schweitzer, Janell Straach:
Utilizing Moment Invariants and Gröbner Bases to Reason About Shapes. IJCAI (1) 1995: 908-914 - Amitabha Mukerjee, Manish Agarwal, Praveen Bhatia:
A Qualitative Discretization for Two-Body Contacts. IJCAI (1) 1995: 915-923
Information Gathering
- Mike Perkowitz, Oren Etzioni:
Category Translation: Learning to Understand Information on the Internet. IJCAI (1) 1995: 930-938
Awards
Research Excellence Award
- Herbert A. Simon:
Explaining the Ineffable: AI on the Topics of Intuition, Insight and Inspiration. IJCAI (1) 1995: 939-949
Computers and Thought Award
Invited Speakers
- Jonathan Maresky, Yuval Davidor, Daniel Gitler, Gad Aharoni, Amnon Barak:
Profiling Communication in Distributed Genetic Algorithms. IJCAI (1) 1995: 961-966 - Jeffrey O. Kephart, Gregory B. Sorkin, William C. Arnold, David M. Chess, Gerald Tesauro, Steve R. White:
Biologically Inspired Defenses Against Computer Viruses. IJCAI (1) 1995: 985-996
VOLUME 2
Learning
Learning 1
- J. Ross Quinlan, R. Mike Cameron-Jones:
Oversearching and Layered Search in Empirical Learning. IJCAI 1995: 1019-1024 - Sreerama K. Murthy, Steven Salzberg:
Lookahead and Pathology in Decision Tree Induction. IJCAI 1995: 1025-1033
Learning 2
- Julio Ortega, Douglas Fisher:
Flexibly Exploiting Prior Knowledge in Empirical Learning. IJCAI 1995: 1041-1049
Learning 3
- Joseph F. McCarthy, Wendy G. Lehnert:
Using Decision Trees for Coreference Resolution. IJCAI 1995: 1050-1055
Learning 4
- Ron Kohavi, Chia-Hsin Li:
Oblivious Decision Trees, Graphs, and Top-Down Pruning. IJCAI 1995: 1071-1079
Reinforcement and Markov Models 1
- Reid G. Simmons, Sven Koenig:
Probabilistic Robot Navigation in Partially Observable Environments. IJCAI 1995: 1080-1087 - Ronald Parr, Stuart J. Russell:
Approximating Optimal Policies for Partially Observable Stochastic Domains. IJCAI 1995: 1088-1095
Reinforcement and Markov Models 2
- Craig Boutilier, Martin L. Puterman:
Process-Oriented Planning and Average-Reward Optimality. IJCAI 1995: 1096-1103 - Craig Boutilier, Richard Dearden, Moisés Goldszmidt:
Exploiting Structure in Policy Construction. IJCAI 1995: 1104-1113
Reinforcement and Markov Models 3
- Wei Zhang, Thomas G. Dietterich:
A Reinforcement Learning Approach to job-shop Scheduling. IJCAI 1995: 1114-1120 - Thomas Dean, Shieu-Hong Lin:
Decomposition Techniques for Planning in Stochastic Domains. IJCAI 1995: 1121-1129
Statistical Learning 1
- Hee-Joong Kang, Jin Hyung Kim:
Dependency Relationship Based Decision Combination in Multiple Classifier Systems. IJCAI 1995: 1130-1136 - Ron Kohavi:
A Study of Cross-Validation and Bootstrap for Accuracy Estimation and Model Selection. IJCAI 1995: 1137-1145
Statistical Learning 2
- Stuart J. Russell, John Binder, Daphne Koller, Keiji Kanazawa:
Local Learning in Probabilistic Networks with Hidden Variables. IJCAI 1995: 1146-1152 - Gerald DeJong, Scott Bennett:
Extending Classical Planning to Real-World Execution with Machine Learning. IJCAI 1995: 1153-1161
Pac Learning
Learning 5
- Daphne Koller, Avi Pfeffer:
Generating and Solving Imperfect Information Games. IJCAI 1995: 1185-1193
Inductive Logic Programming
- Henrik Boström:
Covering vs. Divide-and-Conquer for Top-Down Induction of Logic Programs. IJCAI 1995: 1194-1200
Learning 6
Instance-Based
- Pedro M. Domingos:
Rule Induction and Instance-Based Learning: A Unified Approach. IJCAI 1995: 1226-1232
Natural Language
Discourse 1
- Jennifer Chu-Carroll, Sandra Carberry:
Generating Information-Sharing Subdialogues in Expert-User Consultation. IJCAI 1995: 1243-1250 - Ingrid Zukerman, Richard McConachy:
Generating Discourse across Several User Models: Maximizing Belief while Avoiding Boredom and Overload. IJCAI 1995: 1251-1259
Discourse 2
Presentation Generation
- Vibhu O. Mittal, Steven F. Roth, Johanna D. Moore, Joe Mattis, Giuseppe Carenini:
Generating Explanatory Captions for Information Graphics. IJCAI 1995: 1276-1283 - Katashi Nagao, Jun Rekimoto:
Ubiquitous Talker: Spoken Language Interaction with Real World Objects. IJCAI 1995: 1284-1291
Tense and Aspect
- Bonnie J. Dorr, Terry Gaasterland:
Selecting Tense, Aspect, and Connecting Words In Language Generation. IJCAI 1995: 1299-1307
Dictionary Construction
- Takenobu Tokunaga, Makoto Iwayama, Hozumi Tanaka:
Automatic Thesaurus Construction based on Grammatical Relations. IJCAI 1995: 1308-1313 - Stephen Soderland, David Fisher, Jonathan Aseltine, Wendy G. Lehnert:
CRYSTAL: Inducing a Conceptual Dictionary. IJCAI 1995: 1314-1321
Statistical Approaches
- Makoto Iwayama, Takenobu Tokunaga:
Hierarchical Bayesian Clustering for Automatic Text Classification. IJCAI 1995: 1322-1327 - Dekai Wu:
Stochastic Inversion Transduction Grammars, with Application to Segmentation, Bracketing, and Alignment of Parallel Corpora. IJCAI 1995: 1328-1337
Understanding 1
- Fei Song, Robin Cohen:
Improving Heuristic-Based Temporal Analysis of Narratives with Aspect Determination. IJCAI 1995: 1338-1345 - Marc B. Vilain:
Semantic Inference in Natural Language: Validating a Tractable Approach. IJCAI 1995: 1346-1353
Understanding 2
- Saliha Azzam:
Anaphors, PPs and Disambiguation Process for Conceptual Analysis. IJCAI 1995: 1354-1359 - Tetsuya Nasukawa, Naohiko Uramoto:
Discourse as a Knowledge Resource for Sentence Disambiguation. IJCAI 1995: 1360-1367
Understanding 3
- Xiaobin Li, Stan Szpakowicz, Stan Matwin:
A WordNet-based Algorithm for Word Sense Disambiguation. IJCAI 1995: 1368-1374
Machine Translation
- 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. IJCAI 1995: 1390-1397
Applications
- Cécile Paris, Keith Vander Linden, Markus Fischer, Anthony Hartley, Lyn Pemberton, Richard Power, Donia Scott:
A Support Tool for Writing Multilingual Instructions. IJCAI 1995: 1398-1404
Parsing and Generation
Formal Methods
- Hans-Ulrich Krieger, Ulrich Schäfer:
Efficient Parameterizable Type Expansion for Typed Feature Formalisms. IJCAI 1995: 1428-1434 - Osamu Imaichi, Yuji Matsumoto:
Integration of Syntactic, Semantic and Contextual Information in Processing Grammatically Ill-Formed Inputs. IJCAI 1995: 1435-1442
Non-Monotonic Reasoning
Non-Monotonic Reasoning 1
- Claudette Cayrol:
On the Relation between Argumentation and Non-monotonic Coherence-Based Entailment. IJCAI 1995: 1443-1448 - Salem Benferhat, Didier Dubois, Henri Prade:
How to Infer from Inconsisent Beliefs without Revising? IJCAI 1995: 1449-1457
Non-Monotonic Reasoning 2
- Ronen I. Brafman, Nir Friedman:
On Decision-Theoretic Foundations for Defaults. IJCAI 1995: 1458-1465
Non-Monotonic Reasoning 3
Non-Monotonic Reasoning 4
- Hector Geffner, Jimena Llopis, Gisela Mendez:
Sound and Efficient Non-monotonic Inference. IJCAI 1995: 1495-1501
Non-Monotonic Reasoning 5
- Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas:
Computing Circumscription Revisited: Preliminary Report. IJCAI 1995: 1502-1508 - Artur Mikitiuk, Miroslaw Truszczynski:
Constrained and Rational Default Logics. IJCAI 1995: 1509-1517
Non-Monotonic Reasoning 6
- Alexander Bochman:
On Bimodal Nonmonotonic Logics and Their Unimodal and Nonmodal Equivalents. IJCAI 1995: 1518-1524 - Leendert W. N. van der Torre, Yao-Hua Tan:
Cancelling and Overshadowing: Two Types of Defeasibility in Defeasible Deontic Logic. IJCAI 1995: 1525-1533
Belief Revision 1
Belief Revision 2
- Paolo Liberatore, Marco Schaerf:
Relating Belief Revision and Circumscription. IJCAI 1995: 1557-1566
Planning
Uncertainty
Solution Quality
Algorithm
- Kutluhan Erol, James A. Hendler, Dana S. Nau, Reiko Tsuneto:
A Critical Look at Critics in HTN Planning. IJCAI 1995: 1592-1598 - Christer Bäckström, Peter Jonsson:
Planning with Abstraction Hierarchies can be Exponentially Less Efficient. IJCAI 1995: 1599-1605
Search 1
- Eugene Fink, Qiang Yang:
Planning with Primary Effects: Experiments and Analysis. IJCAI 1995: 1606-1611 - Amy L. Lansky, Lise Getoor:
Scope and Abstraction: Two Criteria for Localized Planning. IJCAI 1995: 1612-1619
Search 2
- Raghavan Srinivasan, Adele E. Howe:
Comparison of Methods for Improving Search Efficiency in a Partial-Order Planner. IJCAI 1995: 1620-1626 - Subbarao Kambhampati:
Admissible Pruning Strategies based on plan minimality for Plan-Space Planning. IJCAI 1995: 1627-1635
Planning Graph Analysis
Real Time Search
Applications and Evaluation 1
- Dana S. Nau, Satyandra K. Gupta, William C. Regli:
AI Planning Versus Manufacturing-Operation Planning: A Case Study. IJCAI 1995: 1670-1676 - J. M. Britanik, Michael M. Marefat:
Hierarchical Plan Merging with Application to Process Planning. IJCAI 1995: 1677-1685
Applications and Evaluation 2
- Craig A. Knoblock:
Planning, Executing, Sensing, and Replanning for Information Gathering. IJCAI 1995: 1686-1693 - Berthe Y. Choueiry, Boi Faltings, Rainer Weigel:
Abstraction by Interchangeability in Resource Allocation. IJCAI 1995: 1694-1703
Plan Recognition
Qualitative Reasoning and Diagnosis
Diagnosis 1
- Wolfgang Nejdl, Peter Fröhlich, Michael Schroeder:
A Formal Framework for Representing Diagnosis Strategies in Model-Based Diagnosis Systems. IJCAI 1995: 1721-1727 - Claudia Böttcher:
No Faults in Structure? How to Diagnose Hidden Interactions. IJCAI 1995: 1728-1735
Diagnosis 2
- Johan de Kleer, Olivier Raiman:
Trading off the Costs of Inference vs. Probing in Diagnosis. IJCAI 1995: 1736-1741
Modelling 1
- Koichi Kurumatani:
Generating Causal Networks for Mobile Multi-Agent Systems with Qualitative Regions. IJCAI 1995: 1750-1756 - Bradley L. Richards, Boi Faltings, Peter Duxbury-Smith:
Case-based Modeling with Qualitative Indices. IJCAI 1995: 1757-1765
Modelling 2
- Sui-ky Ringo Ling:
Using a Domain Theory to Guide Automated Modeling of Complex Physical Phenomena. IJCAI 1995: 1766-1772 - Yumi Iwasaki, Adam Farquhar, Vijay A. Saraswat, Daniel G. Bobrow, Vineet Gupta:
Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"? IJCAI 1995: 1773-1781
Simulation 1
- Ulrich Junker, Bertrand Braunschweig:
History-based Interpretation of Finite Element Simulations of Seismic Wave Fields. IJCAI 1995: 1789-1797
Simulation 2
- Kenneth D. Forbus, Brian Falkenhainer:
Scaling up Self-Explanatory Simulators: Polynomial-time Compilation. IJCAI 1995: 1798-1805 - Marcos Vescovi, Adam Farquhar, Yumi Iwasaki:
Numerical Interval Simulation: Combined Qualitative and Quantitative Simulation to Bound Behaviors of Non-Monotonic Systems. IJCAI 1995: 1806-1813
Monitoring
- James M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider:
Device Representation and Reasoning with Affective Relations. IJCAI 1995: 1814-1820 - Richard J. Doyle:
Determining the Loci of Anomalies Using Minimal Causal Models. IJCAI 1995: 1821-1829
Reasoning about Function
- Munehiko Sasajima, Yoshinobu Kitamura, Mitsuru Ikeda, Riichiro Mizoguchi:
FBRL: A Function and Behavior Representation Language. IJCAI 1995: 1830-1836 - John O. Everett:
A Theory of Mapping from Structure to Function Applied to Engineering Thermodynamics. IJCAI 1995: 1837-1846
Reasoning under Uncertainty
Probability and Entropy
- Joseph Y. Halpern, Daphne Koller:
Representation Dependence in Probabilistic Inference. IJCAI 1995: 1853-1861
Imprecise Probabilities
- Pierre Hansen, Brigitte Jaumard, Guy-Blaise Douanya Nguetsé, Marcus Poggi de Aragão:
Models and Algorithms for Probabilistic and Bayesian Logic. IJCAI 1995: 1862-1868
Bayes Nets
- Jeff Forbes, Timothy Huang, Keiji Kanazawa, Stuart J. Russell:
The BATmobile: Towards a Bayesian Automated Taxi. IJCAI 1995: 1878-1885 - Anthony Jameson, Ralph Schäfer, Joep Simons, Thomas Weis:
Adaptive Provision of Evaluation-Oriented Information: Tasks and Techniques. IJCAI 1995: 1886-1895
Belief Functions
- Ronald R. Yager:
On the Representation of Nonmontonic Relations in the Theory of Evidence. IJCAI 1995: 1902-1909
Multiple-Valued Logic
- Xiaochun Cheng, Yunfei Jiang, Xuhua Liu:
The Rationality and Decidability of Fuzzy Implications. IJCAI 1995: 1910-1915 - Lluis Godo, Lluís Vila:
Possibilistic Temporal Reasoning based on Fuzzy Temporal Constraints. IJCAI 1995: 1916-1923
Decision Theory
- Didier Dubois, Henri Prade:
Possibility Theory as a Basis for Qualitative Decision Theory. IJCAI 1995: 1924-1932
Temporal Reasoning
Temporal Reasoning 1
- Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque:
Reasoning about Noisy Sensors in the Situation Calculus. IJCAI 1995: 1933-1940
Temporal Reasoning 2
- Witold Lukaszewicz, Ewa Madalinska-Bugaj:
Reasoning about Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report. IJCAI 1995: 1950-1955
Temporal Reasoning 3
- G. Neelakantan Kartha, Vladimir Lifschitz:
A Simple Formalization of Actions Using Circumscription. IJCAI 1995: 1970-1977
Temporal Reasoning 4
- Norman McCain, Hudson Turner:
A Causal Theory of Ramifications and Qualifications. IJCAI 1995: 1978-1984 - Fangzhen Lin:
Embracing Causality in Specifying the Indirect Effects of Actions. IJCAI 1995: 1985-1993
Temporal Reasoning 5
- Fangzhen Lin, Raymond Reiter:
How to Progress a Database II: The STRIPS Connection. IJCAI 1995: 2001-2009
Temporal Reasoning 6
- Ronen I. Brafman, Moshe Tennenholtz:
Towards Action Prediction Using a Mental-Level Model. IJCAI 1995: 2010-2016 - Chitta Baral:
Reasoning about actions: Non-deterministic effects, Constraints, and Qualification. IJCAI 1995: 2017-2026
Panels
- Eugene C. Freuder, Rina Dechter, Matthew L. Ginsberg, Bart Selman, Edward P. K. Tsang:
Systematic Versus Stochastic Constraint Satisfaction. IJCAI 1995: 2027-2032 - James A. Hendler, Jaime G. Carbonell, Douglas B. Lenat, Riichiro Mizoguchi, Paul S. Rosenbloom:
VERY Large Knowledge Bases - Architecture vs Engineering. IJCAI 1995: 2033-2036
Videos
- Deborah L. McGuinness, Lori Alperin Resnick, Charles Lee Isbell Jr.:
Description Logic in Practice: A CLASSIC Application. IJCAI 1995: 2045-2046 - Marti A. Hearst, Jan O. Pedersen:
Revealing Collection Structure through Information Access Interfaces. IJCAI 1995: 2047-2048 - Jiawei Han, Yongjian Fu, Simon Tang:
Advances of the DBLearn System for Knowledge Discovery in Large Databases. IJCAI 1995: 2049-2050 - Peter N. Prokopowicz, Paul R. Cooper:
IRV: Learning to Integrate Visual Information Across Camera Movements. IJCAI 1995: 2051-2052 - 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. IJCAI 1995: 2053-2054 - Innes A. Ferguson, James D. Davlouros:
PeopleFinder: a Multimodal Multimedia Communications Tool for Interconnecting Office Staff. IJCAI 1995: 2059-2060 - Yong Cao, Bernhard Jung, Ipke Wachsmuth:
Situated Verbal Interaction in Virtual Design and Assembly. IJCAI 1995: 2061-2062 - 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. IJCAI 1995: 2063-2064 - Creve Maples, Craig Peterson:
MUSE (Multidimensional User-Oriented Synthetic Environment): A New Approach to the Human-Computer Interface Using Precognitive Models of Perception. IJCAI 1995: 2069-2070 - Kristian J. Hammond, Robin D. Burke, Steven L. Lytinen:
A Case-Based Approach to Knowledge Navigation. IJCAI 1995: 2071-2072 - Pattie Maes, Bruce Blumberg, Trevor Darrell, Alex Pentland, Alan Wexelblat:
Modeling Interactive Agents in ALIVE. IJCAI 1995: 2073-2074
maintained by 
at 
at 
last updated on 2018-07-12 22:12 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint