default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th AAAI 1993: Washington, DC
- Richard Fikes, Wendy G. Lehnert:
Proceedings of the 11th National Conference on Artificial Intelligence. Washington, DC, USA, July 11-15, 1993. AAAI Press / The MIT Press 1993, ISBN 0-262-51071-5
Automated Reasoning
- Rachel Ben-Eliyahu, Rina Dechter:
On Computing Minimal Models. 2-8 - Antje Beringer, Steffen Hölldobler:
On the Adequateness of the Connection Method. 9-14 - Heng Chu, David A. Plaisted:
Rough Resolution: A Refinement of Resolution to Remove Large Literals. 15-20 - James M. Crawford, Larry D. Auton:
Experimental Results on the Crossover Point in Satisfiability Problems. 21-27 - Ian P. Gent, Toby Walsh:
Towards an Understanding of Hill-Climbing Procedures for SAT. 28-33 - Henry A. Kautz, Michael J. Kearns, Bart Selman:
Reasoning With Characteristic Models. 34-39 - Paul Morris:
The Breakout Method for Escaping from Local Minima. 40-45 - Bart Selman, Henry A. Kautz:
An Empirical Study of Greedy Local Search for Satisfiability Testing. 46-51
Case-Based Reasoning
- Marc Goodman:
Projective Visualization: Acting from Experience. 54-59 - Thomas F. McDougal, Kristian J. Hammond:
Representing and Using Procedural Knowledge to Build Geometry Proofs. 60-65 - Edwina L. Rissland, Jody J. Daniels, Zachary B. Rubinstein, David B. Skalak:
Case-Based Diagnostic Analysis in a Blackboard Architecture. 66-72 - Roland Zito-Wolf, Richard Alterman:
A FrameWork and an Analysis of Current Proposals for the Case-Based Organization and Representation of Procedural Knowledge. 73-78
Complexity in Machine Learning
- William W. Cohen:
Cryptographic Limitations on Learning One-Clause Logic Programs. 80-85 - William W. Cohen:
Pac-Learning a Restricted Class of Recursive Logic Programs. 86-92 - Michael Frazier, C. David Page Jr.:
Learnability in Inductive Logic Programrning: Some Basic Results and Techniques. 93-98 - Sven Koenig, Reid G. Simmons:
Complexity Analysis of Real-Time Reinforcement Learning. 99-107 - Christian Bessière, Marie-Odile Cordier:
Arc-Consistency and Arc-Consistency Again. 108-113 - Philippe Jégou:
On the Consistency of General Constraint-Satisfaction Problems. 114-119 - Steven Minton:
Integrating Heuristics for Constraint Satisfaction Problems: A Case Study. 120-126 - Eddie Schwalb, Rina Dechter:
Coping With Disjunctions in Temporal Constraint Satisfaction Problems. 127-132 - Jeffrey Mark Siskind, David A. McAllester:
Nondeterministic Lisp as a Substrate for Constraint Logic Programming. 133-138 - Stephen F. Smith, Cheng-Chung Cheng:
Slack-Based Heuristics for Constraint Satisfaction Scheduling. 139-144 - Toshikazu Tanimoto:
A Constraint Decomposition Method for Spatio-Temporal Configuration Problems. 145-151 - Colin P. Williams, Tad Hogg:
Extending Deep Structure. 152-157
Diagnostic Reasoning
- Randall Davis, Paul Resnick:
Multiple Dimensions of Generalization In Model-Based Troubleshooting. 160-167 - Michel P. Féret, Janice I. Glasgow:
Hybrid Case-Based Reasoning for the Diagnosis of Complex Devices. 168-175 - Ira J. Haimowitz, Isaac S. Kohane:
An Epistemology for Clinically Significant Trends. 176-181 - Ying Sun, Daniel S. Weld:
A Framework for Model-Based Repair. 182-187
Discourse Analysis
- Arne Jönsson:
A Method for Development of Dialogue Managers for Natural Language Interfaces. 190-195 - David G. Novick, Karen Ward:
Mutual Beliefs of Multiple Conversants: A Computational Model of Collaboration in Air Traffic Control. 196-201 - Ingrid Zukerman, Richard McConachy:
An Optimizing Method for Structuring Inferentially Linked Discourse. 202-207
Distributed Problem Solving
- Keith Decker, Victor R. Lesser:
A One-shot Dynamic Coordination Algorithm for Distributed Sensor Networks. 210-216 - Keith Decker, Victor R. Lesser:
Quantitative Modeling of Complex Computational Task Environments. 217-224 - Edmund H. Durfee, Jaeho Lee, Piotr J. Gmytrasiewicz:
Overeager Reciprocal Rationality and Mixed Strategy Equilibria. 225-230 - Tad Hogg, Colin P. Williams:
Solving the Really Hard Problems with Cooperative Search. 231-236 - Andrew P. Kosoresow:
A Fast First-Cut Protocol for Agent Coordination. 237-242 - Sarit Kraus:
Agents Contracting Tasks in Non-Collaborative Environments. 243-248 - Victor R. Lesser, Izaskun Gallastegi, Hamid Nawab, Frank Klassner:
IPUS: An Architecture for Integrated Signal Processing and Signal Interpretation in Complex Environments. 249-255 - Tuomas Sandholm:
An Implementation of the Contract Net Protocol Based on Marginal Cost Calculations. 256-262
Intelligent User Interfaces
- Patrice O. Gautier, Thomas R. Gruber:
Generating Explanations of Device Behavior Using Compositional Modeling and Causal Ordering. 264-270 - Vibhu O. Mittal, Cécile Paris:
Generating Natural Language Descriptions with Examples: Differences between Introductory and Advanced Texts. 271-276 - R. Bharat Rao, Stephen C. Y. Lu:
Building Models to Support Synthesis in Early Stage Product Design. 277-282 - Adelheit Stein, Ulrich Thiel:
A Conversational Model of Multimodal Interaction in Information Systems. 283-288
Large Scale Knowledge Bases
- Robert B. Doorenbos:
Matching 100, 000 Learned Rules. 290-296 - Matthew P. Evett, James A. Hendler, William A. Andersen:
Massively Parallel Support for Computationally Effective Recognition Queries. 297-302 - Hiroaki Kitano, Hideo Shimazu, Akihiro Shibata:
Case-Method: A Methodology for Building Large-Scale Case-Based Systems. 303-308 - Richard Osgood, Ray Bareiss:
Automated Index Generation for Constructing Large-Scale Conversational Hypermedia Systems. 309-314
Machine Learning
- Arthur L. Delcher, Simon Kasif, Harry R. Goldberg, William H. Hsu:
Probabilistic Prediction of Protein Secondary Structure Using Causal Networks (Extended Abstract). 316-321 - Sreerama K. Murthy, Simon Kasif, Steven Salzberg, Richard Beigel:
OC1: A Randomized Induction of Oblique Decision Trees. 322-327 - Michael J. Pazzani, Clifford Brunk:
Finding Accurate Frontiers: A Knowledge-Intensive Approach to Relational Learning. 328-334 - Mehran Sahami:
Learning Non-Linearly Separable Boolean Functions With Linear Threshold Unit Trees and Madaline-Style Networks. 335-341
Natural Language Generation
- Michael Elhadad
:
Generating Argumentative Judgment Determiners. 344-349 - Masahiko Haruno, Yasuharu Den, Yuji Matsumoto, Makoto Nagao:
Bidirectional Chart Generation of Natural Language Texts. 350-356 - Mark T. Maybury:
Communicative Acts for Generating Natural Language Arguments. 357-364 - Jacques Robin, Kathleen R. McKeown:
Corpus Analysis for Revision-Based Generation of Complex Sentences. 365-372
Natural Language Analysis
- Bonnie J. Dorr, Clare R. Voss:
Machine Translation of Spatial Expressions: Defining the Relation between an Interlingua and a Knowledge Representation System. 374-379 - Kurt P. Eiselt, Kavi Mahesh, Jennifer K. Holbrook:
Having Your Cake and Eating It Too: Autonomy and Interaction in a Model of Sentence Processing. 380-385 - Christian R. Huyck, Steven L. Lytinen:
Efficient Heuristic Natural Language Parsing. 386-391 - Jack Mostow, Alexander G. Hauptmann, Lin Lawrence Chase, Steven F. Roth:
Towards a Reading Coach that Listens: Automated Detection of Oral Reading Errors. 392-397
Nonmonotonic Logic
- Antje Beringer, Torsten Schaub:
Minimal Belief and Negation as Failure: A Feasible Approach. 400-405 - Philippe Besnard, Torsten Schaub:
A Context-Based Framework for Default Logics. 406-411 - Sasa Buvac, Ian A. Mason:
Propositional Logic of Context. 412-419 - James Cussens, Anthony Hunter, Ashwin Srinivasan:
Generating Explicit Orderings for Non-monotonic Logics. 420-425 - Nita Goyal, Yoav Shoham:
Reasoning Precisely with Vague Concepts. 426-431 - Vladimir Lifschitz:
Restricted Monotonicity. 432-437 - Grigori Schwarz, Miroslaw Truszczynski:
Subnormal Modal Logics for Knowledge Representation. 438-443 - Zbigniew Stachniak:
Algebraic Sematics for Cumulative Inference Operations. 444-449
Novel Methods in Knowledge Acquisition
- Catherine Baudin, Smadar Kedar, Jody Gevins Underwood, Vinod Baya:
Question-based Acquisition of Conceptual Indices for Multimedia Design Documentation. 452-458 - Pattie Maes, Robyn Kozierok:
Learning Interface Agents. 459-465 - Somkiat Tangkitvanich, Masamichi Shimura:
Learning from an Approximate Theory and Noisy Examples. 466-471 - Raúl E. Valdés-Pérez, Jan M. Zytkow, Herbert A. Simon:
Scientific Model-Building as Search in Matrix Spaces. 472-478
Plan Generation
- Tom Bylander:
An Average Case Analysis of Planning. 480-485 - Soowon Lee, Paul S. Rosenbloom:
Granularity in Multi-Method Planning. 486-491 - Mark A. Peot, David E. Smith:
Threat-Removal Strategies for Partial-Order Planning. 492-499 - David E. Smith, Mark A. Peot:
Postponing Threats in Partial-Order Planning. 500-506
Plan Learning
- Gerald DeJong, Scott W. Bennett:
Permissive Planning: A Machine Learning Approach to Linking Internal and External Worlds. 508-513 - Subbarao Kambhampati, Jengchin Chen:
Relative Utility of EBG based Plan Reuse in Partial Ordering vs. Total Ordering Planning. 514-519 - Rüdiger Oehlmann, Derek H. Sleeman, Peter Edwards:
Learning Plan Transformations from Self-Questions: A Memory-Based Approach. 520-525 - Milind Tambe, Paul S. Rosenbloom:
On the Masking Effect. 526-533
Qualitative Reasoning
- Alicia Abella, John R. Kender:
Qualitatively Describing Objects Using Spatial Prepositions. 536-540 - Philippe Dague:
Numeric Reasoning with Relative Orders of Magnitude. 541-547 - Marek J. Druzdzel, Max Henrion:
Efficient Reasoning in Qualitative Probabilistic Networks. 548-553 - Toyoaki Nishida:
Generating Quasi-symbolic Representation of Three-Dimensional Flow. 554-559
Real-Time Planning and Simulation
- Franz G. Amador, Adam Finkelstein, Daniel S. Weld:
Real-Time Self-Explanatory Simulation. 562-567 - David Ash, Barbara Hayes-Roth:
A Comparison of Action-Based Hierarchies and Decision Trees for Real-Time Performance. 568-573 - Thomas L. Dean, Leslie Pack Kaelbling, Jak Kirman, Ann E. Nicholson:
Planning With Deadlines in Stochastic Domains. 574-579 - Alan Garvey, Marty Humphrey, Victor R. Lesser:
Task Interdependencies in Design-to-time Real-time Scheduling. 580-585
Reasoning about Physical Systems
- Matthew Brand, Lawrence Birnbaum, Paul R. Cooper:
Sensible Scenes: Visual Understanding of Complex Structures through Causal Analysis. 588-593 - Thomas Ellman, John Eric Keane, Mark Schwabacher:
Intelligent Model Selection for Hillclimbing Search in Computer-Aided Design. 594-599 - Brian Falkenhainer:
Ideal Physical Systems. 600-605 - Herbert Kay, Benjamin Kuipers:
Numerical Behavior Envelopes for Qualitative Models. 606-613 - Wood W. Lee, Benjamin Kuipers:
A Qualitative Method to Construct Phase Portraits. 614-619 - Howard E. Shrobe:
Understanding Linkages. 620-625 - Marcos Vescovi, Yumi Iwasaki, Richard Fikes, B. Chandrasekaran:
CFRL: A Language for Specifying the Causal Functionality of Engineered Devices. 626-633 - Kenneth Man-kam Yip:
Model Simplification by Asymptotic Order of Magnitude Reasoning. 634-640
Representation and Reasoning
- Craig Boutilier, Verónica Becher:
Abduction As Belief Revision: A Model of Preferred Explanations. 642-648 - Craig Boutilier, Moisés Goldszmidt:
Revision by Conditional Beliefs. 649-654 - Joseph Y. Halpern:
Reasoning about only Knowing with Many Agents. 655-661 - Gerhard Lakemeyer:
All They Know About. 662-667
Representation for Actions and Motion
- Ronen I. Brafman, Jean-Claude Latombe, Yoav Shoham:
Towards Knowledge-Level Analysis of Motion Planning. 670-675 - Chung Hee Hwang, Lenhart K. Schubert:
EL: A Formal, Yet Natural, Comprehensive Knowledge Representation. 676-682 - Charles L. Ortiz Jr.:
The Semantics of Event Prevention. 683-688 - Richard B. Scherl, Hector J. Levesque:
The Frame Problem and Knowledge-Producing Actions. 689-695
Rule-Based Reasoning
- Charles Elkan:
The Paradoxical Success of Fuzzy Logic. 698-703 - Clifford Grossner, Alun D. Preece, P. Gokul Chander, Thiruvengadam Radhakrishnan, Ching Y. Suen:
Exploring the Structure of Rule Based Systems. 704-709 - Howard E. Shrobe:
Supporting and Optimizing Full Unification in a Forward Chaining Rule System. 710-715 - Atsushi Sugiura, Maximilian Riesenhuber, Yoshiyuki Koseki:
Comprehensibility Improvement of Tabular Knowledge Bases. 716-721
Search
- Michael R. Genesereth, Illah R. Nourbakhsh:
Time-Saving Tips for Problem Solving with Incomplete Information. 724-730 - Philippe Jégou:
Decomposition of Domains Based on the Micro-Structure of Finite Constraint-Satisfaction Problems. 731-736 - Dorothy Neville, Daniel S. Weld:
Innovative Design as Systematic Search. 737-742 - Armand Prieditis, Bhaskar Janakiraman:
Generating Effective Admissible Heuristics by Abstraction and Reconstitution. 743-748 - Foster J. Provost:
Iterative Weakening: Optimal and Near-Optimal Policies for the Selection of Search Bias. 749-755 - Larry A. Taylor, Richard E. Korf:
Pruning Duplicate Nodes in Depth-First Search. 756-761 - Richard J. Wallace, Eugene C. Freuder:
Conjunctive Width Heuristics for Maximal Constraint Satisfaction. 762-768 - Weixiong Zhang, Richard E. Korf:
Depth-First vs. Best-First Search: New Results. 769-775
Statistically-Based Natural Language Processing
- Rens Bod:
Using an Annotated Language Corpus as a Virtual Stochastic Grammar. 778-783 - Eugene Charniak, Curtis Hendrickson, Neil Jacobson, Mike Perkowitz:
Equations for Part-of-Speech Tagging. 784-789 - Dekai Wu:
Estimating Probability Distributions over Hypotheses with Variable Unification. 790-795
Trainable Natural Language Systems
- Claire Cardie:
A Case-Based Approach to Knowledge Acquisition for Domain-Specific Sentence Analysis. 798-803 - Van E. Kelly, Mark A. Jones:
KITSS: A Knowledge-Based Translation System for Test Scenarios. 804-810 - Ellen Riloff:
Automatically Constructing a Dictionary for Information Extraction Tasks. 811-816 - John M. Zelle, Raymond J. Mooney:
Learning Semantic Grammars with Constructive Inductive Logic Programming. 817-822
Vision Processing
- Ian Horswill:
Polly: A Vision-Based Artificial Agent. 824-829 - Arun Krishnan, Narendra Ahuja:
Range Estimation From Focus Using a Non-frontal Imaging Camera. 830-835 - Hiroshi Murase, Shree K. Nayar:
Learning Object Models from Appearance. 836-843 - Richard P. Wildes:
On the Qualitative Structure of Temporally Evolving Visual Motion Fields. 844-849
Invited Talks
- Edward A. Feigenbaum:
Tiger in a Cage: The Applications of Knowledge-based Systems (1993) - Abstract. 852 - Herbert A. Simon:
Artificial Intelligence as an Experimental Science (Abstract). 853
Video Abstracts
- D. Richard Hipp, Ronnie W. Smith:
A Demonstration of the "Circuit Fix-it Shoppe". 856 - Scott B. Huffman, John E. Laird:
Instructo-Soar: Learning from Interactive Natural Language Instructions (Video Abstract). 857 - David Kortenkamp, Marcus J. Huber, Charles J. Cohen, Ulrich Raschke, Clint Bidlack, Clare Bates Congdon, Frank Koss, Terry E. Weymouth:
Winning the AAAI Robot Competition. 858-859 - Douglas J. Pearson, Randolph M. Jones, John E. Laird:
AIR-SOAR: Intelligent Multi-Level Control. 860-861 - Douglas A. Reece, Steven A. Shafer:
Selective Perception for Robot Driving. 862 - Edward M. Riseman, Allen R. Hanson, J. Inigo Thomas:
Computer Vision Research at the University of Massachusetts. 863 - Alessandro Saffiotti, Nicolas Helft, Kurt Konolige, John D. Lowrance, Karen L. Myers, Daniela Musto, Enrique H. Ruspini, Leonard P. Wesley:
A Fuzzy Controller for Flakey, the Robot. 864
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 2024-10-31 20:01 CET 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:
