Conferences in DBLP
Yishai A. Feldman , Charles Rich Reasoning with Simplifying Assumptions: A Methodology and Example. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Brewka Tweety - Still Flying: Some Remarks on Abnormal Birds Applicable Rules and a Default Prover. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Morris , Robert Nado Representing Actions with an Assumption-Based Truth Maintenance System. [Citation Graph (0, 0)][DBLP ] Conf ] Donald Cohen Automatic Compilation of Logical Specifications into Efficient Programs. [Citation Graph (6, 0)][DBLP ] Conf ] Andrzej Skowron , Alberto Pettorossi Factual Knowledge For Developing Concurrent Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Henry A. Kautz , James F. Allen Generalized Plan Recognition. [Citation Graph (2, 0)][DBLP ] Conf ] Marvin Belzer A Logic of Deliberation. [Citation Graph (0, 0)][DBLP ] Conf ] James G. Schmolze Physics for Robots. [Citation Graph (0, 0)][DBLP ] Conf ] Michael R. Genesereth , Matthew L. Ginsberg , Jeffrey S. Rosenschein Cooperation without Communication. [Citation Graph (0, 0)][DBLP ] Conf ] Edmund H. Durfee , Victor R. Lesser Incremental Planning to Control a Blackboard-based Problem Solver. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Alterman An Adaptive Planner. [Citation Graph (1, 0)][DBLP ] Conf ] Michael P. Georgeff The Representation of Events in Multiagent Domains. [Citation Graph (1, 0)][DBLP ] Conf ] Josh D. Tenenberg Planning with Abstraction. [Citation Graph (1, 0)][DBLP ] Conf ] Richard J. Doyle , David Atkinson , Rajkumar Doshi Generating Perception Requests and Expectations to Verify the Execution of Plans. [Citation Graph (0, 0)][DBLP ] Conf ] Erik Sandewall , Ralph Rönnquist A Representation of Action Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Olivier Raiman Order of Magnitude Reasoning. [Citation Graph (1, 0)][DBLP ] Conf ] Brian C. Williams Doing Time: Putting Qualitative Reasoning on Firmer Ground. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth D. Forbus Interpreting Measurements of Physical Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Reid G. Simmons Commonsense Arithmetic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] John Yen A Reasoning Model Based on an Extended Dempster-Shafer Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Johan de Kleer , Brian C. Williams Reasoning about Multiple Faults. [Citation Graph (0, 0)][DBLP ] Conf ] Yun Peng , James A. Reggia Plausibility of Diagnostic Hypotheses: The Nature of Simplicity. [Citation Graph (0, 0)][DBLP ] Conf ] Jens Christensen , Richard E. Korf A Unified Theory of Heuristic Evaluation Functions and its Application to Learning. [Citation Graph (1, 0)][DBLP ] Conf ] Richard Treitel , Michael R. Genesereth Choosing Directions for Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Carol Luckhart , Keki B. Irani An Algorithmic Solution of N-Person Games. [Citation Graph (0, 0)][DBLP ] Conf ] Subir Bhattacharya , Amitava Bagchi Making Best Use of Available Memory When Searching Game Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Ratner , Manfred K. Warmuth Finding a Shortest Solution for the N × N Extension of the 15-PUZZLE Is Intractable. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Ratner , Ira Pohl Joint and LPA*: Combination of Approximation and Search. [Citation Graph (0, 0)][DBLP ] Conf ] Rina Dechter Learning While Searching in Constraint-Satisfaction-Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Teodor C. Przymusinski Query Answering in Circumscriptive and Closed-World Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Lawrence J. Henschen , Hyung-Sik Park Indefinite and GCWA Inference in Indefinite Deductive Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Dale Miller , Amy P. Felty An Integration of Resolution and Natural Deduction Theorem Proving. [Citation Graph (0, 0)][DBLP ] Conf ] Dana H. Ballard Parallel Logical Inference and Energy Minimization. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Horvitz , David Heckerman , Curtis Langlotz A Framework for Comparing Alternative Formalisms for Plausible Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Curtis Langlotz , Edward H. Shortliffe , Lawrence M. Fagan Using Decision Theory to Justify Heuristics. [Citation Graph (0, 0)][DBLP ] Conf ] Gerald Liu Causal and Plausible Reasoning in Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Marshall I. Schor , Timothy Daly , Ho Soo Lee , Beth Tibbitts Advances in Rete Pattern Matching. [Citation Graph (8, 0)][DBLP ] Conf ] Paul Snow Bayesian Inference without Point Estimates. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Haddawy Implementation of and Experiments with a Variable Precision Logic Inference System. [Citation Graph (0, 0)][DBLP ] Conf ] Matthew L. Ginsberg Multi-Valued Logics. [Citation Graph (3, 0)][DBLP ] Conf ] Sergio Alvarado , Michael G. Dyer , Margot Flowers Editorial Comprehension in OpEd through Argument Units. [Citation Graph (0, 0)][DBLP ] Conf ] Charles Martin , Christopher Riesbeck Uniform Parsing and Inferencing for Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Noel E. Sharkey , Richard F. E. Sutcliffe , Wayne Wobcke Mixing Binary and Continuous Connection Schemes for Knowledge Access. [Citation Graph (0, 0)][DBLP ] Conf ] Kristian J. Hammond CHEF: A Model of Case-Based Planning. [Citation Graph (1, 0)][DBLP ] Conf ] Brian Falkenhainer , Kenneth D. Forbus , Dedre Gentner The Structure-Mapping Engine. [Citation Graph (0, 0)][DBLP ] Conf ] Stuart C. Shapiro , William J. Rapaport SNePS Considered as a Fully Intensional Propositional Semantic Network. [Citation Graph (0, 0)][DBLP ] Conf ] Stuart J. Russell Quantitative Analysis of Analogy. [Citation Graph (0, 0)][DBLP ] Conf ] Edwina L. Rissland , Kevin D. Ashley Hypotheticals as Heuristic Device. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Edelson Can a System Be Intelligent if It Never Gives a Damn? [Citation Graph (0, 0)][DBLP ] Conf ] M. J. Coombs , R. T. Hartley Debugging User Conceptions of Interpretation Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Wanda J. Orlikowski , Vasant Dhar Imposing Structure on Linear Programming Problems: An Empirical Analysis of Expert and Novice Models. [Citation Graph (1, 0)][DBLP ] Conf ] Barbara White , John Frederiksen Intelligent Tutoring Systems Based Upon Qualitative Model Evolutions. [Citation Graph (1, 0)][DBLP ] Conf ] David Littman , Jeannine Pinto , Elliot Soloway An Analysis of Tutorial Reasoning about Programming Bugs. [Citation Graph (0, 0)][DBLP ] Conf ] Steve Hanks , Drew V. McDermott Default Reasoning, Nonmonotonic Logics, and the Frame Problem. [Citation Graph (2, 0)][DBLP ] Conf ] Johannes de Haan , Lenhart K. Schubert Inference in a Topically Organized Semantic Net. [Citation Graph (0, 0)][DBLP ] Conf ] Judea Pearl On the Logic of Probabilistic Dependencies. [Citation Graph (0, 0)][DBLP ] Conf ] Peter F. Patel-Schneider A Four-Valued Semantics for Frame-Based Description Languages. [Citation Graph (2, 0)][DBLP ] Conf ] Simon Kasif On the Parallel Complexity of Some Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Peter B. Ladkin Primitives and Units for Time Specification. [Citation Graph (1, 0)][DBLP ] Conf ] Peter B. Ladkin Time Representation: A Taxonomy of Internal Relations. [Citation Graph (3, 0)][DBLP ] Conf ] Bruce Leban , David McDonald , David Forster A Representation for Collections of Temporal Intervals. [Citation Graph (7, 0)][DBLP ] Conf ] Hon Wai Chun A Representation for Temporal Sequence and Duration in Massively Parallel Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Marc B. Vilain , Henry A. Kautz Constraint Propagation Algorithms for Temporal Reasoning. [Citation Graph (7, 0)][DBLP ] Conf ] Jean-Francois Rit Propagating Temporal Constraints for Scheduling. [Citation Graph (1, 0)][DBLP ] Conf ] Yoav Shoham Chronological Ignorance: Time, Nonmonotonicity, Necessity and Causal Theories. [Citation Graph (1, 0)][DBLP ] Conf ] Frank Brown A Comparison of the Commonsense and Fixed Point Theories of Nonmonotonicity. [Citation Graph (0, 0)][DBLP ] Conf ] Henry A. Kautz The Logic of Persistence. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Lifschitz Pointwise Circumscription: Preliminary Report. [Citation Graph (3, 0)][DBLP ] Conf ] John A. Barnden A Viewpoint Distinction in the Representation of Propositional Attitudes. [Citation Graph (0, 0)][DBLP ] Conf ] Donald Perlis Self-Reference, Knowledge, Belief, and Modality. [Citation Graph (0, 0)][DBLP ] Conf ] Marianne Winslett Is Belief Revision Harder Than You Thought? [Citation Graph (1, 0)][DBLP ] Conf ] Ronald Fagin , Joseph Y. Halpern , Moshe Y. Vardi What Can Machines Know? On the Epistemic Properties of Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Allen Ginsberg A Metalinguistic Approach to the Construction of Knowledge Base Refinement Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Won D. Lee , Sylvian R. Ray Rule Refinement Using the Probabilistic Rule Generator. [Citation Graph (0, 0)][DBLP ] Conf ] David C. Wilkins , Bruce G. Buchanan On Debugging Rule Sets When Reasoning Under Uncertainty. [Citation Graph (0, 0)][DBLP ] Conf ] Mieczyslaw M. Kokar Discovering Functional Formulas through Changing Representation Base. [Citation Graph (1, 0)][DBLP ] Conf ] Nicholas S. Flann , Thomas G. Dietterich Selecting Appropriate Representations for Learning from Examples. [Citation Graph (0, 0)][DBLP ] Conf ] David Mutchler Optimal Allocation of Very Limited Search Resources. [Citation Graph (0, 0)][DBLP ] Conf ] Philip D. Laird Inductive Inference by Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Stuart J. Russell Preliminary Steps Toward the Automation of Induction. [Citation Graph (0, 0)][DBLP ] Conf ] David Haussler Quantifying the Inductive Bias in Concept Learning (Extended Abstract). [Citation Graph (2, 0)][DBLP ] Conf ] Patricia Cheng , Jaime G. Carbonell The FERMI System: Inducing Iterative Macro-Operators from Experience. [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey C. Schlimmer , Douglas H. Fisher A Case Study of Incremental Concept Induction. [Citation Graph (0, 0)][DBLP ] Conf ] Jeffrey C. Schlimmer , Richard H. Granger Beyond Incremental Processing: Tracking Concept Drift. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Nordhausen Conceptual Clustering Using Relational Information. [Citation Graph (0, 0)][DBLP ] Conf ] Randy Jones Generating Predictions to Aid the Scientific Discovery Process. [Citation Graph (0, 0)][DBLP ] Conf ] Devika Subramanian , Joan Feigenbaum Factorization in Experiment Generation. [Citation Graph (3, 0)][DBLP ] Conf ] William Bain A Case-Based Reasoning System for Subjective Assessment. [Citation Graph (0, 0)][DBLP ] Conf ] Donald Rose , Pat Langley STAHLp: Belief Revision in Scientific Discovery. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Lebowitz Not the Path to Perdition: The Utility of Similarity-Based Learning. [Citation Graph (1, 0)][DBLP ] Conf ] Richard J. Doyle Constructing and Refining Causal Explanations from an Inconsistent Domain Theory. [Citation Graph (1, 0)][DBLP ] Conf ] Michael J. Pazzani , Michael G. Dyer , Margot Flowers The Role of Prior Causal Theories in Generalization. [Citation Graph (0, 0)][DBLP ] Conf ] Raymond J. Mooney , Scott Bennett A Domain Independent Explanation-Based Generalizer. [Citation Graph (0, 0)][DBLP ] Conf ] Kristian J. Hammond Learning to Anticipate and Avoid Planning Problems through the Explanation of Failures. [Citation Graph (0, 0)][DBLP ] Conf ] Paul S. Rosenbloom , John E. Laird Mapping Explanation-Based Generalization onto Soar. [Citation Graph (0, 0)][DBLP ] Conf ] Robert J. Hall Learning by Failing to Explain. [Citation Graph (0, 0)][DBLP ] Conf ] Steven L. Lytinen Dynamically Combining Syntax and Semantics in Natural Language Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Louis Binot , Daniel Ribbens Dual Frames: A New Tool for Semantic Parsing. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene Charniak A Neat Theory of Marker Passing. [Citation Graph (1, 0)][DBLP ] Conf ] Kathleen Dahlgren , Joyce P. McDowell Using Commonsense Knowledge to Disambiguate Prepositional Phrase Modifiers. [Citation Graph (0, 0)][DBLP ] Conf ] Philip Johnson , Wendy G. Lehnert Beyond Exploratory Programming: A Methodology and Environment for Conceptual Natural Language Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Lenhart K. Schubert Are There Preference Trade-offs in Attachment Decisions? [Citation Graph (0, 0)][DBLP ] Conf ] Ingrid Zukerman , Judea Pearl Comprehension-Driven Generation of Meta-Technical Utterances in Math Tutoring. [Citation Graph (0, 0)][DBLP ] Conf ] Norman K. Sondheimer , Bernhard Nebel A Logical-Form and Knowledge-Base Design for Natural Language Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Diane J. Litman Understanding Plan Ellipsis. [Citation Graph (0, 0)][DBLP ] Conf ] Tomás Lozano-Pérez A Simple Motion Planning Algorithm for General Robot Manipulators. [Citation Graph (0, 0)][DBLP ] Conf ] R. E. Ellis , Edward M. Riseman , Allen R. Hanson Tactile Recognition by Probing: Identifying a Polygon on a Plane. [Citation Graph (0, 0)][DBLP ] Conf ] Eric Saund Abstraction and Representation of Continuous Variables in Connectionist Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Hussein Ibrahim , John R. Kender , David Elliot Shaw SIMD Tree Algorithms for Image Correlation. [Citation Graph (0, 0)][DBLP ] Conf ] Harit P. Trivedi On the Reconstruction of a Scene from Two Unregistered Images. [Citation Graph (0, 0)][DBLP ] Conf ] David Heeger Depth and Flow From Motion Energy. [Citation Graph (0, 0)][DBLP ] Conf ] John R. Kender , Earl Smith Shape from Darkness: Deriving Surface Information from Dynamic Shadows. [Citation Graph (0, 0)][DBLP ] Conf ] Kwangyoen Wohn , Jian Wu 3-D Motion Recovery From Time-Varying Optical Flows. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen T. Barnard A Stochastic Approach to Stereo Vision. [Citation Graph (0, 0)][DBLP ] Conf ] Yiannis Aloimonos , Isidore Rigoutsos Determining the 3-D Motion of a Rigid Surface Patch Without Correspondence under Perspective Projection. [Citation Graph (0, 0)][DBLP ] Conf ] Grahame B. Smith A Stereo Integral Equation. [Citation Graph (0, 0)][DBLP ] Conf ] Alex Pentland Parts: Structured Descriptions of Shape. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Leyton Constraint-Theorems on the Prototypification of Shape. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Kass Linear Image Features in Stereopsis. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew P. Witkin , Demetri Terzopoulos , Michael Kass Signal Matching Through Scale Space. [Citation Graph (0, 0)][DBLP ] Conf ] 