Conferences in DBLP
Yishai A. Feldman , Charles Rich Reasoning with Simplifying Assumptions: A Methodology and Example. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:2-7 [Conf ] Gerhard Brewka Tweety - Still Flying: Some Remarks on Abnormal Birds Applicable Rules and a Default Prover. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:8-12 [Conf ] Paul Morris , Robert Nado Representing Actions with an Assumption-Based Truth Maintenance System. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:13-20 [Conf ] Donald Cohen Automatic Compilation of Logical Specifications into Efficient Programs. [Citation Graph (6, 0)][DBLP ] AAAI, 1986, pp:21-25 [Conf ] Andrzej Skowron , Alberto Pettorossi Factual Knowledge For Developing Concurrent Programs. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:26-31 [Conf ] Henry A. Kautz , James F. Allen Generalized Plan Recognition. [Citation Graph (2, 0)][DBLP ] AAAI, 1986, pp:32-37 [Conf ] Marvin Belzer A Logic of Deliberation. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:38-43 [Conf ] James G. Schmolze Physics for Robots. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:44-50 [Conf ] Michael R. Genesereth , Matthew L. Ginsberg , Jeffrey S. Rosenschein Cooperation without Communication. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:51-57 [Conf ] Edmund H. Durfee , Victor R. Lesser Incremental Planning to Control a Blackboard-based Problem Solver. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:58-64 [Conf ] Richard Alterman An Adaptive Planner. [Citation Graph (1, 0)][DBLP ] AAAI, 1986, pp:65-69 [Conf ] Michael P. Georgeff The Representation of Events in Multiagent Domains. [Citation Graph (1, 0)][DBLP ] AAAI, 1986, pp:70-75 [Conf ] Josh D. Tenenberg Planning with Abstraction. [Citation Graph (1, 0)][DBLP ] AAAI, 1986, pp:76-80 [Conf ] Richard J. Doyle , David Atkinson , Rajkumar Doshi Generating Perception Requests and Expectations to Verify the Execution of Plans. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:81-88 [Conf ] Erik Sandewall , Ralph Rönnquist A Representation of Action Structures. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:89-97 [Conf ] Olivier Raiman Order of Magnitude Reasoning. [Citation Graph (1, 0)][DBLP ] AAAI, 1986, pp:100-104 [Conf ] Brian C. Williams Doing Time: Putting Qualitative Reasoning on Firmer Ground. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:105-112 [Conf ] Kenneth D. Forbus Interpreting Measurements of Physical Systems. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:113-117 [Conf ] Reid G. Simmons Commonsense Arithmetic Reasoning. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:118-124 [Conf ] John Yen A Reasoning Model Based on an Extended Dempster-Shafer Theory. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:125-131 [Conf ] Johan de Kleer , Brian C. Williams Reasoning about Multiple Faults. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:132-139 [Conf ] Yun Peng , James A. Reggia Plausibility of Diagnostic Hypotheses: The Nature of Simplicity. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:140-147 [Conf ] Jens Christensen , Richard E. Korf A Unified Theory of Heuristic Evaluation Functions and its Application to Learning. [Citation Graph (1, 0)][DBLP ] AAAI, 1986, pp:148-152 [Conf ] Richard Treitel , Michael R. Genesereth Choosing Directions for Rules. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:153-157 [Conf ] Carol Luckhart , Keki B. Irani An Algorithmic Solution of N-Person Games. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:158-162 [Conf ] Subir Bhattacharya , Amitava Bagchi Making Best Use of Available Memory When Searching Game Trees. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:163-167 [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 ] AAAI, 1986, pp:168-172 [Conf ] Daniel Ratner , Ira Pohl Joint and LPA*: Combination of Approximation and Search. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:173-177 [Conf ] Rina Dechter Learning While Searching in Constraint-Satisfaction-Problems. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:178-185 [Conf ] Teodor C. Przymusinski Query Answering in Circumscriptive and Closed-World Theories. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:186-190 [Conf ] Lawrence J. Henschen , Hyung-Sik Park Indefinite and GCWA Inference in Indefinite Deductive Databases. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:191-197 [Conf ] Dale Miller , Amy P. Felty An Integration of Resolution and Natural Deduction Theorem Proving. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:198-202 [Conf ] Dana H. Ballard Parallel Logical Inference and Energy Minimization. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:203-209 [Conf ] Eric Horvitz , David Heckerman , Curtis Langlotz A Framework for Comparing Alternative Formalisms for Plausible Reasoning. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:210-214 [Conf ] Curtis Langlotz , Edward H. Shortliffe , Lawrence M. Fagan Using Decision Theory to Justify Heuristics. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:215-219 [Conf ] Gerald Liu Causal and Plausible Reasoning in Expert Systems. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:220-225 [Conf ] Marshall I. Schor , Timothy Daly , Ho Soo Lee , Beth Tibbitts Advances in Rete Pattern Matching. [Citation Graph (8, 0)][DBLP ] AAAI, 1986, pp:225-232 [Conf ] Paul Snow Bayesian Inference without Point Estimates. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:233-237 [Conf ] Peter Haddawy Implementation of and Experiments with a Variable Precision Logic Inference System. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:238-242 [Conf ] Matthew L. Ginsberg Multi-Valued Logics. [Citation Graph (3, 0)][DBLP ] AAAI, 1986, pp:243-249 [Conf ] Sergio Alvarado , Michael G. Dyer , Margot Flowers Editorial Comprehension in OpEd through Argument Units. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:250-256 [Conf ] Charles Martin , Christopher Riesbeck Uniform Parsing and Inferencing for Learning. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:257-261 [Conf ] Noel E. Sharkey , Richard F. E. Sutcliffe , Wayne Wobcke Mixing Binary and Continuous Connection Schemes for Knowledge Access. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:262-266 [Conf ] Kristian J. Hammond CHEF: A Model of Case-Based Planning. [Citation Graph (1, 0)][DBLP ] AAAI, 1986, pp:267-271 [Conf ] Brian Falkenhainer , Kenneth D. Forbus , Dedre Gentner The Structure-Mapping Engine. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:272-277 [Conf ] Stuart C. Shapiro , William J. Rapaport SNePS Considered as a Fully Intensional Propositional Semantic Network. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:278-283 [Conf ] Stuart J. Russell Quantitative Analysis of Analogy. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:284-288 [Conf ] Edwina L. Rissland , Kevin D. Ashley Hypotheticals as Heuristic Device. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:289-297 [Conf ] Thomas Edelson Can a System Be Intelligent if It Never Gives a Damn? [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:298-302 [Conf ] M. J. Coombs , R. T. Hartley Debugging User Conceptions of Interpretation Processes. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:303-307 [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 ] AAAI, 1986, pp:308-312 [Conf ] Barbara White , John Frederiksen Intelligent Tutoring Systems Based Upon Qualitative Model Evolutions. [Citation Graph (1, 0)][DBLP ] AAAI, 1986, pp:313-319 [Conf ] David Littman , Jeannine Pinto , Elliot Soloway An Analysis of Tutorial Reasoning about Programming Bugs. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:320-327 [Conf ] Steve Hanks , Drew V. McDermott Default Reasoning, Nonmonotonic Logics, and the Frame Problem. [Citation Graph (2, 0)][DBLP ] AAAI, 1986, pp:328-333 [Conf ] Johannes de Haan , Lenhart K. Schubert Inference in a Topically Organized Semantic Net. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:334-338 [Conf ] Judea Pearl On the Logic of Probabilistic Dependencies. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:339-343 [Conf ] Peter F. Patel-Schneider A Four-Valued Semantics for Frame-Based Description Languages. [Citation Graph (2, 0)][DBLP ] AAAI, 1986, pp:344-348 [Conf ] Simon Kasif On the Parallel Complexity of Some Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:349-353 [Conf ] Peter B. Ladkin Primitives and Units for Time Specification. [Citation Graph (1, 0)][DBLP ] AAAI, 1986, pp:353-359 [Conf ] Peter B. Ladkin Time Representation: A Taxonomy of Internal Relations. [Citation Graph (3, 0)][DBLP ] AAAI, 1986, pp:360-366 [Conf ] Bruce Leban , David McDonald , David Forster A Representation for Collections of Temporal Intervals. [Citation Graph (7, 0)][DBLP ] AAAI, 1986, pp:367-371 [Conf ] Hon Wai Chun A Representation for Temporal Sequence and Duration in Massively Parallel Networks. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:372-376 [Conf ] Marc B. Vilain , Henry A. Kautz Constraint Propagation Algorithms for Temporal Reasoning. [Citation Graph (7, 0)][DBLP ] AAAI, 1986, pp:377-382 [Conf ] Jean-Francois Rit Propagating Temporal Constraints for Scheduling. [Citation Graph (1, 0)][DBLP ] AAAI, 1986, pp:383-388 [Conf ] Yoav Shoham Chronological Ignorance: Time, Nonmonotonicity, Necessity and Causal Theories. [Citation Graph (1, 0)][DBLP ] AAAI, 1986, pp:389-393 [Conf ] Frank Brown A Comparison of the Commonsense and Fixed Point Theories of Nonmonotonicity. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:394-400 [Conf ] Henry A. Kautz The Logic of Persistence. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:401-405 [Conf ] Vladimir Lifschitz Pointwise Circumscription: Preliminary Report. [Citation Graph (3, 0)][DBLP ] AAAI, 1986, pp:406-410 [Conf ] John A. Barnden A Viewpoint Distinction in the Representation of Propositional Attitudes. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:411-415 [Conf ] Donald Perlis Self-Reference, Knowledge, Belief, and Modality. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:416-420 [Conf ] Marianne Winslett Is Belief Revision Harder Than You Thought? [Citation Graph (1, 0)][DBLP ] AAAI, 1986, pp:421-427 [Conf ] Ronald Fagin , Joseph Y. Halpern , Moshe Y. Vardi What Can Machines Know? On the Epistemic Properties of Machines. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:428-435 [Conf ] Allen Ginsberg A Metalinguistic Approach to the Construction of Knowledge Base Refinement Systems. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:436-441 [Conf ] Won D. Lee , Sylvian R. Ray Rule Refinement Using the Probabilistic Rule Generator. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:442-447 [Conf ] David C. Wilkins , Bruce G. Buchanan On Debugging Rule Sets When Reasoning Under Uncertainty. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:448-454 [Conf ] Mieczyslaw M. Kokar Discovering Functional Formulas through Changing Representation Base. [Citation Graph (1, 0)][DBLP ] AAAI, 1986, pp:455-459 [Conf ] Nicholas S. Flann , Thomas G. Dietterich Selecting Appropriate Representations for Learning from Examples. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:460-466 [Conf ] David Mutchler Optimal Allocation of Very Limited Search Resources. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:467-471 [Conf ] Philip D. Laird Inductive Inference by Refinement. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:472-476 [Conf ] Stuart J. Russell Preliminary Steps Toward the Automation of Induction. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:477-484 [Conf ] David Haussler Quantifying the Inductive Bias in Concept Learning (Extended Abstract). [Citation Graph (2, 0)][DBLP ] AAAI, 1986, pp:485-489 [Conf ] Patricia Cheng , Jaime G. Carbonell The FERMI System: Inducing Iterative Macro-Operators from Experience. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:490-495 [Conf ] Jeffrey C. Schlimmer , Douglas H. Fisher A Case Study of Incremental Concept Induction. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:496-501 [Conf ] Jeffrey C. Schlimmer , Richard H. Granger Beyond Incremental Processing: Tracking Concept Drift. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:502-507 [Conf ] Bernhard Nordhausen Conceptual Clustering Using Relational Information. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:508-512 [Conf ] Randy Jones Generating Predictions to Aid the Scientific Discovery Process. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:513-517 [Conf ] Devika Subramanian , Joan Feigenbaum Factorization in Experiment Generation. [Citation Graph (3, 0)][DBLP ] AAAI, 1986, pp:518-522 [Conf ] William Bain A Case-Based Reasoning System for Subjective Assessment. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:523-527 [Conf ] Donald Rose , Pat Langley STAHLp: Belief Revision in Scientific Discovery. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:528-532 [Conf ] Michael Lebowitz Not the Path to Perdition: The Utility of Similarity-Based Learning. [Citation Graph (1, 0)][DBLP ] AAAI, 1986, pp:533-537 [Conf ] Richard J. Doyle Constructing and Refining Causal Explanations from an Inconsistent Domain Theory. [Citation Graph (1, 0)][DBLP ] AAAI, 1986, pp:538-544 [Conf ] Michael J. Pazzani , Michael G. Dyer , Margot Flowers The Role of Prior Causal Theories in Generalization. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:545-550 [Conf ] Raymond J. Mooney , Scott Bennett A Domain Independent Explanation-Based Generalizer. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:551-555 [Conf ] Kristian J. Hammond Learning to Anticipate and Avoid Planning Problems through the Explanation of Failures. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:556-560 [Conf ] Paul S. Rosenbloom , John E. Laird Mapping Explanation-Based Generalization onto Soar. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:561-567 [Conf ] Robert J. Hall Learning by Failing to Explain. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:568-573 [Conf ] Steven L. Lytinen Dynamically Combining Syntax and Semantics in Natural Language Processing. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:574-587 [Conf ] Jean-Louis Binot , Daniel Ribbens Dual Frames: A New Tool for Semantic Parsing. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:579-583 [Conf ] Eugene Charniak A Neat Theory of Marker Passing. [Citation Graph (1, 0)][DBLP ] AAAI, 1986, pp:584-588 [Conf ] Kathleen Dahlgren , Joyce P. McDowell Using Commonsense Knowledge to Disambiguate Prepositional Phrase Modifiers. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:589-593 [Conf ] Philip Johnson , Wendy G. Lehnert Beyond Exploratory Programming: A Methodology and Environment for Conceptual Natural Language Processing. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:594-600 [Conf ] Lenhart K. Schubert Are There Preference Trade-offs in Attachment Decisions? [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:601-605 [Conf ] Ingrid Zukerman , Judea Pearl Comprehension-Driven Generation of Meta-Technical Utterances in Math Tutoring. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:606-611 [Conf ] Norman K. Sondheimer , Bernhard Nebel A Logical-Form and Knowledge-Base Design for Natural Language Generation. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:612-618 [Conf ] Diane J. Litman Understanding Plan Ellipsis. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:619-625 [Conf ] Tomás Lozano-Pérez A Simple Motion Planning Algorithm for General Robot Manipulators. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:626-631 [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 ] AAAI, 1986, pp:632-637 [Conf ] Eric Saund Abstraction and Representation of Continuous Variables in Connectionist Networks. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:638-644 [Conf ] Hussein Ibrahim , John R. Kender , David Elliot Shaw SIMD Tree Algorithms for Image Correlation. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:645-651 [Conf ] Harit P. Trivedi On the Reconstruction of a Scene from Two Unregistered Images. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:652-656 [Conf ] David Heeger Depth and Flow From Motion Energy. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:657-663 [Conf ] John R. Kender , Earl Smith Shape from Darkness: Deriving Surface Information from Dynamic Shadows. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:664-669 [Conf ] Kwangyoen Wohn , Jian Wu 3-D Motion Recovery From Time-Varying Optical Flows. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:670-675 [Conf ] Stephen T. Barnard A Stochastic Approach to Stereo Vision. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:676-680 [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 ] AAAI, 1986, pp:681-688 [Conf ] Grahame B. Smith A Stereo Integral Equation. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:689-694 [Conf ] Alex Pentland Parts: Structured Descriptions of Shape. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:695-701 [Conf ] Michael Leyton Constraint-Theorems on the Prototypification of Shape. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:702-706 [Conf ] Michael Kass Linear Image Features in Stereopsis. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:707-713 [Conf ] Andrew P. Witkin , Demetri Terzopoulos , Michael Kass Signal Matching Through Scale Space. [Citation Graph (0, 0)][DBLP ] AAAI, 1986, pp:714-719 [Conf ]