The SCEAS System
Navigation Menu

Conferences in DBLP

International Joint Conference on Artificial Intelligence (IJCAI) (ijcai)
1985 (conf/ijcai/85)

  1. John R. Anderson, C. Franklin Boyle, Gregg Yost
    The Geometry Tutor. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1985, pp:1-7 [Conf]
  2. Brian J. Reiser, John R. Anderson, Robert G. Farrell
    Dynamic Student Modelling in an Intelligent Tutor for LISP Programming. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1985, pp:8-14 [Conf]
  3. William R. Murray
    Heuristic and Formal Methods in Automatic Program Debugging. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:15-19 [Conf]
  4. Ethel Schuster
    Grammars as User Models. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:20-22 [Conf]
  5. Rostam Joobbani, Sarosh Talukdar
    An Expert System for Understanding Expressions from Electric Circuit Analysis. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:23-25 [Conf]
  6. Andrzej Trybulec, Howard A. Blair
    Computer Assisted Reasoning with MIZAR. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:26-28 [Conf]
  7. Simon Kasif, Jack Minker
    The Intelligent Channel: A Scheme for Result Sharing in Logic Programs. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:29-31 [Conf]
  8. Alan L. Davis, Shane V. Robison
    The Architecture of the FAIM-1 Symbolic Multiprocessing System. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:32-38 [Conf]
  9. Vineet Singh, Michael R. Genesereth
    A Variable Supply Model for Distributing Deductions. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:39-45 [Conf]
  10. Gilles M. E. Lafue, Reid G. Smith
    A Modular Tool Kit for Knowledge Management. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:46-52 [Conf]
  11. Dennis F. Kibler, John S. Conery
    Parallelism in AI Programs. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:53-56 [Conf]
  12. Anita M. Flynn, John G. Harris
    Recognition Algorithms for the Connection Machine. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:57-60 [Conf]
  13. David Elliot Shaw
    NON-VONs Applicability to Three AI Task Areas. [Citation Graph (3, 0)][DBLP]
    IJCAI, 1985, pp:61-72 [Conf]
  14. Ruven E. Brooks, Rosalyn Lum
    Yes, An SIMD Machine Can Be Used for AI. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:73-79 [Conf]
  15. Matthew L. Ginsberg
    Counterfactuals. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:80-86 [Conf]
  16. Jon Doyle
    Reasoned Assumptions and Pareto Optimality. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:87-90 [Conf]
  17. Jeffrey S. Rosenschein, Michael R. Genesereth
    Deals Among Rational Agents. [Citation Graph (2, 0)][DBLP]
    IJCAI, 1985, pp:91-99 [Conf]
  18. Erik Sandewall
    A Functional Approach to Non-Monotonic Logic. [Citation Graph (2, 0)][DBLP]
    IJCAI, 1985, pp:100-106 [Conf]
  19. Matthew L. Ginsberg
    Does Probability Have a Place in Non-monotonic Reasoning? [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:107-110 [Conf]
  20. Didier Dubois, Henri Prade
    Combination and Propagation of Uncertainty with Belief Functions - A Reexamination. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:111-113 [Conf]
  21. Tomasz Imielinski
    Results on Translating Defaults to Circumscription. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1985, pp:114-120 [Conf]
  22. Vladimir Lifschitz
    Computing Circumscription. [Citation Graph (4, 0)][DBLP]
    IJCAI, 1985, pp:121-127 [Conf]
  23. Benjamin Kuipers
    The Limits of Qualitative Simulation. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:128-136 [Conf]
  24. Elisha Sacks
    Qualitative Mathematical Reasoning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:137-139 [Conf]
  25. Daniel S. Weld
    Combining Discrete and Continuous Process Models. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:140-143 [Conf]
  26. David Poole
    On the Comparison of Theories: Preferring the Most Specific Explanation. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1985, pp:144-147 [Conf]
  27. Alan M. Frisch
    Using Model Theory to Specify AI Programs. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:148-154 [Conf]
  28. Myung W. Kim
    EGS: A Transformational Approach to Automatic Example Generation. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:155-161 [Conf]
  29. Lawrence Davis
    Applying Adaptive Algorithms to Epistatic Domains. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:162-164 [Conf]
  30. Jack Mostow, Donald Cohen
    Automating Program Speedup by Deciding What to Cache. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:165-172 [Conf]
  31. Eliezer L. Lozinskii
    Evaluating Queries in Deductive Databases by Generating. [Citation Graph (13, 0)][DBLP]
    IJCAI, 1985, pp:173-177 [Conf]
  32. Allen L. Brown Jr.
    Modal Propositional Semantics for Reason Maintenance Systems. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:178-184 [Conf]
  33. James W. Goodwin
    A Process Theory of Non-monotonic Inference. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1985, pp:185-187 [Conf]
  34. Vasant Dhar
    An Approach to Dependency Directed Backtracking Using Domain Specific Knowledge. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:188-190 [Conf]
  35. Josh D. Tenenberg
    Taxonomic Reasoning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:191-193 [Conf]
  36. Garrison W. Cottrell
    Parallelism in Inheritance Hierarchies with Exceptions. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:194-202 [Conf]
  37. Robert Balzer
    Automated Enhancement of Knowledge Representations. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1985, pp:203-207 [Conf]
  38. Nachum Dershowitz
    Synthesis by Completion. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:208-214 [Conf]
  39. Douglas R. Smith
    Reasoning by Cases and the Formation of Conditional Programs. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:215-218 [Conf]
  40. David Eppstein
    A Heuristic Approach to Program Inversion. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:219-221 [Conf]
  41. Zohar Manna, Richard J. Waldinger
    The Origin of the Binary-Search Paradigm. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:222-224 [Conf]
  42. David M. Steier, Elaine Kant
    Symbolic Execution in Algorithm Design. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:225-231 [Conf]
  43. David R. Barstow
    Automatic Programming for Streams. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:232-237 [Conf]
  44. David S. Touretzky, Geoffrey E. Hinton
    Symbols Among the Neurons: Details of a Connectionist Inference Architecture. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:238-243 [Conf]
  45. James A. Reggia
    Virtual Lateral Inhibition in Parallel Activation Models of Associative Memory. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:244-248 [Conf]
  46. James Geller
    The Teachable Letter Recognizer. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:249-251 [Conf]
  47. Geoffrey E. Hinton, Kevin J. Lang
    Shape Recognition and Illusory Conjunctions. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:252-259 [Conf]
  48. Helen M. Gigley
    Computational Neurolinguistics - What Is It All About? [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:260-266 [Conf]
  49. Derek Partridge
    Input-Expectation Discrepancy Reduction: A Ubiquitous Mechanism. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:267-273 [Conf]
  50. Göran Hagert
    Whats in a Mental Model? On Conceptual Models in Reasoning with Spatial Descriptions. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:274-277 [Conf]
  51. Erik T. Mueller, Michael G. Dyer
    Daydreaming in Humans and Computers. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:278-280 [Conf]
  52. Lawrence Birnbaum
    A Short Note on Opportunistic Planning and Memory in Arguments. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:281-283 [Conf]
  53. Janet L. Kolodner, Robert L. Simpson Jr., Katia Sycara-Cyranski
    A Process Model of Cased-Based Reasoning in Problem Solving. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1985, pp:284-290 [Conf]
  54. Seth R. Goldman, Michael G. Dyer, Margot Flowers
    Learning to Understand Contractual Situations. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:291-293 [Conf]
  55. Katia Sycara-Cyranski
    Arguments of Persuasion in Labour Mediation. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1985, pp:294-296 [Conf]
  56. Phyllis Koton
    Empirical and Model-based Reasoning in Expert Systems. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:297-299 [Conf]
  57. Jon Sticklen, B. Chandrasekaran, John R. Josephson
    Control Issues in Classificatory Diagnosis. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:300-306 [Conf]
  58. Tetsutaro Shibahara
    On Using Causal Knowledge to Recognize Vital Signals: Knowledge-based Interpretation of Arrhythmias. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:307-314 [Conf]
  59. Tim Niblett
    Judgmental Reasoning for Expert Systems. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:315-317 [Conf]
  60. Naseem A. Khan, Ramesh Jain
    Uncertainty Management in a Distributed Knowledge Based System. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:318-320 [Conf]
  61. Terence R. Thompson
    Parallel Formulation of Evidential-Reasoning Theories. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:321-327 [Conf]
  62. Allan P. White
    Predictor: An Alternative Approach to Uncertain Inference in Expert Systems. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:328-330 [Conf]
  63. Richard D. Ferrante
    The Characteristic Error Approach to Conflict Resolution. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:331-334 [Conf]
  64. Arthur J. Nevins
    An Architecture for Knowledge Based Deduction. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:335-339 [Conf]
  65. J. Robert Ensor, John D. Gabbe
    Transactional Blackboards. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:340-344 [Conf]
  66. Massimo Gallanti, Giovanni Guida, Luca Spampinato, Alberto Stefanini
    Representing Procedural Knowledge in Expert Systems: An Application to Process Control. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:345-352 [Conf]
  67. Werner Dilger, Jörg Kippe
    COMODEL: A Language for the Representation of Technical Knowledge. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:353-358 [Conf]
  68. Leonard Friedman
    Controlling Production Firing: The FCL Language. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1985, pp:359-366 [Conf]
  69. Allen Ginsberg, Sholom M. Weiss, Peter Politakis
    SEEK2: A Generalized Approach to Automatic Knowledge Base Refinement. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:367-374 [Conf]
  70. Tin A. Nguyen, Walton A. Perkins, Thomas J. Laffey, Deanne Pecora
    Checking an Expert Systems Knowledge Base for Consistency and Completeness. [Citation Graph (2, 0)][DBLP]
    IJCAI, 1985, pp:375-378 [Conf]
  71. Agneta Eriksson, Anna-Lena Johansson
    Neat Explanation of Proof Trees. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:379-381 [Conf]
  72. Robert Neches, William R. Swartout, Johanna D. Moore
    Explainable (and Maintainable) Expert Systems. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1985, pp:382-389 [Conf]
  73. Paul de Greef, Joost Breuker
    A Case Study in Structured Knowledge Acquisition. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:390-392 [Conf]
  74. Michio Kimura, Yasushi Matsumura, Takashi Matsunaga, Ryuji Hata, Hiroshi Matsumura
    RHINOS: A Consultation System for Diagnoses of Headache and Facial Pain. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:393-396 [Conf]
  75. Guan Jiwen, Xu Ying, Chang Minche, Zhao Jizhi
    Model Expert System MES. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:397-399 [Conf]
  76. Renee Elio, Johannes de Haan
    Knowledge Representation in an Expert Storm Forecasting System. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:400-406 [Conf]
  77. Takushi Tanaka
    Parsing Circuit Topology in a Deductive System. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1985, pp:407-410 [Conf]
  78. Terry Cline, Wendy Fong, Steven Rosenberg
    An Expert Advisor for Photolithography. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:411-413 [Conf]
  79. Ethan A. Scarl, John R. Jamieson, Carl I. Delaune
    A Fault Detection and Isolation Method Applied to Liquid Oxygen Loading for the Space Shuttle. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:414-416 [Conf]
  80. Lotfi A. Zadeh
    Syllogistic Reasoning as a Basis for Combination of Evidence in Expert Systems. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:417-419 [Conf]
  81. Alexander S. Yeh
    Flexible Data Fusion (and Fission). [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:420-422 [Conf]
  82. Robert Mine
    Fault Diagnosis Through Responsibility. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:423-425 [Conf]
  83. Pamela K. Fink
    Control and Integration of Diverse Knowledge in a Diagnostic Expert System. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:426-431 [Conf]
  84. Jerry R. Hobbs
    Granularity. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:432-435 [Conf]
  85. Yoav Shoham
    Naive Kinematics: One Aspect of Shape. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:436-442 [Conf]
  86. Sanjaya Addanki, Ernest Davis
    A Representation for Complex Physical Domains. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:443-446 [Conf]
  87. Curtis Langlotz, Lawrence M. Fagan, Samson W. Tu, John Williams, Branimir Sikic
    ONYX: An Architecture for Planning in Uncertain Environments. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:447-449 [Conf]
  88. Tom Bylander, B. Chandrasekaran
    Understanding Behavior Using Consolidation. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:450-454 [Conf]
  89. Peter F. Patel-Schneider
    A Decidable First-Order Logic for Knowledge Representation. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1985, pp:455-458 [Conf]
  90. Witold Lukaszewicz
    Two Results on Default Logic. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1985, pp:459-461 [Conf]
  91. Peter Trum
    On the Descriptional Complexity of Production Systems. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:462-464 [Conf]
  92. Lokendra Shastri, Jerome A. Feldman
    Evidential Reasoning in Semantic Networks: A Formal Theory. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:465-474 [Conf]
  93. Michael Sullivan, Paul R. Cohen
    An Endorsement-based Plan Recognition Program. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:475-479 [Conf]
  94. Joseph Y. Halpern, Yoram Moses
    A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:480-490 [Conf]
  95. Ronald Fagin, Joseph Y. Halpern
    Belief, Awareness, and Limited Reasoning: Preliminary Report. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:491-501 [Conf]
  96. Kurt Konolige
    A Computational Theory of Belief Introspection. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:502-508 [Conf]
  97. Moshe Y. Vardi
    A Model-Theoretic Analysis of Monotonic Knowledge. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:509-512 [Conf]
  98. Alfred Kobsa
    Using Situation Descriptions and Russellian Attitudes for Representing Beliefs and Wants. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:513-515 [Conf]
  99. Michael P. Georgeff, Amy L. Lansky, Pierre Bessière
    A Procedural Logic. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1985, pp:516-523 [Conf]
  100. Gary C. Borchardt
    Event Calculus. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1985, pp:524-527 [Conf]
  101. James F. Allen, Patrick J. Hayes
    A Common-Sense Theory of Time. [Citation Graph (4, 0)][DBLP]
    IJCAI, 1985, pp:528-531 [Conf]
  102. Ronald J. Brachman, Victoria P. Gilbert, Hector J. Levesque
    An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON. [Citation Graph (7, 0)][DBLP]
    IJCAI, 1985, pp:532-539 [Conf]
  103. Charles Rich
    The Layered Architecture of a System for Reasoning about Programs. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:540-546 [Conf]
  104. Marc B. Vilain
    The Restricted Language Architecture of a Hybrid Representation System. [Citation Graph (6, 0)][DBLP]
    IJCAI, 1985, pp:547-551 [Conf]
  105. Brian Falkenhainer
    Proportionality Graphs, Units Analysis, and Domain Constraints: Improving the Power and Efficiency of the Scientific Discovery Process. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:552-554 [Conf]
  106. Bruce W. Porter, Dennis F. Kibler
    A Comparison of Analytic and Experimental Goal Regression for Machine Learning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:555-559 [Conf]
  107. Leslie G. Valiant
    Learning Disjunction of Conjunctions. [Citation Graph (2, 0)][DBLP]
    IJCAI, 1985, pp:560-566 [Conf]
  108. Judea Pearl
    Learning Hidden Causes from Empirical Data. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:567-572 [Conf]
  109. Tom M. Mitchell, Sridhar Mahadevan, Louis I. Steinberg
    LEAP: A Learning Apprentice for VLSl Design. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:573-580 [Conf]
  110. Gary S. Kahn, Steve Nowlan, John P. McDermott
    MORE: An Intelligent Knowledge Acquisition Tool. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1985, pp:581-584 [Conf]
  111. Jonathan Schaeffer, T. Anthony Marsland
    The Utility of Expert Knowledge. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:585-587 [Conf]
  112. David E. Goldberg
    Dynamic System Control Using Rule Learning and Genetic Algorithms. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:588-592 [Conf]
  113. J. David Schaffer, John J. Grefenstette
    Multi-Objective Learning via Genetic Algorithms. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:593-595 [Conf]
  114. Steven Minton
    Selectively Generalizing Plans for Problem-Solving. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:596-599 [Conf]
  115. Charles P. Dolan, Michael G. Dyer
    Learning Planning Heuristics through Observation. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:600-602 [Conf]
  116. Steven Salzberg
    Heuristics for Inductive Learning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:603-609 [Conf]
  117. Paul Thagard, Keith J. Holyoak
    Discovering the Wave Theory of Sound: Inductive Inference in the Context of Problem Solving. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:610-612 [Conf]
  118. Albrecht Heeffer
    Validating Concepts from Automated Acquisition Systems. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:613-615 [Conf]
  119. Sridhar Mahadevan
    Verification-based Learning: A Generalized Strategy for Inferring Problem-Reduction Methods. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:616-623 [Conf]
  120. David M. Neves
    Learning Procedures from Examples and by Doing. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:624-630 [Conf]
  121. Bijan Arbab, Donald Michie
    Generating Rules from Examples. [Citation Graph (2, 0)][DBLP]
    IJCAI, 1985, pp:631-633 [Conf]
  122. Jakub Segen
    Learning Concept Descriptions from Examples with Errors. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:634-636 [Conf]
  123. Sandra Marcus, John P. McDermott, Tianran Wang
    Knowledge Acquisition for Constructive Systems. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1985, pp:637-639 [Conf]
  124. Glenn A. Iba
    Learning by Discovering Macros in Puzzle Solving. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:640-642 [Conf]
  125. Thomas Ellman
    Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:643-646 [Conf]
  126. Sitaram Lanka
    Automatically Inferring Database Schemas. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1985, pp:647-649 [Conf]
  127. Larry A. Rendell
    Substantial Constructive Induction Using Layered Information Compression: Tractable Feature Formation in Search. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:650-658 [Conf]
  128. LiMin Fu, Bruce G. Buchanan
    Learning Intermediate Concepts in Constructing a Hierarchical Knowldege Base. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1985, pp:659-666 [Conf]
  129. Jude W. Shavlik
    Learning about Momentum Conservation. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:667-669 [Conf]
  130. Oliver G. Selfridge, Richard S. Sutton, Andrew G. Barto
    Training and Tracking in Robotics. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:670-672 [Conf]
  131. Reid G. Smith, Howard A. Winston, Tom M. Mitchell, Bruce G. Buchanan
    Representation and Use of Explicit Justifications for Knowledge Base Refinements. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:673-680 [Conf]
  132. Raymond J. Mooney, Gerald DeJong
    Learning Schemata for Natural Language Processing. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:681-687 [Conf]
  133. Shankar A. Rajamoney, Gerald DeJong, Boi Faltings
    Towards a Model of Conceptual Knowledge Acquisition Through Directed Experimentation. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:688-690 [Conf]
  134. Douglas H. Fisher, Pat Langley
    Approaches to Conceptual Clustering. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1985, pp:691-697 [Conf]
  135. R. I. Phelps, Peter B. Musgrove
    A Prototypical Approach to Machine Learning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:698-700 [Conf]
  136. Mitsuru Ishizuka, Naoki Kanai
    Prolog-ELF Incorporating Fuzzy Logic. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1985, pp:701-703 [Conf]
  137. Tadashi Kanamori, Kenji Horiuchi
    Type Inference in Prolog and Its Application. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:704-707 [Conf]
  138. Hideyuki Nakashima
    Term Description: A Simple Powerful Extension to Prolog Data Structures. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:708-710 [Conf]
  139. Randy Goebel
    Interpreting Descriptions in a Prolog-based Knowledge Representation System. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:711-716 [Conf]
  140. Marc Eisenstadt
    Retrospective Zooming: A Knowledge Based Tracking and Debugging Methodology for Logic Programming. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:717-719 [Conf]
  141. Lee Naish
    Prolog Control Rules. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:720-722 [Conf]
  142. Takashi Yokomori
    A Logic Program Schema and Its Applications. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1985, pp:723-725 [Conf]
  143. Shigeki Goto
    Concurrency in Proof Normalization and Logic Programming. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:726-729 [Conf]
  144. Wolfgang Schönfeld
    Prolog Extensions Based on Tableau Calculus. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:730-732 [Conf]
  145. Richard Whitney, Darrel J. Van Buer, Donald P. McKay, Dan Kogan, Lynette Hirschman, Rebecca Davis
    A Predicate Connection Graph Based Logic with Flexible Control. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:733-736 [Conf]
  146. Hirohisa Seki
    Incorporating Generalizaiton Heuristics into Verification of Prolog Programs. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:737-741 [Conf]
  147. Frank M. Brown, Peiya Liu
    A Logic Programming and Verification System for Recursive Quantificational Logic. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:742-748 [Conf]
  148. Glenn D. Blank
    A New Kind of Finite-State Automaton: Register Vector Grammar. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:749-755 [Conf]
  149. Masaru Tomita
    An Efficient Context-Free Parsing Algorithm for Natural Languages. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:756-764 [Conf]
  150. Fred Popowich
    Unrestrictd Gapping Grammars. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:765-768 [Conf]
  151. G. Edward Barton Jr., Robert C. Berwick
    Parsing with Assertion Sets and Information Monotonicity. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:769-771 [Conf]
  152. Leonardo Lesmo, Pietro Torasso
    Weighted Interaction of Syntax and Semantics in Natural Language Analysis. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:772-778 [Conf]
  153. Yorick Wilks, Xiuming Huang, Dan Fass
    Syntax, Preference and Right Attachment. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:779-784 [Conf]
  154. Steven Minton, Philip J. Hayes, Jill Fain
    Controlling Search in Flexible Parsing. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:785-787 [Conf]
  155. Samuel Bayer, Leonard Joseph, Candace E. Kalish
    Grammatical Relations as the Basis for Natural Language Parsing and Text Understanding. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:788-790 [Conf]
  156. Kathleen F. McCoy
    The Role of Perspective in Responding to Property Misconceptions. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:791-793 [Conf]
  157. Kathleen McKeown, Myron Wish, Kevin Matthews
    Tailoring Explanations for the User. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:794-798 [Conf]
  158. David D. McDonald, James Pustejovsky
    Description-directed Natural Language Generation. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:799-807 [Conf]
  159. Kenneth Man-kam Yip
    Tense, Aspect, and Cognitive Representation of Time. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:808-814 [Conf]
  160. Lawrence Birnbaum
    Lexical Ambiguity as a Touchstone for Theories of Language Analysis. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:815-820 [Conf]
  161. Amnon Meyers
    VOX - An Extensible Natural Language Processor. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:821-825 [Conf]
  162. Yiming Yang, Shuji Doshita, Toyoaki Nishida
    Partial Constraints in Chinese Analysis. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:826-828 [Conf]
  163. Uwe Reyle
    Grammatical Functions, Discourse, Referents, and Quantification. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:829-831 [Conf]
  164. Barbara J. Grosz, Candace L. Sidner
    Discourse Structure and the Proper Treatment of Interruptions. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1985, pp:832-839 [Conf]
  165. Danilo Fum, Giovanni Guida, Carlo Tasso
    Evaluating Importance: A Step Towards Text Summarization. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:840-844 [Conf]
  166. Stephanie E. August, Michael G. Dyer
    Understanding Analogies in Editorials. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:845-847 [Conf]
  167. Eduard H. Hovy
    Integrating Text Planning and Production in Generation. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:848-851 [Conf]
  168. Anne Vilnat, Gérard Sabah
    Be Brief, Be to the Point, ... Be Seated or Relevant Responses in Man/Machine Conversation. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:852-854 [Conf]
  169. Bernard Euzenat, Bernard Normier, Antoine Ogonowski, Gian Piero Zarri
    SAPHIR + RESEDA: A New Approach to Intelligent Data Base Access. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:855-857 [Conf]
  170. Michael Lebowitz
    Researcher: An Experimental Intelligent Information System. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:858-862 [Conf]
  171. Kurt P. Eiselt
    A Parallel-Process Model of On-Line Inference Processing. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:863-869 [Conf]
  172. Sandiway Fong, Robert C. Berwick
    New Approaches to Parsing Conjunctions Using Prolog. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:870-876 [Conf]
  173. Renato de Mori, Mathew J. Palakal
    On the Use of a Taxonomy of Time-Frequency Morphologies for Automatic Speech Recognition. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:877-879 [Conf]
  174. Robert C. Berwick, Samuel F. Pilato
    Reversible Automata and Induction of the English Auxiliary System. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:880-882 [Conf]
  175. Shigeyyoshi Kitazawa, Masa-aki Ishikawa, Shuji Doshita
    DP-matching: With or Without Phonemes? [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:883-885 [Conf]
  176. Ken-ichi Kanatani
    Structure from Motion Without Correspondence: General Principle. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:886-888 [Conf]
  177. A. Peter Blicher, Stephen M. Omohundro
    Unique Recovery of Motion and Optic Flow via Lie Algebras. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:889-891 [Conf]
  178. Gang Xu, Saburo Tsuji, Minoru Asada
    Coarse-to-Fine Control Strategy for Matching Motion Stereo Pairs. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:892-894 [Conf]
  179. Minoru Asada, Saburo Tsuji
    Utilization of a Stripe Pattern for Dynamic Scene Analysis. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:895-897 [Conf]
  180. Shahriar Negahdaripour, Berthold K. P. Horn
    Determining 3-D Motion of Planar Objects from Image Brightness Patterns. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:898-901 [Conf]
  181. Tadahiro Kitahashi, Hiroyuki Endo
    A New Method of 3-D Motion Analysis Using a Concept of Projective Geometry. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:902-904 [Conf]
  182. Jan A. Mulder
    Using Discrimination Graphs to Represent Visual Interpretations that are Hypothetical and Ambiguous. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:905-907 [Conf]
  183. Takashi Matsuyama, Vincent Hwang
    SIGMA: A Framework for Image Understanding - Integration of Bottom-Up and Top-Down Analysis. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:908-915 [Conf]
  184. Bernard Mont-Reynaud
    Problem-solving Strategies in a Music Transcription System. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:916-918 [Conf]
  185. Ruzena Bajcsy, Aravind K. Joshi, Eric Krotkov, Amy E. Zwarico
    LandScan: A Natural Language and Computer Vision System for Analyzing Aerial Images. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:919-921 [Conf]
  186. Jonathan Connell, Michael Brady
    Learning Shape Descriptions. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:922-925 [Conf]
  187. John Aliomonos, Michael J. Swain
    Shape from Texture. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:926-931 [Conf]
  188. Michael J. Brooks, Berthold K. P. Horn
    Shape and Source from Shading. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:932-936 [Conf]
  189. Thomas M. Strat, Martin A. Fischler
    One-Eyed Stereo: A General Approach to Modeling 3-D Scene Geometry. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:937-943 [Conf]
  190. Michael Kass, Andrew P. Witkin
    Analyzing Oriented Patterns. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:944-952 [Conf]
  191. David G. Lowe
    Visual Recognition from Spatial Correspondence and Perceptual Organization. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:953-959 [Conf]
  192. James J. Little
    Determining Object Attitude from Extended Gaussian Images. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:960-963 [Conf]
  193. Dana H. Ballard, Hiromi Tanaka
    Transformational Form Perception in 3D: Constraints, Algorithms, Implementation. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:964-968 [Conf]
  194. Isaac Weiss
    3-D Shape Representation by Contours. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:969-972 [Conf]
  195. Andrew Blake
    Specular Stereo. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:973-976 [Conf]
  196. Y. Nishimoto, Yoshiaki Shirai
    A Parallel Matching Algorithm for Stereo Vision. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:977-980 [Conf]
  197. Bruce D. Lucas, Takeo Kanade
    Optical Navigation by the Method of Differences. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:981-984 [Conf]
  198. Lance R. Williams
    Spectral Continuity and Eye Vergence Movement. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:985-987 [Conf]
  199. Alex Pentland
    A New Sense for Depth of Field. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:988-994 [Conf]
  200. Aaron Sloman
    What Enables a Machine to Understand? [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:995-1001 [Conf]
  201. Peter Cheeseman
    In Defense of Probability. [Citation Graph (4, 0)][DBLP]
    IJCAI, 1985, pp:1002-1009 [Conf]
  202. Mark Drummond
    Refining and Extending the Procedural Net. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1010-1012 [Conf]
  203. Stephen F. Smith, Peng Si Ow
    The Use of Multiple Problem Decompositions in Time Constrained Planning Tasks. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1013-1015 [Conf]
  204. Stephen A. Vere
    Splicing Plans to Achieve Misordered Goals. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1016-1021 [Conf]
  205. David Chapman
    Nonlinear Planning: A Rigorous Reconstruction. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1022-1024 [Conf]
  206. Edmund H. Durfee, Victor R. Lesser, Daniel D. Corkill
    Increasing Coherence in a Distributed Problem-Solving Network. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1025-1030 [Conf]
  207. Christopher Stuart
    An Implementation of a Multi-Agent Plan Synchronizer. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1031-1033 [Conf]
  208. Richard E. Korf
    Iterative-Deepening-A*: An Optimal Admissible Tree Search. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1034-1036 [Conf]
  209. Bo Zhang, Ling Zhang
    A Weighted Technique in Heuristic Search. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1037-1039 [Conf]
  210. Alexander Reinefeld, Jonathan Schaeffer, T. Anthony Marsland
    Information Acquisition in Minimal Window Search. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1040-1043 [Conf]
  211. Daniel B. Leifker, Laveen N. Kanal
    A Hybrid SSS*/Alpha-Beta Algorithm for Parallel Search of Game Trees. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1044-1046 [Conf]
  212. Daniel L. S. Berlin
    SPAN: Integrating Problem-Solving Tactics. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1047-1051 [Conf]
  213. David P. Miller, R. James Firby, Thomas Dean
    Deadlines, Travel Time, and Robot Problem Solving. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1052-1054 [Conf]
  214. Steven Vere
    Temporal Scope of Assertions and Window Cutoff. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1055-1059 [Conf]
  215. Thomas Dean
    Temporal Reasoning Involving Counterfactuals and Disjunctions. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1060-1062 [Conf]
  216. David C. Chen
    Shallow Planning and Recovery Planning Based on the Vertical Decomposition of the Flight Domain. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1063-1065 [Conf]
  217. Rina Dechter, Judea Pearl
    The Anatomy of Easy Problems: A Constraint-Satisfaction Formulation. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1985, pp:1066-1072 [Conf]
  218. Mark E. Stickel, Mabry Tyson
    An Analysis of Consecutively Bounded Depth-First Search with Applications in Automated Deduction. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1073-1075 [Conf]
  219. Eugene C. Freuder, Michael J. Quinn
    Taking Advantage of Stable Sets of Variables in Constraint Satisfaction Problems. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1076-1078 [Conf]
  220. Hans J. Berliner, Gordon Goetsch
    A Study of Search Methods: The Effect of Constraint Satisfaction and Adventurousness. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1079-1082 [Conf]
  221. Howard E. Motteler, Laveen N. Kanal
    The Complexity of Searching Several Classes of AND/OR Graphs. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1083-1085 [Conf]
  222. John F. Gilmore, Antonio C. Semeco
    Terrain Navigation Through Knowledge-based Route Planning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1086-1088 [Conf]
  223. Richard Wallace, Anthony Stentz, Charles E. Thorpe, Hans Maravec, William Whittaker, Takeo Kanade
    First Results in Robot Road-Following. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1089-1095 [Conf]
  224. Charles E. Buckley, Larry J. Leifer
    A Proximity Metric for Continuum Path Planning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1096-1102 [Conf]
  225. Ralph P. Sobek
    A Robot Planning Structure Using Production Rules. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1103-1105 [Conf]
  226. Tom Henderson, Chuck Hansen, Bir Bhanu
    A Framework for Distributed Sensing and Control. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1106-1109 [Conf]
  227. Giuseppe Marino, Pietro Morasso, Renato Zaccaria
    Motor Knowledge Representation. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1110-1112 [Conf]
  228. Alan Fleming
    Analysis of Uncertainties in a Structure of Parts. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1113-1115 [Conf]
  229. Radu Horaud
    Spatial Object Perception from an Image. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1116-1119 [Conf]
  230. Yuichi Ohta, Takeo Kanade
    Stereo by Two-Level Dynamic Programming. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1120-1126 [Conf]
  231. Tomio Echigo, Masahiko Yachida
    A Fast Method for Extraction of 3-D Information Using Multiple Stripes and Two Cameras. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1127-1130 [Conf]
  232. Peter K. Allen, Ruzena Bajcsy
    Object Recognition Using Vision and Touch. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1131-1137 [Conf]
  233. Younghwan Lim, Lawrence J. Henschen
    A New Hyperparamodulation Strategy for the Equality Relation. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1138-1145 [Conf]
  234. Deepak Kapur, Paliath Narendran
    An Equational Approach to Theorem Proving in First-Order Predicate Calculus. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1146-1153 [Conf]
  235. Vincent J. Digricoli
    The Management of Heuristic Search in Boolean Experiments with Rue Resolution. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1154-1161 [Conf]
  236. Manfred Schmidt-Schauß
    A Many-Sorted Calculus with Polymorphic Functions Based on Resolution and Paramodulation. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1162-1168 [Conf]
  237. Anthony G. Cohn
    On the Solution of Schubert's Steamroller in Many-Sorted Logic. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1169-1174 [Conf]
  238. Keki B. Irani, D. G. Shin
    A Many-Sorted Resolution Based on an Extension of a First-Order Language. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1175-1177 [Conf]
  239. Takahira Yamaguchi, Yoshikazu Tezuka, Osamu Kakusho
    Parallel Processing of Resolution. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1178-1180 [Conf]
  240. Mark E. Stickel
    Automated Deduction by Theory Resolution. [Citation Graph (4, 0)][DBLP]
    IJCAI, 1985, pp:1181-1186 [Conf]
  241. Neil V. Murray, Erik Rosenthal
    Path Resolution with Link Deletion. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1187-1193 [Conf]
  242. Werner Dilger, Hans-Albert Schneider
    ASSIP-T A Theorem-Proving Machine. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1194-1200 [Conf]
  243. Tie-Cheng Wang
    Designing Examples for Semantically Guided Hierarchical Deduction. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1201-1207 [Conf]
  244. Jacqueline Castaing
    How to Facilitate the Proof of Theorems by Using the Induction-matching, and by Generalization. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1208-1213 [Conf]
  245. Marta Franová
    CM-Strategy: A Methodology for Inductive Theorem Proving or Constructive Well-Generalized Proofs. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1214-1220 [Conf]
  246. Alan Bundy
    Discovery and Reasoning in Mathematics. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1221-1230 [Conf]
  247. Hirochika Inoue
    Building a Bridge Between AI and Robotics. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1231-1237 [Conf]
  248. John Perry
    Self-Knowledge and Self-Representation. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1238-1242 [Conf]
  249. Elaine Kant
    Understanding and Automating Algorithm Design. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1243-1253 [Conf]
  250. Edwina L. Rissland
    AI and Legal Reasoning. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1254-1260 [Conf]
  251. Tom J. Schwartz
    Artificial Intelligence in the Personal Computer Environment, Today and Tomorrow. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1261-1266 [Conf]
  252. Margaret A. Boden
    Artificial Intelligence and Legal Responsibility. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1267-1268 [Conf]
  253. Robert A. Kowalski, Marek J. Sergot
    Computer Representation of the Law. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1269-1270 [Conf]
  254. Marshal S. Willick
    Constitutional Law and Artificial Intelligence: The Potential Legal Recognition of Computers as "Persons". [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1271-1273 [Conf]
  255. Jay Bloom Becker
    Fifth Generation Computer Crime Law. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1274-1278 [Conf]
  256. Yorick Wilks
    Responsible Computers? [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1279-1280 [Conf]
  257. Henry S. Thompson
    Empowering Automatic Decision-Making Systems: General Intelligence, Responsibility, and Moral Sensibility. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1281-1283 [Conf]
  258. John Fox
    Judgement, Policy, and the Harmony Machine. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1284-1288 [Conf]
  259. Alan Bundy, Richard Clutterbuck
    Raising the Standards of AI Products. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1289-1294 [Conf]
  260. Ronald R. Yager
    Reasoning with Uncertainty for Expert Systems. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1985, pp:1295-1297 [Conf]
  261. Derek H. Sleeman, Douglas E. Appelt, Kurt Konolige, Elaine Rich, N. S. Sridharan, William R. Swartout
    User Modelling. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1298-1302 [Conf]
  262. Howard E. Jacobson
    The US and Japan Cooperative AI Research and Development. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1303-1305 [Conf]
  263. Terry Winograd, Randall Davis, Stuart Dreyfus, Brian Smith
    Expert Systems: How Far Can They Go? [Citation Graph (0, 0)][DBLP]
    IJCAI, 1985, pp:1306- [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002