default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th 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
- Cornelia Fermüller, Yiannis Aloimonos:
Representations for Active Vision. 20-26 - Tomas Uhlin, Jan-Olof Eklundh:
Animate Vision in a Rich Environment. 27-35
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 - Milind Tambe, Paul S. Rosenbloom:
RESC: An Approach for Real-time, Dynamic Agent Tracking. 103-111
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
- Alan Bundy, Vincent Lombart:
Relational Rippling: A General Approach. 175-181 - 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 - P. Pandurang Nayak, Alon Y. Levy:
A Semantic Theory of Abstractions. 196-203
Abduction
- Katsumi Inoue, Chiaki Sakama:
Abductive Framework for Nonmonotonic Theory Change. 204-210 - 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
- Jian Zhang, Hantao Zhang:
SEM: a System for Enumerating Models. 298-303 - 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 - Roni Khardon, Dan Roth:
Default-Reasoning with Models. 319-327
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 - Susan Fox, David B. Leake:
Using Introspective Reasoning to Refine Indexing. 391-399
Case Based Reasoning 3
- Edwina L. Rissland, Jody J. Daniels:
Using CBR to Drive IR. 400-407 - 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
- Gunther Sablon, Luc De Raedt:
Forgetting and Compacting data in Concept Learning. 432-438 - 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 - Rudy Setiono, Huan Liu:
Understanding Neural Networks via Rule Extraction. 480-487
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 - Eugene C. Freuder, Paul D. Hubbe:
Extracting Constraint Satisfaction Subproblems. 548-557
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
- Daniel Frost, Rina Dechter:
Look-Ahead Value Ordering for Constraint Satisfaction Problems. 572-578 - Pedro Meseguer, Javier Larrosa:
Constraint Satisfaction as Global Optimization. 579-585
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 - William D. Harvey, Matthew L. Ginsberg:
Limited Discrepancy Search. 607-615
Constraint Satisfaction 6
- Kalev Kask, Rina Dechter:
GSAT and Local Consistency. 616-623
Constraint Satisfaction 7
- Stefano Bistarelli, Ugo Montanari, Francesca Rossi:
Constraint Solving over Semirings. 624-630 - Thomas Schiex, Hélène Fargier, Gérard Verfaillie:
Valued Constraint Satisfaction Problems: Hard and Easy Problems. 631-639
Constraint Satisfaction 8
- Michael Jampel, Sebastian Hunt:
Composition in Hierarchical CLP. 640-645 - Barbara M. Smith, Stuart A. Grant:
Sparse Constraint Graphs and Exceptionally Hard Problems. 646-654
Distributed AI
Coalitions
- Onn Shehory, Sarit Kraus:
Task Allocation Via Coalition Formation Among Autonomous Agents. 655-661 - Tuomas Sandholm, Victor R. Lesser:
Coalition Formation among Bounded Rational Agents. 662-671
Multiple Agents 1
- Daniel Kuokka, Larry Harada:
Matchmaking for Information Agents. 672-678 - Eithan Ephrati, Martha E. Pollack, Sigalit Ur:
Deriving Multi-Agent Coordination through Filtering Strategies. 679-687
Multiple Agents 2
- Will Briggs, Diane J. Cook:
Flexible Social Laws. 688-693 - 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 A. De Jong, Harry Wechsler:
Hybrid Learning Using Genetic Algorithms and Decision Trees for Pattern Classification. 719-724 - Sandip Sen, Leslie Knight:
A Genetic Prototype Learner. 725-733
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
- Peter D. Karp, Suzanne M. Paley:
Knowledge Representation in the Large. 751-758 - Vinay K. Chaudhri, John Mylopoulos:
Efficient Algorithms and Performance Results for Multi-User Knowledge Bases. 759-767
Knowledge Base Technology 2
- Peter D. Karp, Karen L. Myers, Thomas R. Gruber:
The Generic Frame Protocol. 768-774 - Abdel-Illah Mouaddib, Shlomo Zilberstein:
Knowledge-Based Anytime Computation. 775-783
Planning, Monitoring, and Control
- Johann Gamper, Wolfgang Nejdl
:
Proposing Measurements in Dynamic Systems. 784-790 - 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 - Franz Baader, Armin Laux:
Terminological Logics with Modal Operators. 808-815
Explanation
- Deborah L. McGuinness, Alexander Borgida:
Explaining Subsumption in Description Logics. 816-821 - 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
- Michael Anderson, Robert McCartney:
Inter-diagrammatic Reasoning. 878-884 - 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 - Michelangelo Grigni, Dimitris Papadias, Christos H. Papadimitriou:
Topological Inference. 901-907
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 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 - Patrick J. Hayes, Kenneth M. Ford:
Turing Test Considered Harmful. 972-977 - 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 H. 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 - Sreerama K. Murthy, Steven Salzberg:
Lookahead and Pathology in Decision Tree Induction. 1025-1033
Learning 2
- Igor Kononenko:
On Biases in Estimating Multi-Valued Attributes. 1034-1040 - Julio Ortega, Douglas Fisher:
Flexibly Exploiting Prior Knowledge in Empirical Learning. 1041-1049
Learning 3
- Joseph F. McCarthy, Wendy G. Lehnert:
Using Decision Trees for Coreference Resolution. 1050-1055 - Lawrence B. Holder:
Intermediate Decision Trees. 1056-1063
Learning 4
- Zijian Zheng:
Constructing Nominal X-of-N Attributes. 1064-1070 - Ron Kohavi, Chia-Hsin Li:
Oblivious Decision Trees, Graphs, and Top-Down Pruning. 1071-1079
Reinforcement and Markov Models 1
- Reid G. Simmons, Sven Koenig:
Probabilistic Robot Navigation in Partially Observable Environments. 1080-1087 - Ronald Parr, Stuart 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 - Thomas Dean, Shieu-Hong Lin:
Decomposition Techniques for Planning in Stochastic Domains. 1121-1129
Statistical Learning 1
- Hee-Joong Kang, Jin Hyung 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 Russell, John Binder, Daphne Koller, Keiji Kanazawa:
Local Learning in Probabilistic Networks with Hidden Variables. 1146-1152 - Gerald DeJong, Scott W. Bennett:
Extending Classical Planning to Real-World Execution with Machine Learning. 1153-1161
Pac Learning
- Russell Greiner:
The Complexity of Theory Revision. 1162-1168 - Dale Schuurmans, Russell Greiner:
Practical PAC Learning. 1169-1177
Learning 5
- Dan Roth:
Learning to Reason: The Non-Monotonic Case. 1178-1184 - Daphne Koller, Avi Pfeffer:
Generating and Solving Imperfect Information Games. 1185-1193
Inductive Logic Programming
- Henrik Boström:
Covering vs. Divide-and-Conquer for Top-Down Induction of Logic Programs. 1194-1200 - Hilde Adé, Marc Denecker:
AILP: Abductive Inductive Logic Programming. 1201-1209
Learning 6
- Alan M. Frisch, C. David Page Jr.:
Building Theories into Instantiation. 1210-1216 - Sebastian Thrun, Tom M. Mitchell:
Learning One More Thing. 1217-1225
Instance-Based
- Pedro M. Domingos:
Rule Induction and Instance-Based Learning: A Unified Approach. 1226-1232 - Kan Deng, Andrew W. Moore:
Multiresolution Instance-Based Learning. 1233-1242
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
- Vasileios Hatzivassiloglou, Kevin Knight:
Unification-Based Glossing. 1382-1389 - 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
- Ronen I. Brafman, Nir Friedman:
On Decision-Theoretic Foundations for Defaults. 1458-1465 - Michael Morreau:
Allowed Arguments. 1466-1473
Non-Monotonic Reasoning 3
- Jussi Rintanen:
On Specificity in Default Logic. 1474-1479 - Sek-Wah Tan, Judea Pearl:
Specificity and Inheritance in Default Reasoning. 1480-1487
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 - Artur Mikitiuk, Miroslaw Truszczynski:
Constrained and Rational Default Logics. 1509-1517
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 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 - Paolo Liberatore, Marco Schaerf:
Relating Belief Revision and Circumscription. 1557-1566
Planning
Uncertainty
- Gregg Collins, Louise Pryor:
Planning Under Uncertainty: Some Key Issues. 1567-1575
Solution Quality
- Shlomo Zilberstein:
Optimizing Decision Quality with Contract Algorithms. 1576-1582 - John L. Bresina, Mark Drummond, Keith Swanson:
Expected Solution Quality. 1583-1591
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
- Eugene Fink, Qiang Yang:
Planning with Primary Effects: Experiments and Analysis. 1606-1611 - Amy L. Lansky, Lise Getoor:
Scope and Abstraction: Two Criteria for Localized Planning. 1612-1619
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
- Avrim Blum, Merrick L. Furst:
Fast Planning Through Planning Graph Analysis. 1636-1642 - Philippe Laborie, Malik Ghallab:
Planning with Sharable Resource Constraints. 1643-1651
Real Time Search
- Anthony Stentz:
The Focussed D* Algorithm for Real-Time Replanning. 1652-1659 - Sven Koenig, Reid G. Simmons:
Real-Time Search in Non-Deterministic Domains. 1660-1669
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
- Neal Lesh, Oren Etzioni:
A Sound and Fast Goal Recognizer. 1704-1710 - 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 - Yousri El Fattah, Rina Dechter:
Diagnosing Tree-Decomposable Circuits. 1742-1749
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 - Joseph Y. Halpern, Daphne Koller:
Representation Dependence in Probabilistic Inference. 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. 1862-1868 - Marco Ramoni:
Ignorant Influence Diagrams. 1869-1877
Bayes Nets
- Jeff Forbes, Timothy Huang, Keiji Kanazawa, Stuart 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 - Lluís 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 - Paolo Traverso, Luca Spalazzi:
A Logic for Acting, Sensing and Planning. 1941-1949
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
- Enrico Giunchiglia, Vladimir Lifschitz:
Dependent Fluents. 1964-1969 - G. Neelakantan Kartha, Vladimir Lifschitz:
A Simple Formalization of Actions Using Circumscription. 1970-1977
Temporal Reasoning 4
- Norman McCain, Hudson Turner:
A Causal Theory of Ramifications and Qualifications. 1978-1984 - Fangzhen Lin:
Embracing Causality in Specifying the Indirect Effects of Actions. 1985-1993
Temporal Reasoning 5
- Michael Thielscher:
Computing Ramifications by Postprocessing. 1994-2000 - Fangzhen Lin, Raymond Reiter:
How to Progress a Database II: The STRIPS Connection. 2001-2009
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 - Boi Faltings, Kun Sun:
Computer-Aided Creative Mechanism Design. 2055-2056 - 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 C. Jain:
Multiple Perspective Interactive Video. 2063-2064 - Scott W. Bennett, Gerald DeJong:
GRASPER: A Permissive Planning Robot. 2065-2066 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-24 21:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
