Conferences in DBLP
Rachel Ben-Eliyahu , Rina Dechter On Computing Minimal Models. [Citation Graph (0, 0)][DBLP ] Conf ] Antje Beringer , Steffen Hölldobler On the Adequateness of the Connection Method. [Citation Graph (0, 0)][DBLP ] Conf ] Heng Chu , David A. Plaisted Rough Resolution: A Refinement of Resolution to Remove Large Literals. [Citation Graph (0, 0)][DBLP ] Conf ] James M. Crawford , Larry D. Auton Experimental Results on the Crossover Point in Satisfiability Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Ian P. Gent , Toby Walsh Towards an Understanding of Hill-Climbing Procedures for SAT. [Citation Graph (0, 0)][DBLP ] Conf ] Henry A. Kautz , Michael J. Kearns , Bart Selman Reasoning With Characteristic Models. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Morris The Breakout Method for Escaping from Local Minima. [Citation Graph (1, 0)][DBLP ] Conf ] Bart Selman , Henry A. Kautz An Empirical Study of Greedy Local Search for Satisfiability Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Goodman Projective Visualization: Acting from Experience. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas F. McDougal , Kristian J. Hammond Representing and Using Procedural Knowledge to Build Geometry Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Edwina L. Rissland , Jody J. Daniels , Zachary B. Rubinstein , David B. Skalak Case-Based Diagnostic Analysis in a Blackboard Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Roland Zito-Wolf , Richard Alterman A FrameWork and an Analysis of Current Proposals for the Case-Based Organization and Representation of Procedural Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] William W. Cohen Cryptographic Limitations on Learning One-Clause Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] William W. Cohen Pac-Learning a Restricted Class of Recursive Logic Programs. [Citation Graph (1, 0)][DBLP ] Conf ] Michael Frazier , C. David Page Jr. Learnability in Inductive Logic Programrning: Some Basic Results and Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Sven Koenig , Reid G. Simmons Complexity Analysis of Real-Time Reinforcement Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Bessière , Marie-Odile Cordier Arc-Consistency and Arc-Consistency Again. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Jégou On the Consistency of General Constraint-Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Steven Minton Integrating Heuristics for Constraint Satisfaction Problems: A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Eddie Schwalb , Rina Dechter Coping With Disjunctions in Temporal Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey Mark Siskind , David A. McAllester Nondeterministic Lisp as a Substrate for Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen F. Smith , Cheng-Chung Cheng Slack-Based Heuristics for Constraint Satisfaction Scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] Toshikazu Tanimoto A Constraint Decomposition Method for Spatio-Temporal Configuration Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Colin P. Williams , Tad Hogg Extending Deep Structure. [Citation Graph (0, 0)][DBLP ] Conf ] Randall Davis , Paul Resnick Multiple Dimensions of Generalization In Model-Based Troubleshooting. [Citation Graph (0, 0)][DBLP ] Conf ] Michel P. Féret , Janice I. Glasgow Hybrid Case-Based Reasoning for the Diagnosis of Complex Devices. [Citation Graph (0, 0)][DBLP ] Conf ] Ira J. Haimowitz , Isaac S. Kohane An Epistemology for Clinically Significant Trends. [Citation Graph (0, 0)][DBLP ] Conf ] Ying Sun , Daniel S. Weld A Framework for Model-Based Repair. [Citation Graph (0, 0)][DBLP ] Conf ] Arne Jönsson A Method for Development of Dialogue Managers for Natural Language Interfaces. [Citation Graph (0, 0)][DBLP ] Conf ] David G. Novick , Karen Ward Mutual Beliefs of Multiple Conversants: A Computational Model of Collaboration in Air Traffic Control. [Citation Graph (0, 0)][DBLP ] Conf ] Ingrid Zukerman , Richard McConachy An Optimizing Method for Structuring Inferentially Linked Discourse. [Citation Graph (0, 0)][DBLP ] Conf ] Keith Decker , Victor R. Lesser A One-shot Dynamic Coordination Algorithm for Distributed Sensor Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Keith Decker , Victor R. Lesser Quantitative Modeling of Complex Computational Task Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Edmund H. Durfee , Jaeho Lee , Piotr J. Gmytrasiewicz Overeager Reciprocal Rationality and Mixed Strategy Equilibria. [Citation Graph (0, 0)][DBLP ] Conf ] Tad Hogg Solving the Really Hard Problems with Cooperative Search. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew P. Kosoresow A Fast First-Cut Protocol for Agent Coordination. [Citation Graph (0, 0)][DBLP ] Conf ] Sarit Kraus Agents Contracting Tasks in Non-Collaborative Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Victor R. Lesser , Izaskun Gallastegi , Hamid Nawab , Frank Klassner IPUS: An Architecture for Integrated Signal Processing and Signal Interpretation in Complex Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Tuomas Sandholm An Implementation of the Contract Net Protocol Based on Marginal Cost Calculations. [Citation Graph (1, 0)][DBLP ] Conf ] Patrice O. Gautier , Thomas R. Gruber Generating Explanations of Device Behavior Using Compositional Modeling and Causal Ordering. [Citation Graph (0, 0)][DBLP ] Conf ] Vibhu O. Mittal , Cécile Paris Generating Natural Language Descriptions with Examples: Differences between Introductory and Advanced Texts. [Citation Graph (0, 0)][DBLP ] Conf ] R. Bharat Rao , Stephen C. Y. Lu Building Models to Support Synthesis in Early Stage Product Design. [Citation Graph (0, 0)][DBLP ] Conf ] Adelheit Stein , Ulrich Thiel A Conversational Model of Multimodal Interaction in Information Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Robert B. Doorenbos Matching 100, 000 Learned Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew P. Evett , James A. Hendler , William A. Andersen Massively Parallel Support for Computationally Effective Recognition Queries. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroaki Kitano , Hideo Shimazu , Akihiro Shibata Case-Method: A Methodology for Building Large-Scale Case-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Osgood , Ray Bareiss Automated Index Generation for Constructing Large-Scale Conversational Hypermedia Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Arthur L. Delcher , Simon Kasif , Harry R. Goldberg , William H. Hsu Probabilistic Prediction of Protein Secondary Structure Using Causal Networks (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Sreerama K. Murthy , Simon Kasif , Steven Salzberg , Richard Beigel OC1: A Randomized Induction of Oblique Decision Trees. [Citation Graph (1, 0)][DBLP ] Conf ] Michael J. Pazzani , Clifford Brunk Finding Accurate Frontiers: A Knowledge-Intensive Approach to Relational Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Mehran Sahami Learning Non-Linearly Separable Boolean Functions With Linear Threshold Unit Trees and Madaline-Style Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Elhadad Generating Argumentative Judgment Determiners. [Citation Graph (0, 0)][DBLP ] Conf ] Masahiko Haruno , Yasuharu Den , Yuji Matsumoto , Makoto Nagao Bidirectional Chart Generation of Natural Language Texts. [Citation Graph (0, 0)][DBLP ] Conf ] Mark T. Maybury Communicative Acts for Generating Natural Language Arguments. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Robin , Kathleen McKeown Corpus Analysis for Revision-Based Generation of Complex Sentences. [Citation Graph (0, 0)][DBLP ] Conf ] Bonnie J. Dorr , Clare R. Voss Machine Translation of Spatial Expressions: Defining the Relation between an Interlingua and a Knowledge Representation System. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt P. Eiselt , Kavi Mahesh , Jennifer K. Holbrook Having Your Cake and Eating It Too: Autonomy and Interaction in a Model of Sentence Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Christian R. Huyck , Steven L. Lytinen Efficient Heuristic Natural Language Parsing. [Citation Graph (0, 0)][DBLP ] Conf ] Jack Mostow , Alexander G. Hauptmann , Lin Lawrence Chase , Steven F. Roth Towards a Reading Coach that Listens: Automated Detection of Oral Reading Errors. [Citation Graph (0, 0)][DBLP ] Conf ] Antje Beringer , Torsten Schaub Minimal Belief and Negation as Failure: A Feasible Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Besnard , Torsten Schaub A Context-Based Framework for Default Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Sasa Buvac , Ian A. Mason Propositional Logic of Context. [Citation Graph (1, 0)][DBLP ] Conf ] James Cussens , Anthony Hunter , Ashwin Srinivasan Generating Explicit Orderings for Non-monotonic Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Nita Goyal , Yoav Shoham Reasoning Precisely with Vague Concepts. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Lifschitz Restricted Monotonicity. [Citation Graph (0, 0)][DBLP ] Conf ] Grigori Schwarz , Miroslaw Truszczynski Subnormal Modal Logics for Knowledge Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Zbigniew Stachniak Algebraic Sematics for Cumulative Inference Operations. [Citation Graph (0, 0)][DBLP ] Conf ] Catherine Baudin , Smadar Kedar , Jody Gevins Underwood , Vinod Baya Question-based Acquisition of Conceptual Indices for Multimedia Design Documentation. [Citation Graph (1, 0)][DBLP ] Conf ] Pattie Maes , Robyn Kozierok Learning Interface Agents. [Citation Graph (1, 0)][DBLP ] Conf ] Somkiat Tangkitvanich , Masamichi Shimura Learning from an Approximate Theory and Noisy Examples. [Citation Graph (0, 0)][DBLP ] Conf ] Raúl E. Valdés-Pérez , Jan M. Zytkow , Herbert A. Simon Scientific Model-Building as Search in Matrix Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Tom Bylander An Average Case Analysis of Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Soowon Lee , Paul S. Rosenbloom Granularity in Multi-Method Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Mark A. Peot , David E. Smith Threat-Removal Strategies for Partial-Order Planning. [Citation Graph (0, 0)][DBLP ] Conf ] David E. Smith , Mark A. Peot Postponing Threats in Partial-Order Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Gerald DeJong , Scott Bennett Permissive Planning: A Machine Learning Approach to Linking Internal and External Worlds. [Citation Graph (0, 0)][DBLP ] Conf ] Subbarao Kambhampati , Jengchin Chen Relative Utility of EBG based Plan Reuse in Partial Ordering vs. Total Ordering Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Rüdiger Oehlmann , Derek H. Sleeman , Peter Edwards Learning Plan Transformations from Self-Questions: A Memory-Based Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Milind Tambe , Paul S. Rosenbloom On the Masking Effect. [Citation Graph (0, 0)][DBLP ] Conf ] Alicia Abella , John R. Kender Qualitatively Describing Objects Using Spatial Prepositions. [Citation Graph (1, 0)][DBLP ] Conf ] Philippe Dague Numeric Reasoning with Relative Orders of Magnitude. [Citation Graph (0, 0)][DBLP ] Conf ] Marek J. Druzdzel , Max Henrion Efficient Reasoning in Qualitative Probabilistic Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Toyoaki Nishida Generating Quasi-symbolic Representation of Three-Dimensional Flow. [Citation Graph (0, 0)][DBLP ] Conf ] Franz G. Amador , Adam Finkelstein , Daniel S. Weld Real-Time Self-Explanatory Simulation. [Citation Graph (0, 0)][DBLP ] Conf ] David Ash , Barbara Hayes-Roth A Comparison of Action-Based Hierarchies and Decision Trees for Real-Time Performance. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Dean , Leslie Pack Kaelbling , Jak Kirman , Ann E. Nicholson Planning With Deadlines in Stochastic Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Garvey , Marty Humphrey , Victor R. Lesser Task Interdependencies in Design-to-time Real-time Scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew Brand , Lawrence Birnbaum , Paul R. Cooper Sensible Scenes: Visual Understanding of Complex Structures through Causal Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Ellman , John Keane , Mark Schwabacher Intelligent Model Selection for Hillclimbing Search in Computer-Aided Design. [Citation Graph (0, 0)][DBLP ] Conf ] Brian Falkenhainer Ideal Physical Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Herbert Kay , Benjamin Kuipers Numerical Behavior Envelopes for Qualitative Models. [Citation Graph (0, 0)][DBLP ] Conf ] Wood W. Lee , Benjamin Kuipers A Qualitative Method to Construct Phase Portraits. [Citation Graph (0, 0)][DBLP ] Conf ] Howard E. Shrobe Understanding Linkages. [Citation Graph (0, 0)][DBLP ] Conf ] Marcos Vescovi , Yumi Iwasaki , Richard Fikes , B. Chandrasekaran CFRL: A Language for Specifying the Causal Functionality of Engineered Devices. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth Man-kam Yip Model Simplification by Asymptotic Order of Magnitude Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Craig Boutilier , Verónica Becher Abduction As Belief Revision: A Model of Preferred Explanations. [Citation Graph (0, 0)][DBLP ] Conf ] Craig Boutilier , Moisés Goldszmidt Revision by Conditional Beliefs. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph Y. Halpern Reasoning about only Knowing with Many Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Lakemeyer All They Know About. [Citation Graph (0, 0)][DBLP ] Conf ] Ronen I. Brafman , Jean-Claude Latombe , Yoav Shoham Towards Knowledge-Level Analysis of Motion Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Chung Hee Hwang , Lenhart K. Schubert EL: A Formal, Yet Natural, Comprehensive Knowledge Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Charles L. Ortiz Jr. The Semantics of Event Prevention. [Citation Graph (0, 0)][DBLP ] Conf ] Richard B. Scherl , Hector J. Levesque The Frame Problem and Knowledge-Producing Actions. [Citation Graph (0, 0)][DBLP ] Conf ] Charles Elkan The Paradoxical Success of Fuzzy Logic. [Citation Graph (1, 0)][DBLP ] Conf ] Clifford Grossner , Alun D. Preece , P. Gokul Chander , Thiruvengadam Radhakrishnan , Ching Y. Suen Exploring the Structure of Rule Based Systems. [Citation Graph (1, 0)][DBLP ] Conf ] Howard E. Shrobe Supporting and Optimizing Full Unification in a Forward Chaining Rule System. [Citation Graph (0, 0)][DBLP ] Conf ] Atsushi Sugiura , Maximilian Riesenhuber , Yoshiyuki Koseki Comprehensibility Improvement of Tabular Knowledge Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Michael R. Genesereth , Illah R. Nourbakhsh Time-Saving Tips for Problem Solving with Incomplete Information. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Jégou Decomposition of Domains Based on the Micro-Structure of Finite Constraint-Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Dorothy Neville , Daniel S. Weld Innovative Design as Systematic Search. [Citation Graph (0, 0)][DBLP ] Conf ] Armand Prieditis , Bhaskar Janakiraman Generating Effective Admissible Heuristics by Abstraction and Reconstitution. [Citation Graph (0, 0)][DBLP ] Conf ] Foster J. Provost Iterative Weakening: Optimal and Near-Optimal Policies for the Selection of Search Bias. [Citation Graph (0, 0)][DBLP ] Conf ] Larry A. Taylor , Richard E. Korf Pruning Duplicate Nodes in Depth-First Search. [Citation Graph (0, 0)][DBLP ] Conf ] Richard J. Wallace , Eugene C. Freuder Conjunctive Width Heuristics for Maximal Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] Conf ] Weixiong Zhang , Richard E. Korf Depth-First vs. Best-First Search: New Results. [Citation Graph (0, 0)][DBLP ] Conf ] Rens Bod Using an Annotated Language Corpus as a Virtual Stochastic Grammar. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene Charniak , Curtis Hendrickson , Neil Jacobson , Mike Perkowitz Equations for Part-of-Speech Tagging. [Citation Graph (0, 0)][DBLP ] Conf ] Dekai Wu Estimating Probability Distributions over Hypotheses with Variable Unification. [Citation Graph (0, 0)][DBLP ] Conf ] Claire Cardie A Case-Based Approach to Knowledge Acquisition for Domain-Specific Sentence Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Van E. Kelly , Mark A. Jones KITSS: A Knowledge-Based Translation System for Test Scenarios. [Citation Graph (0, 0)][DBLP ] Conf ] Ellen Riloff Automatically Constructing a Dictionary for Information Extraction Tasks. [Citation Graph (0, 0)][DBLP ] Conf ] John M. Zelle , Raymond J. Mooney Learning Semantic Grammars with Constructive Inductive Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Ian Horswill Polly: A Vision-Based Artificial Agent. [Citation Graph (0, 0)][DBLP ] Conf ] Arun Krishnan , Narendra Ahuja Range Estimation From Focus Using a Non-frontal Imaging Camera. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroshi Murase , Shree K. Nayar Learning Object Models from Appearance. [Citation Graph (0, 0)][DBLP ] Conf ] Richard P. Wildes On the Qualitative Structure of Temporally Evolving Visual Motion Fields. [Citation Graph (0, 0)][DBLP ] Conf ] Edward A. Feigenbaum Tiger in a Cage: The Applications of Knowledge-based Systems (1993) - Abstract. [Citation Graph (0, 0)][DBLP ] Conf ] Herbert A. Simon Artificial Intelligence as an Experimental Science (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] D. Richard Hipp , Ronnie W. Smith A Demonstration of the "Circuit Fix-it Shoppe". [Citation Graph (0, 0)][DBLP ] Conf ] Scott B. Huffman , John E. Laird Instructo-Soar: Learning from Interactive Natural Language Instructions (Video Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] David Kortenkamp , Marcus Huber , Charles Cohen , Ulrich Raschke , Clint Bidlack , Clare Bates Congdon , Frank Koss , Terry E. Weymouth Winning the AAAI Robot Competition. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas J. Pearson , Randolph M. Jones , John E. Laird AIR-SOAR: Intelligent Multi-Level Control. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas A. Reece , Steven A. Shafer Selective Perception for Robot Driving. [Citation Graph (0, 0)][DBLP ] Conf ] Edward M. Riseman , Allen R. Hanson , J. Inigo Thomas Computer Vision Research at the University of Massachusetts. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] 