![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
11th 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.