14. 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
- Sourabh A. Niyogi: Fitting Models to Distributed Representations of Vision. 3-9
- Rajesh P. N. Rao, Dana H. Ballard: Natural Basis Functions and Topographic Memory for Face Recognition. 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. 36-41
- Qi Zhao, Toyoaki Nishida: Qualitative Interpretation of Spectral Images: Reasoning with Uncertain Evidence. 42-49
Vision: Systems and Architectures 1
- Rajiv Chopra, Rohini K. Srihari: Control Structures for Incorporating Picture-Specific Context in Image Interpretation. 50-55
- Ian Horswill: Visual Routines and Visual Search: A Real-Time Implementation and an Automata-Theoretic Analysis. 56-63
Vision: Systems and Architectures 2
- Robert W. Wisniewski, Christopher M. Brown: Adaptable Planner Primitives for Real-World Robotic Applications. 64-71
- R. James Firby, Roger E. Kahn, Peter N. Prokopowicz, Michael J. Swain: An Architecture for Vision and Action. 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. 82-87
- Eric Krotkov: Robotic Perception of Material. 88-95
Robotics: Multi-Agent Systems
- Ronen I. Brafman, Yoav Shoham: Knowledge Considerations in Robotics and Distribution of Robotic Tasks. 96-102
Robotics: Navigation
- Jun Tani: Self-Organization of Symbolic Processes through Interaction with the Physical World. 112-118
- Bing Liu: Using Knowledge to Isolate Search in Route Finding. 119-125
Robotics: Learning
- Takayuki Nakamura, Minoru Asada: Motion Sketch: Acquisition of Visual Motion Guided Behaviors. 126-132
- Shumeet Baluja, Dean Pomerleau: Using the Representation in a Neural Network's Hidden Layer for Task-Specific Focus of Attention. 133-141
Robotics: Formal Methods
- Vikram Manikonda, James A. Hendler, P. S. Krishnaprasad: Formalizing Behavior-based Planning for Nonholonomic Robots. 142-149
- David Poole: Logic Programming for Robot Control. 150-157
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. 158-164
- Tomohiro Nakatani, Hiroshi G. Okuno, Takeshi Kawabata: Residue-Driven Architecture for Computational Auditory Scene Analysis. 165-174
Automated Reasoning
Proof Planning
- Erica Melis: A Model of Analogy-Driven Proof-Plan Construction. 182-189
Analogy and Abstraction
- Thomas Kolbe, Christoph Walther: Second-Order Matching modulo Evaluation: A Technique for Reusing Proofs. 190-195
Abduction
- Adnan Darwiche: Model-Based Diagnosis using Causal Networks. 211-219
Search 1
- Babak Hamidzadeh, Shashi Shekhar: Deadline Compliance, Predictability, and On-line Optimization in Real-Time Problem Solving. 220-226
- Joseph C. Pemberton: k-Best: A New Method for Real-Time Decision Making. 227-235
Search 2
- Hermann Kaindl, Gerhard Kainz, Angelika Leeb, Harald Smetana: How to Use Limited Memory in Heuristic Search. 236-242
- Subir Bhattacharya: Experimenting with Revisits in Game Tree Search. 243-251
Search 3
- Pang C. Chen: On Bootstrapping Local Search with Trail-Markers. 252-258
- Takahiro Sasaki, Fumihiko Chimura, Mario Tokoro: The Trailblazer Search with a Hierarchical Abstract Map. 259-265
Search 4
- Richard E. Korf: From Approximate to Optimal Solutions: A Case Study of Number Partitioning. 266-272
- Aske Plaat, Jonathan Schaeffer, Wim Pijls, Arie de Bruin: Best-First Fixed-Depth Game-Tree Search in Practice. 273-281
Satisfiability 1
- Nobuhiro Yugami: Theoretical Analysis of Davis-Putnam Procedure and Propositional Satisfiability. 282-288
- Thierry Boy de la Tour, Stéphane Demri: On the Complexity of Extending Ground Resolution with Symmetry Rules. 289-297
Satisfiability 2
- Byungki Cha, Kazuo Iwama: Performance Test of Local Search Algorithms Using New Types of Random CNF Formulas. 304-311
Defaults
- Ilkka Niemelä: Towards Efficient Default Reasoning. 312-318
Theorem Proving 1
- Ricardo Caferra, Nicolas Peltier: Extending Semantic Resolution via Automated Model Building: Applications. 328-334
- Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg: Model Elimination, Logic Programming and Computing Answers. 335-341
Theorem Proving 2
- Anatoli Degtyarev, Andrei Voronkov: Equality Elimination for the Inverse Method and Extension Procedures. 342-347
- Leo Bachmair, Ta Chen, I. V. Ramakrishnan, Siva Anantharaman, Jacques Chabin: Experiments with Associative-Commutative Discrimination Nets. 348-355
Reasoning about Programs
- Elena Marchiori: A Methodology for Proving Termination of General Logic Programs. 356-361
- Rakesh M. Verma: Unique Normal Forms and Confluence of Rewrite Systems: Persistence. 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. 371-376
- Barry Smyth, Mark T. Keane: Remembering To Forget: A Competence-Preserving Case Deletion Policy for Case-Based Reasoning Systems. 377-383
Case Based Reasoning 2
- Karl Branting, David W. Aha: Stratified Case-Based Reasoning: Reusing Hierarchical Problem Solving Episodes. 384-390
Case Based Reasoning 3
- Kathryn E. Sanders: Within the Letter of the Law: Open-Textured Planning. 408-416
Cognitive Modelling
Cognitive Modelling 1
- Anselm Blocher, Jörg R. J. Schirra: Optional Deep Case Filling and Focus Control with Mental Images: ANTLIMA-KOREF. 417-423
- Ron Sun: A Microfeature Based Approach Towards Metaphor Interpretation. 424-431
Cognitive Modelling 2
- Bruce Krulwich, Lawrence Birnbaum, Gregg Collins: Determining What to Learn Through Component-Task Modeling. 439-447
Cognitive Modelling 3
- Philip Resnik: Using Information Content to Evaluate Semantic Similarity in a Taxonomy. 448-453
- Susan L. Epstein: On Heuristic Reasoning, Reactivity, and Search. 454-463
Cognitive Modelling 4
- Daniel D. Fu, Kristian J. Hammond, Michael J. Swain: Action and Perception in Man-Made Environments. 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. 473-479
Connectionist Models 2
- Zhe Ma, Robert F. Harrison, R. Lee Kennedy: GR2: A Hybrid Knowledge-based System Using General Rules. 488-493
- Christoph S. Herrmann: A Hybrid Fuzzy-Neural Expert System for Diagnosis. 494-501
Connectionist Models 3
- Fukumi Kozato: A Hybrid Rule-based System: How Variables are Involved in Connectionist Rule-based Systems. 502-508
- Alessandro Sperduti, Antonina Starita, Christoph Goller: Learning Distributed Representations for the Classification of Terms. 509-517
Connectionist Models 4
- Nathalie Japkowicz, Catherine Myers, Mark A. Gluck: A Novelty Detection Approach to Classification. 518-523
- Richard Maclin, Jude W. Shavlik: Combining the Predictions of Multiple Classifiers: Using Competitive Learning to Initialize Neural Networks. 524-531
Connectionist Models 5
- Hiroaki Kitano: A Model for Hormonal Modulation of Learning. 532-540
Constraint Satisfaction
Constraint Satisfaction 1
- Grzegorz Kondrak, Peter van Beek: A Theoretical Evaluation of Selected Backtracking Algorithms. 541-547
Constraint Satisfaction 2
- Roberto J. Bayardo Jr., Daniel P. Miranker: On the Space-Time Trade-off in Solving Constraint Satisfaction Problems. 558-562
- Eugene C. Freuder, Richard J. Wallace: Generalizing Inconsistency Learning for Constraint Satisfaction. 563-571
Constraint Satisfaction 3
Constraint Satisfaction 4
- Bing Liu: Increasing Functional Constraints Need to Be Checked Only Once. 586-591
- Christian Bessière, Eugene C. Freuder, Jean-Charles Régin: Using Inference to Reduce Arc Consistency Computation. 592-599
Constraint Satisfaction 5
- Philippe Baptiste, Claude Le Pape: A Theoretical and Experimental Comparison of Constraint Propagation Techniques for Disjunctive Scheduling. 600-606
Constraint Satisfaction 6
Constraint Satisfaction 7
- Thomas Schiex, Hélène Fargier, Gérard Verfaillie: Valued Constraint Satisfaction Problems: Hard and Easy Problems. 631-639
Constraint Satisfaction 8
- Barbara M. Smith, Stuart A. Grant: Sparse Constraint Graphs and Exceptionally Hard Problems. 646-654
Distributed AI
Coalitions
Multiple Agents 1
- Eithan Ephrati, Martha E. Pollack, Sigalit Ur: Deriving Multi-Agent Coordination through Filtering Strategies. 679-687
Multiple Agents 2
- Tuomas Sandholm, Victor R. Lesser: Equilibrium Analysis of the Possibilities of Unenforced Exchange in Multiagent Systems. 694-703
Distributed Planning
- Michael P. Georgeff, Anand S. Rao: The Semantics of Intention Maintenance for Rational Agents. 704-710
- Tad Hogg: Social Dilemmas in Computational Ecosystems. 711-718
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. 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. 734-740
- David Andre: The Automatic Programming of Agents that Learn Mental Models and Create Simple Plans of Action. 741-750
Knowledge Base Technology
Knowledge Base Technology 1
- Vinay K. Chaudhri, John Mylopoulos: Efficient Algorithms and Performance Results for Multi-User Knowledge Bases. 759-767
Knowledge Base Technology 2
Planning, Monitoring, and Control
- Michel Barbeau, Froduald Kabanza, Richard St.-Denis: Synthesizing Plant Controllers Using Real-time Goals. 791-800
Knowledge Representation
Description Logics
- Giuseppe De Giacomo, Maurizio Lenzerini: What's in an Aggregate: Foundations for Description Logics with Tuples and Sets. 801-807
Explanation
- Mary-Anne Williams, Maurice Pagnucco, Norman Y. Foo, Brailey Sims: Determining Explanations using Transmutations. 822-829
Knowledge Compilation
- Alvaro del Val: An Analysis of Approximate Knowledge Compilation. 830-836
- Pierre Marquis: Knowledge Compilation Using Theory Prime Implicates. 837-845
Commonsense Knowledge
- Nicholas Asher, Laure Vieu: Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology. 846-852
- Gerhard Lakemeyer: A Logical Account of Relevance. 853-861
Complexity
- Goran Gogic, Henry A. Kautz, Christos H. Papadimitriou, Bart Selman: The Comparative Linguistics of Knowledge Representation. 862-869
- Thomas Eiter, Georg Gottlob, Nicola Leone: Semantics and Complexity of Abduction from Default Theories. 870-877
Diagrams
- Shirley Tessler, Yumi Iwasaki, Kincho H. Law: Qualitative Structural Analysis Using Diagrammatic Reasoning. 885-893
Spatial Reasoning
- Jérôme Euzenat: An Algebraic Approach to Granularity in Qualitative Time and Space Representation. 894-900
Shape and Space
- Haim Schweitzer, Janell Straach: Utilizing Moment Invariants and Gröbner Bases to Reason About Shapes. 908-914
- Amitabha Mukerjee, Manish Agarwal, Praveen Bhatia: A Qualitative Discretization for Two-Body Contacts. 915-923
Information Gathering
- Henry Lieberman: Letizia: An Agent That Assists Web Browsing. 924-929
- Mike Perkowitz, Oren Etzioni: Category Translation: Learning to Understand Information on the Internet. 930-938
Awards
Research Excellence Award
- Herbert A. Simon: Explaining the Ineffable: AI on the Topics of Intuition, Insight and Inspiration. 939-949
Computers and Thought Award
- Stuart J. Russell: Rationality and Intelligence. 950-960
Invited Speakers
- Jonathan Maresky, Yuval Davidor, Daniel Gitler, Gad Aharoni, Amnon Barak: Profiling Communication in Distributed Genetic Algorithms. 961-966
- Barbara Hayes-Roth: Agents on Stage: Advancing the State of the Art of AI. 967-971
- Judy Kay: Vive la difference! Individualised Interaction with Users. 978-984
- Jeffrey O. Kephart, Gregory B. Sorkin, William C. Arnold, David M. Chess, Gerald Tesauro, Steve R. White: Biologically Inspired Defenses Against Computer Viruses. 985-996
- Stephen Muggleton: Inductive Logic Programming: Inverse Resolution and Beyond. 997
- Bart Selman: Stochastic Search and Phase Transitions: AI Meets Physics. 998-1002
- Demetri Terzopoulos: Modeling Living Systems for Computer Vision. 1003-1013
VOLUME 2
Learning
Learning 1
- J. Ross Quinlan, R. Mike Cameron-Jones: Oversearching and Layered Search in Empirical Learning. 1019-1024
Learning 2
- Igor Kononenko: On Biases in Estimating Multi-Valued Attributes. 1034-1040
Learning 3
- Lawrence B. Holder: Intermediate Decision Trees. 1056-1063
Learning 4
- Zijian Zheng: Constructing Nominal X-of-N Attributes. 1064-1070
Reinforcement and Markov Models 1
- Reid G. Simmons, Sven Koenig: Probabilistic Robot Navigation in Partially Observable Environments. 1080-1087
- Ronald Parr, Stuart J. Russell: Approximating Optimal Policies for Partially Observable Stochastic Domains. 1088-1095
Reinforcement and Markov Models 2
- Craig Boutilier, Martin L. Puterman: Process-Oriented Planning and Average-Reward Optimality. 1096-1103
- Craig Boutilier, Richard Dearden, Moisés Goldszmidt: Exploiting Structure in Policy Construction. 1104-1113
Reinforcement and Markov Models 3
- Wei Zhang, Thomas G. Dietterich: A Reinforcement Learning Approach to job-shop Scheduling. 1114-1120
Statistical Learning 1
- Hee-Joong Kang, Jin H. Kim: Dependency Relationship Based Decision Combination in Multiple Classifier Systems. 1130-1136
- Ron Kohavi: A Study of Cross-Validation and Bootstrap for Accuracy Estimation and Model Selection. 1137-1145
Statistical Learning 2
- Stuart J. Russell, John Binder, Daphne Koller, Keiji Kanazawa: Local Learning in Probabilistic Networks with Hidden Variables. 1146-1152
- Gerald DeJong, Scott Bennett: Extending Classical Planning to Real-World Execution with Machine Learning. 1153-1161
Pac Learning
- Russell Greiner: The Complexity of Theory Revision. 1162-1168
Learning 5
- Dan Roth: Learning to Reason: The Non-Monotonic Case. 1178-1184
Inductive Logic Programming
- Henrik Boström: Covering vs. Divide-and-Conquer for Top-Down Induction of Logic Programs. 1194-1200
Learning 6
Instance-Based
- Pedro Domingos: Rule Induction and Instance-Based Learning: A Unified Approach. 1226-1232
Natural Language
Discourse 1
- Jennifer Chu-Carroll, Sandra Carberry: Generating Information-Sharing Subdialogues in Expert-User Consultation. 1243-1250
- Ingrid Zukerman, Richard McConachy: Generating Discourse across Several User Models: Maximizing Belief while Avoiding Boredom and Overload. 1251-1259
Discourse 2
- Karen E. Lochbaum: The Use of Knowledge Preconditions in Language Processing. 1260-1266
- Rebecca J. Passonneau: Integrating Gricean and Attentional Constraints. 1267-1275
Presentation Generation
- Vibhu O. Mittal, Steven F. Roth, Johanna D. Moore, Joe Mattis, Giuseppe Carenini: Generating Explanatory Captions for Information Graphics. 1276-1283
- Katashi Nagao, Jun Rekimoto: Ubiquitous Talker: Spoken Language Interaction with Real World Objects. 1284-1291
Tense and Aspect
- Mark Steedman: Dynamic Semantics for Tense and Aspect. 1292-1298
- Bonnie J. Dorr, Terry Gaasterland: Selecting Tense, Aspect, and Connecting Words In Language Generation. 1299-1307
Dictionary Construction
- Takenobu Tokunaga, Makoto Iwayama, Hozumi Tanaka: Automatic Thesaurus Construction based on Grammatical Relations. 1308-1313
- Stephen Soderland, David Fisher, Jonathan Aseltine, Wendy G. Lehnert: CRYSTAL: Inducing a Conceptual Dictionary. 1314-1321
Statistical Approaches
- Makoto Iwayama, Takenobu Tokunaga: Hierarchical Bayesian Clustering for Automatic Text Classification. 1322-1327
- Dekai Wu: Stochastic Inversion Transduction Grammars, with Application to Segmentation, Bracketing, and Alignment of Parallel Corpora. 1328-1337
Understanding 1
- Fei Song, Robin Cohen: Improving Heuristic-Based Temporal Analysis of Narratives with Aspect Determination. 1338-1345
- Marc B. Vilain: Semantic Inference in Natural Language: Validating a Tractable Approach. 1346-1353
Understanding 2
- Saliha Azzam: Anaphors, PPs and Disambiguation Process for Conceptual Analysis. 1354-1359
- Tetsuya Nasukawa, Naohiko Uramoto: Discourse as a Knowledge Resource for Sentence Disambiguation. 1360-1367
Understanding 3
- Xiaobin Li, Stan Szpakowicz, Stan Matwin: A WordNet-based Algorithm for Word Sense Disambiguation. 1368-1374
- Kenneth B. Haase: Analogy in the Large. 1375-1381
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. 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. 1398-1404
- Arne Jönsson: Dialogue Actions for Natural Language Interfaces. 1405-1413
Parsing and Generation
- Christer Samuelsson: An Efficient Algorithm for Surface Generation. 1414-1419
- Dekang Lin: A Dependency-based Method for Evaluating Broad-Coverage Parsers. 1420-1427
Formal Methods
- Hans-Ulrich Krieger, Ulrich Schäfer: Efficient Parameterizable Type Expansion for Typed Feature Formalisms. 1428-1434
- Osamu Imaichi, Yuji Matsumoto: Integration of Syntactic, Semantic and Contextual Information in Processing Grammatically Ill-Formed Inputs. 1435-1442
Non-Monotonic Reasoning
Non-Monotonic Reasoning 1
- Claudette Cayrol: On the Relation between Argumentation and Non-monotonic Coherence-Based Entailment. 1443-1448
- Salem Benferhat, Didier Dubois, Henri Prade: How to Infer from Inconsisent Beliefs without Revising? 1449-1457
Non-Monotonic Reasoning 2
- Michael Morreau: Allowed Arguments. 1466-1473
Non-Monotonic Reasoning 3
- Jussi Rintanen: On Specificity in Default Logic. 1474-1479
Non-Monotonic Reasoning 4
- James P. Delgrande: Syntactic Conditional Closures for Defeasible Reasoning. 1488-1494
- Hector Geffner, Jimena Llopis, Gisela Mendez: Sound and Efficient Non-monotonic Inference. 1495-1501
Non-Monotonic Reasoning 5
- Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas: Computing Circumscription Revisited: Preliminary Report. 1502-1508
Non-Monotonic Reasoning 6
- Alexander Bochman: On Bimodal Nonmonotonic Logics and Their Unimodal and Nonmodal Equivalents. 1518-1524
- Leendert W. N. van der Torre, Yao-Hua Tan: Cancelling and Overshadowing: Two Types of Defeasibility in Defeasible Deontic Logic. 1525-1533
Belief Revision 1
- Daniel J. Lehmann: Belief Revision, Revised. 1534-1540
- Mary-Anne Williams: Iterated Theory Base Change: A Computational Model. 1541-1549
Belief Revision 2
- Craig Boutilier: Generalized Update: Belief Change in Dynamic Settings. 1550-1556
Planning
Uncertainty
Solution Quality
- Shlomo Zilberstein: Optimizing Decision Quality with Contract Algorithms. 1576-1582
Algorithm
- Kutluhan Erol, James A. Hendler, Dana S. Nau, Reiko Tsuneto: A Critical Look at Critics in HTN Planning. 1592-1598
- Christer Bäckström, Peter Jonsson: Planning with Abstraction Hierarchies can be Exponentially Less Efficient. 1599-1605
Search 1
Search 2
- Raghavan Srinivasan, Adele E. Howe: Comparison of Methods for Improving Search Efficiency in a Partial-Order Planner. 1620-1626
- Subbarao Kambhampati: Admissible Pruning Strategies based on plan minimality for Plan-Space Planning. 1627-1635
Planning Graph Analysis
Real Time Search
- Anthony Stentz: The Focussed D* Algorithm for Real-Time Replanning. 1652-1659
Applications and Evaluation 1
- Dana S. Nau, Satyandra K. Gupta, William C. Regli: AI Planning Versus Manufacturing-Operation Planning: A Case Study. 1670-1676
- J. M. Britanik, Michael M. Marefat: Hierarchical Plan Merging with Application to Process Planning. 1677-1685
Applications and Evaluation 2
- Craig A. Knoblock: Planning, Executing, Sensing, and Replanning for Information Gathering. 1686-1693
- Berthe Y. Choueiry, Boi Faltings, Rainer Weigel: Abstraction by Interchangeability in Resource Allocation. 1694-1703
Plan Recognition
- Yoshihiko Hayashi: Recovering Problem-Solving Activities from Query Messages. 1711-1720
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. 1721-1727
- Claudia Böttcher: No Faults in Structure? How to Diagnose Hidden Interactions. 1728-1735
Diagnosis 2
- Johan de Kleer, Olivier Raiman: Trading off the Costs of Inference vs. Probing in Diagnosis. 1736-1741
Modelling 1
- Koichi Kurumatani: Generating Causal Networks for Mobile Multi-Agent Systems with Qualitative Regions. 1750-1756
- Bradley L. Richards, Boi Faltings, Peter Duxbury-Smith: Case-based Modeling with Qualitative Indices. 1757-1765
Modelling 2
- Sui-ky Ringo Ling: Using a Domain Theory to Guide Automated Modeling of Complex Physical Phenomena. 1766-1772
- Yumi Iwasaki, Adam Farquhar, Vijay A. Saraswat, Daniel G. Bobrow, Vineet Gupta: Modeling Time in Hybrid Systems: How Fast Is "Instantaneous"? 1773-1781
Simulation 1
- Kenneth Yip: Reasoning about Fluid Motion I: Finding Structures. 1782-1788
- Ulrich Junker, Bertrand Braunschweig: History-based Interpretation of Finite Element Simulations of Seismic Wave Fields. 1789-1797
Simulation 2
- Kenneth D. Forbus, Brian Falkenhainer: Scaling up Self-Explanatory Simulators: Polynomial-time Compilation. 1798-1805
- Marcos Vescovi, Adam Farquhar, Yumi Iwasaki: Numerical Interval Simulation: Combined Qualitative and Quantitative Simulation to Bound Behaviors of Non-Monotonic Systems. 1806-1813
Monitoring
- James M. Crawford, Daniel Dvorak, Diane J. Litman, Anil Mishra, Peter F. Patel-Schneider: Device Representation and Reasoning with Affective Relations. 1814-1820
- Richard J. Doyle: Determining the Loci of Anomalies Using Minimal Causal Models. 1821-1829
Reasoning about Function
- Munehiko Sasajima, Yoshinobu Kitamura, Mitsuru Ikeda, Riichiro Mizoguchi: FBRL: A Function and Behavior Representation Language. 1830-1836
- John O. Everett: A Theory of Mapping from Structure to Function Applied to Engineering Thermodynamics. 1837-1846
Reasoning under Uncertainty
Probability and Entropy
- Manfred Jaeger: Minimum Cross-Entropy Reasoning: A Statistical Justification. 1847-1852
Imprecise Probabilities
- Pierre Hansen, Brigitte Jaumard, Guy-Blaise Douanya Nguetsé, Marcus Poggi de Aragão: Models and Algorithms for Probabilistic and Bayesian Logic. 1862-1868
- Marco Ramoni: Ignorant Influence Diagrams. 1869-1877
Bayes Nets
- Jeff Forbes, Timothy Huang, Keiji Kanazawa, Stuart J. Russell: The BATmobile: Towards a Bayesian Automated Taxi. 1878-1885
- Anthony Jameson, Ralph Schäfer, Joep Simons, Thomas Weis: Adaptive Provision of Evaluation-Oriented Information: Tasks and Techniques. 1886-1895
Belief Functions
- Philippe Smets: The Canonical Decomposition of a Weighted Belief. 1896-1901
- Ronald R. Yager: On the Representation of Nonmontonic Relations in the Theory of Evidence. 1902-1909
Multiple-Valued Logic
- Xiaochun Cheng, Yunfei Jiang, Xuhua Liu: The Rationality and Decidability of Fuzzy Implications. 1910-1915
- Lluis Godo, Lluís Vila: Possibilistic Temporal Reasoning based on Fuzzy Temporal Constraints. 1916-1923
Decision Theory
- Didier Dubois, Henri Prade: Possibility Theory as a Basis for Qualitative Decision Theory. 1924-1932
Temporal Reasoning
Temporal Reasoning 1
- Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque: Reasoning about Noisy Sensors in the Situation Calculus. 1933-1940
Temporal Reasoning 2
- Witold Lukaszewicz, Ewa Madalinska-Bugaj: Reasoning about Action and Change Using Dijkstra's Semantics for Programming Languages: Preliminary Report. 1950-1955
- Michael Thielscher: The Logic of Dynamic Systems. 1956-1963
Temporal Reasoning 3
- G. Neelakantan Kartha, Vladimir Lifschitz: A Simple Formalization of Actions Using Circumscription. 1970-1977
Temporal Reasoning 4
- Fangzhen Lin: Embracing Causality in Specifying the Indirect Effects of Actions. 1985-1993
Temporal Reasoning 5
- Michael Thielscher: Computing Ramifications by Postprocessing. 1994-2000
Temporal Reasoning 6
- Ronen I. Brafman, Moshe Tennenholtz: Towards Action Prediction Using a Mental-Level Model. 2010-2016
- Chitta Baral: Reasoning about actions: Non-deterministic effects, Constraints, and Qualification. 2017-2026
Panels
- Eugene C. Freuder, Rina Dechter, Matthew L. Ginsberg, Bart Selman, Edward P. K. Tsang: Systematic Versus Stochastic Constraint Satisfaction. 2027-2032
- James A. Hendler, Jaime G. Carbonell, Douglas B. Lenat, Riichiro Mizoguchi, Paul S. Rosenbloom: VERY Large Knowledge Bases - Architecture vs Engineering. 2033-2036
- Aaron Sloman: A Philosophical Encounter. 2037-2040
- John McCarthy: What has AI in Common with Philosophy? 2041-2044
Videos
- Deborah L. McGuinness, Lori Alperin Resnick, Charles Lee Isbell Jr.: Description Logic in Practice: A CLASSIC Application. 2045-2046
- Marti A. Hearst, Jan O. Pedersen: Revealing Collection Structure through Information Access Interfaces. 2047-2048
- Jiawei Han, Yongjian Fu, Simon Tang: Advances of the DBLearn System for Knowledge Discovery in Large Databases. 2049-2050
- Peter N. Prokopowicz, Paul R. Cooper: IRV: Learning to Integrate Visual Information Across Camera Movements. 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. 2053-2054
- Edmund Furse: Learning University Mathematics. 2057-2058
- Innes A. Ferguson, James D. Davlouros: PeopleFinder: a Multimodal Multimedia Communications Tool for Interconnecting Office Staff. 2059-2060
- Yong Cao, Bernhard Jung, Ipke Wachsmuth: Situated Verbal Interaction in Virtual Design and Assembly. 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. 2063-2064
- Usama M. Fayyad: SKICAT: Sky Image Cataloging and Analysis Tool. 2067-2068
- Creve Maples, Craig Peterson: MUSE (Multidimensional User-Oriented Synthetic Environment): A New Approach to the Human-Computer Interface Using Precognitive Models of Perception. 2069-2070
- Kristian J. Hammond, Robin D. Burke, Steven L. Lytinen: A Case-Based Approach to Knowledge Navigation. 2071-2072
- Pattie Maes, Bruce Blumberg, Trevor Darrell, Alex Pentland, Alan Wexelblat: Modeling Interactive Agents in ALIVE. 2073-2074
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team