E1AR0002@SMUVM1.BITNET (Leff, Southern Methodist University) (07/12/87)
%A M. J. Amundsen %T The Compact LISP Machine, a Lisp Machine in a Shoe Box %J IEEE National Aerospace and Electronics Conference %V 4 %D 1986 %P 1309-1314 %K H02 %A Robert Buday %T LISP-Machine Maker Symbolics, Spawned at MIT, is Growing Up %J Information Week %N 5 %D MAR 3, 1986 %P 34-37 %K H02 AT16 %A M. Carlsson %T A Microcoded Unifier for LISP Machine Prolog %B Symposium on Logic Programming %D 1985 %P 162-171 %K T02 H02 %A H. Maegawa %T Fast LISP Machine and Lisp Evaluation Processor Eval II-processor Architectur e and Hardware Configuration %J Journal of Information Processing (Japan) %V 8 %N 2 %D 1985 %P 121-126 %K H02 GA01 %A S. Sakamooto %T The Design of a Firmware LISP Machine %R Technology Reports of the Seikei University %I Faculty of Engineering, Fukuoka, Japan %N 41 %D 1986 %P 2751-2752 %K H02 %A H. Schotel %A J. Pijls %T A Prototype From Grammatical Instruction on a LISP Machine %J Informatie (Netherlands) %V 28 %N 1 %D 1986 %P 48-50 %A J. Spoerl %T The Architecture of the Symbolics LISP Machine %J Informatique %V 1 %D 1986 %P 140-144 %A J. M. Switlik %A R. J. Short %T The Database Environment and the LISP Machine %B Artificial Intelligence and Advanced Computer Technology Conference and Exhibition. Proceedings. %D 1986 %A M. Yuhara %T Evaluation of the FACOM Alpha LISP Machine %B Thirteenth Annual International Symposium on Computer Architecture %D 1986 %P 184-190 %K H02 %A V. W. Zue %T The Development of the MIT LISP-Machine Based Research Workstation %J International Conference on Acoustics, Speech and Signal Processing. proceedings %V 1 %D 1986 %P 329-332 %A Y. J. Chao %T Image Processing Methods in Ductile Fracture of Solids %J Mechanics %V 14 %N 1 %D JAN-FEB 1987 %P 57-60 %K AA05 AI06 %A Yu. S. Afonin %T Blocked Branch and Bound Method %J Automation and Remote Control %V 47 %N 8 Part II %D AUG 1986 %P 1107 %K AI03 %A I. B. Muchnik %A P. M. Snegirev %T Algorithm to Estimate the Approximation Accuracy of an Empirical Dependence %J Automation nad Remote Control %V 47 %N 8 Part II %D AUG 1986 %K O06 AI04 O04 %A J. L. Nevins %T Information-Control Aspects of Sensor Systems for Intelligent Robotics %J Journal of Robotic Systems %V 4 %N 2 %D APR 1987 %P 215-228 %K AI07 AI06 %A Hooshang Hemami %A Ralph E. Goddard %T Recognition of Geometrical Shape by a Robotic Probe %J Journal of Robotic Systems %V 4 %N 2 %D APR 1987 %P 237-258 %K AI06 AI07 %A Ren C. Luo %T MIcrocomputer-Based Robot Dynamic Sensing Using Linear Array Sensor for Object Recognition and Manipulation %J Journal of Robotic Systems %V 4 %N 2 %D APR 197 %P 199-214 %K AI06 AI07 H01 %A C. Morandi %A F. Piazza %A R. Capancioni %T Digital Image Registration by Phase Correlation Between Boundary Maps %J IEE Proceedings-E %V 134 %N 2 Part E %P 101-104 %D MAR 1987 %K AI06 %A J. Mantas %T Methodologies in Pattern Recognition and Image Analysis -- A Brief Survey %J MAG115 %P 1-6 %K AI06 %A R. W. Smith %T Computer Processing of Line Images: A Survey %J MAG115 %P 7-16 %K AI06 %A S. J. Roan %A J. K. Aggarwal %A W. N. Martin %T Multiple Resolution Imagery and Texture Analysis %J MAG115 %P 17-34 %K AI06 %A S. Basu %A K. S. Fu %T Image Segmentation by Syntactic Method %J MAG115 %P 35-44 %K AI06 %A Zhen Zhang %A M. Simaan %T A Rule-Based Interpretation System for Segmentation of Seismic Images %J MAG115 %P 45-54 %K AI06 %A Maylor K. Leung %A Yee-Hong Yang %T Human Body Motion Segmentation in a Complex Scene %J MAG115 %P 55-64 %K AI065 %A D. J. Peuquet %A Zhang Ci-Xiang %T An Algoirthm to Determine the Directional Relationship Between Arbitrarily- Shaped Polygons in the Plane %J MAG115 %P 65-74 %K AI06 %A L. G. Shapiro %A R. S. MacDonald %A S. R. Sternberg %T Ordered Structural Shape Matching with Primitive Extraction by Mathematical Morphology %J MAG115 %P 75-90 %K AI06 %A M. R. Korn %A C. R. Dyer %T 3-D Multiview Object Representations for Model-Based Object Recognition %J MAG115 %P 91-104 %K AI06 %A Toshifumi Tsukiyama %A T. S. Huang %T Motion Stereo for Navigation of Autonomous Vehicles in Man-Made Environments %J MAG115 %P 105-114 %K AI06 AA19 %A S. Y. Lee %A S. Yalamanchili %A J. K. Aggarwal %T Parallel Image Normalization on a Mesh Connected Array Processor %J MAG115 %P 115-124 %K AI06 H03 %A H. D. Cheng %A K. S. Fu %T VLSI Architectures for String Matching and Pattern Matching %J MAG115 %P 125-142 %K AI06 O06 H03 %A H. Mellink %A H. Buffart %T Abstract Code Network as a Model of Perceptual Memory %J MAG115 %P 143 %K AI08 %A K. N. Ngan %A A. A. Kassim %A H. S. Singh %T Parallel Image-Processing System Based on the TMS 32010 Digital Signal Processor %J IEE Proceedings E %V 134 %N 2 Part E %D MAR 1987 %K AI06 H03 %A Soundar R. T. Kumara %A R. L. Kashyap %A C. L. Moodie %T Expert System for Industrial Facilities Layout Planning and Analysis %J Computers and Industrial Engineering %V 12 %N 2 %D 1987 %K AA05 AI01
E1AR0002@SMUVM1.BITNET (Leff, Southern Methodist University) (07/12/87)
%A D. Driankov %T An Outline of a Fuzzy Sets Approach to Decison making with Interdependent Goals %J Fuzzy Sets and Systems %V 21 %N 3 %D MAR 1987 %P 275-288 %K O04 AI13 %A J. J. Buckley %T The Fuzzy Mathematics of Finance %J Fuzzy Sets and Systems %V 21 %N 3 %D MAR 1987 %P 257-274 %K AA06 O04 %A S. K. M. Wong %A W. Ziarko %T Comparison of the Probabilistic Approximate Classification and the Fuzzy Set Model %J Fuzzy Sets and Systems %V 21 %N 3 %D MAR 1987 %P 357-362 %K O04 %A W. Karkowkski %A N. O. Mulholland %A T. L. Ward %T A Fuzzy Knowledge Base of an Expert System for Analysis of Manual Lifting Tasks (Case Studies and Applications Contribution) %J Fuzzy Sets and Systems %V 21 %N 3 %D MAR 1987 %P 363 %K AA05 O04 %A S. S. Rao %T Description and Optimum Design of Fuzzy Mechanical Systems %J Journal of Mechanisms, Transmissions and Automation in Design %V 109 %N 1 %D MAR 1987 %K AA05 O04 %P 126-132 %A Heiko Krumm %T Logical Verification of Concurrent Programs %J Angewandte Informatik %N 4 %D APR 1987 %P 131-140 %K AA08 %A Janice I. Glasgow %A Glenn H. MacEwen %T Developing and Proof of a Formal Specification for a Multilevel Secure System %J ACM Transactions on Computer Systems %V 5 %N 2 %D May 1987 %P 151 %K AA08 %A A. Pashtan %T A Prolog Implementation of an Instruction-level Simulator %J Software Practice and Experience %V 17 %N 5 %D MAY 1987 %P 309-318 %K AA08 AA04 T02 %A James L. Flanagan %T Speech Processing an Evolving Technology %J MAG130 %P 2-11 %K AI05 %A James G. Josenhans %A John F. Lynch, Jr. %A Marian R. Rogers %A Richard R. Rosinski %A Wendy P. VanDame %T Speech Processing Application Standards %J MAG130 %P 23-33 %K AI05 %A Robert J. Perdue %A Eugene L. Rissanen %T Conversant 1 Voice System: Architecture and Applications %J MAG130 %P 34-47 %K AI05 %X Conversant is a Registered Trademark %A John G. Ackenhusen %A Syed S. Ali %A James G. Josenhans %A John W. Moffett %A Reuel R. Robertson %A Jaime R. Tormos %T Speech Processing for AT&T Workstations %J MAG130 %P 60-67 %K AI05 %A John G. Ackenhausen %A Syed S. Ali %A David Bishop %A Louis F. Rosa %A Reed Thorkildsen %T Single-Board General-Prupose Speech Recognition System %J MAG130 %P 48-59 %K AI05 %A Martha Birnbaum %A Larry A. Cohen %A Frank X. Welsh %T A Voice Password System for Access Security %J MAG130 %P 68-74 %K AI05 %A Bishnu S. Atal %A Lawrence R. Rabiner %T Speech Research Directions %J MAG130 %P 75-88 %K AI05 %A Knut Conradsen %A Gert Nilsson %T Data Dependent Filters for Edge Enhancement of Landsat Images %J Computer Vision, Graphics, and Image Processing %V 38 %N 2 %D MAY 1987 %P 101-121 %K AI06 %A Ken-Ichi Kanatani %T Structure and Motion from Optical Flow Under Perspective Projection %J Computer Vision, Graphics, and Image Processing %V 38 %N 2 %D MAY 1987 %P 122-146 %K AI06 %A Azriel Rosenfeld %T Picture Processing: 1986 %J Computer Vision, Graphics, and Image Processing %V 38 %N 2 %D MAY 1987 %P 147 %K AI06 %A W. Greblicki %A M. Pawlak %T Necessary and Sufficient Conditions for Bayes Risk Consistency of a Recursive Kermnel Classification %J IEEE Transactions on Information Theory %D MAY 1987 %V 33 %N 3 %P 408-411 %K O04 %A V. Wispfenning %T The Complexity of the Word Problem for Abelian I-Groups %J Theoretical Computer Science %V 48 %N 1 %D 1986 %P 127 %K AI14 AI10 %A A. V. Zhozhikashvili %A V. L. Stefanyuk %T The Category Theory in Problems of Knowledge Representation and Learning %J Soviet Journal of Computer and Systems Sciences %V 24 %N 5 %D SEP-OCT 1986 %P 11-23 %K AI16 AI04 %A Ye. K. Gordiyenko %T Implementation of Search Functions of the FRL Language Using a Two-Tag Associative Memory %J Soviet Journal of Computer and Systems Sciences %V 24 %N 5 %D SEP-OCT 1986 %P 43-58 %K AI03 %A L. I. Feygin %T Estimation of the Value of the Planning Horizon in the Case of Fuzzy Durations of the Operations %J Soviet Journal of Computer and Systems Sciences %V 24 %N 5 %D SEP-OCT 1986 %P 97-101 %K AI09 O04 %A Ronald R. Yager %T On the Dempster-Shafer Framework and New Combination Rules %J Information Sciences %V 41 %N 2 %D MAR 1987 %P 93-138 %K O04 %A J. C. A. Van Der Lubbe %A D. E. Boekee %A Y. Boxma %T Bivariate Certainty and Information Measures %J Information Sciences %V 41 %N 2 %D MAR 1987 %P 139-170 %K O04 %A M. A. Zuenkev %A A. S. Kulguskin %A A. G. Poletykin %T Forming Similarity Relations in Analogy-Driven Systems %J Automation and Remote Control %V 47 %N 11 Part 2 %D NOV 1986 %P 1543-1551 %K AI16 %A S. Daley %A f. F. Gill %T Attitude Control of a Spacecraft Using an Extended Self-Organizing Fuzzy Logic Control %J Proceedings of the Institution of Mechanical Engineers Part C %V 201 %N 2 %D 1987 %P 97-106 %K AA05 O04 %A G. Jumarie %T A Concept of Observed Weighted Entropy and its Application to Pattern Recognition %J MAG131 %P 191-194 %K AI06 %A J. H. Kim %T Distributed Inference for Plausible Classification %J MAG131 %P 195-202 %K AI06 %A J. Ma %A X. Lu %A C. Wu %T A Motion Constraint Equation Under Space-Varying or Time Varying Illumination %J MAG131 %P 203-206 %K AI06 %A M. Werman %A A. Y. Wu %A R. A. Melter %T Recognition and Characterization of Digitized Curves %J MAG131 %P 207-214 %K AI06 %A G. Cristobal %A J. Bescos %A J. Santamaria %A J. Montes %T Wigner Distribution Representation of Digital Images %J MAG131 %P 215-222 %K AI06 %A S. Peleg %A D. Keren %A L. Schweitzer %T Improving Image Resolution Using Subpixel Motion %J MAG131 %P 223-226 %K AI06 %A M. C. Yuan %A J. G. Li %T A Production System for LSI Chip Anatomizing %J MAG131 %P 227-232 %K AI06 %A R. D. Grisell %T Noniterive Correction of Images and Motion Sequences %J MAG131 %P 223-242 %K AI06 %A P. Fua %A A. J. Hanson %T Resegmentation Using Generic Shape: Locating General Cultural Objects %J MAG131 %P 243 %K AI06 %A A. M. Rustamov %A N. G. Dzhanibekova %A V. G. Zakiev %T Development of the Automated System on the Analysis of Reader Demand in Regional Integral Automated Library-Bibliography Systems %J Nauchno-Tekhnicheskaya Informatsiya, Seriya II - Informatsionnye Protsessy I Sistemy %N 3 %D 1987 %P 11-18 %K AA14 %A I. A. Bolshakov %T Pure Automatic Seplling Correction Based on the Keyboard Model of Common Errors %J Nauchno-Tekhnicheskaya Informatsiya, Seriya II - Informatsionnye Protsessy I Sistemy %N 3 %D 1987 %P 11-18 %A K. V. K. K. Prasad %A T. S. Lamba %T Natural Language Interface Based on Keyword Extraction Using AWK %J Microprocessors and Microsystems %V 11 %N 3 %D APR 1987 %K AI02 %P 157-160 %A A. N. Averkin %A V. B. Tarasov %T The Fuzzy Modeling Relation and its Application to Artificial Intelligence %J MAG122 %P 3-24 %K O04 %A A. V. Alexeyev %A A. N. Borisov %A V. I. Glushkov %A O. A. Krumberg %A G. V. Merkuryeva %A V. A. Popov %A N. N. Slyadz %T A Linguistic Approach to Decision-Making Problems %J MAG123 %P 25-42 %K AI02 AI13 O04 %A R. A. Aliev %T Production Control on the Basis of Fuzzy Models %J MAG123 %P 43-56 %K O04 %A A. F. Blishun %T Fuzzy Learning Models in Expert Systems %J MAG123 %P 57-70 %K AI01 AI04 O04 %A V. E. Zhukovin %A F. V. Burshtein %A E. S. Korelov %T A Decisoin Making Model with Vector Fuzzy Preference Relation %J MAG123 %P 71-80 %A S. G. Svarovski %T Usage of Linguistic Variable Concept for Human Operator Modelling %J MAG123 %P 107-114 %K O04 AI02 %A D. A. Pospelov %T Fuzzy Reasoning in Pseudo-Physical Logics %J MAG123 %P 115-120 %K O04 %A S. V. Chesnokov %T The Effect of Semantic Freedom in the Logic of Natural Language %J MAG123 %P 121-154 %K AI02 O04 %A D. I. Shapiro %T Human Specifics, Fuzzy Categories and Counteraction in Decision Making Problems %J MAG123 %P 155-170 %K AI13 O04 %A I. A. Newman %A R. P. Stallard %A M. C. Woodward %T A Hybrid Multiple Processor Garbage Collection Algorithm %J The Computer Journal %V 30 %N 2 %D APR 1987 %P 110-118 %K T01 H03 %A J. L. Dupouey %T Using Artificial Intelligence Languages for the Calculation of Inbreeding Coefficients - New Tools for an Old Problem %J Computers in Biology and Medicine %V 17 %N 2 %D 1987 %P 71-74 %K AA10 %A Rob Gerth %A W. P. de Roever %T Proving Monitors Revisited: a First Step Towards Verifying Object Oriented Systems %J Fund. Inform. %V 9 %D 1986 %N 4 %P 371-399 %K AA08 %A P. T. Cox %T On Determining the Causes of Nonunifiability %J J. Logic Programming %V 4 %D 1987 %N 1 %P 33-58 %K AI14 AI10 %A Peter van Emde Boss %T A Semantical Model for Integration and Modularization of Rules %B BOOK80 %P 78-92 %K AI01 AI16 %A Ken Hirose %T An Approach to Proof Checker %B BOOK80 %P 113-127 %K AA13 AI14 AI11 %A Guy Jumarie %T New Decision Rules in Statistical Pattern Recognition %J Kybernetes %V 16 %D 1987 %N 1 %P 11-18 %K AI06 %A A. V. Kabulov %A B. I. Zufarov %T Logical Methods for the Design of Optimal Correctors of Heuristic Algorithms %B "Fan" %C Tashkent %D 1985 %P 11-17 %K AI16 %A I. V. Kotel'nikov %T An Algorithm for Constructing a Set of Irredundant Fuzzy Sets %J Avtomat. i. Telemekh. %D 1986 %N 9 %P 139-144 %K O04 %A M. A. Nait Abdallah %T Al-Khowarizmi: A Formal System for Higher Order Logic Programming %B BOOK80 %P 545-553 %K AI10 %A Zbigniew W. Ras %A Maria Zemankova %T Learning in Knowledge Based Systems, a Possibilistic Approach %B BOOK80 %P 630-638 %K AI04 O04 %A D. Snyers %T Theorem Proving Techniques and P-Functions for Logic Design and Logic Programming %J Philips J. Res %V 41 %D 1986 %N 5 %P 560-505 %K AA04 AI11 AI10 %A Zbigniew M. Wojcik %T The Rough Sets Utilization for Linguistic Pattern Recognition %J Bull. Polish Acad. Sci. Tech. Sci %V 34 %D 1986 %N 5-6 %P 285-312 %K AI06 AI02 %A S. K. M. Wong %T Algorithm for Inductive Learning %J Bull. Polish Acad. Sci. Tech. Sci. %V 34 %D 1986 %N 5-6 %P 271-276 %K AI04 %A S. K. M. Wong %A Wojciech Ziarko %T Remarks on Attribute Selection Criterion in Inductive Learning Based on Rough Sets %J Bull. Polish. Acad. Sci. Tech. Sci %V 34 %D 1986 %N 5-6 %P 273-283 %K AI04 %A W. Bibel %A Ph. Jorrand %T Fundamentals of Artificial Intelligence. An Advanced Course. %S Lecture Notes in Computer Science %V 232 %I Springer-Verlag %C Berlin-New York %D 1986 %K AI16 AT15 %A V. Arvind %A Somenath Biswas %T An O($N sup 2$) algorithm for the Satisfiability Problem of a Subset of Propositional Sentences in CNF that Includes all Horn Sentences %J Inform. Process. Lett %V 24 %D 1987 %P 67-69 %K O06 AI10 %A Luis Farinas del Cerro %A Martti Pentonnen %T A Note on the Complexity of the Satisfiability of Modal Horn Clauses %J J. Logic Programming %V 4 %D 1987 %N 1 %P 1-10 %K AI11 O06 %A Fracoise Fogelman-Soulie %A Gerard Weisbuch %T Random Iterations of Threshold Networks and Associative Memory %J SIAM J. Comput %V 16 %D 1987 %N 1 %P 203-220 %K AI16 AI08 %A Erik Tiden %T First-order Unification in Combinations of Equational Theories (Ph. D. Thesis) %I Royal Institute of Technology %C Stockholm %D 1986 %K AI14 AI11 %A Moshe Y. Vardi %T Querying Logical Databases %J J. Comput. System Sci %V 33 %D 1986 %N 2 %P 142-160 %K AA09 AI10 %A Zbigniew M. Wojcik %T Contextual Information Research within Sentence with the Aid of the Rough Sets %J Bull. Polish Acad. Sci. Tech. Sci %V 34 %D 1986 %N 5-6 %P 313-330 %K AI02 O04 %A Friedhelm Hinz %T Regular Chain Code Picture Languages of Nonlinear Descriptional Complexity %B BOOK80 %P 414-421 %K AI06 %A Stephen D. Brookes %T A Fully Abstract Semantics and a Proof System for an ALGOL-like language with Sharing %B Mathematical Foundations of Programming Semantics %P 59-100 %S Lecture Notes in Computer Science %I Springer-Verlag %C Berlin-New York %D 1986 %K AA08 %A Susanne Graf %T A Complete Inference System for an Algebra of Regular Acceptance Models %B BOOK80 %P 386-395 %K AI10 %A Laszlo Bela Kovacs %T Automated Protocol Verification %B Kozl.-MTA Szamitastech. Automat. Kutato Int. Budapest %N 33 %D 1985 %P 37-45 %A M. J. Beeson %T Proving Programs and Programming Proofs %B Logic, Methodology and Philosophy of Science, VII %S Stud. Log Foundations Math. %V 114 %I North-Holland %C Amsterdam-New York %D 1986 %K AA08 AI16 %A Anne-Marie Deroualt %A Bernard Merialdo %T Language Modelling Using a Hidden Markov Chain with Application to Automatic Transcription of French Stenotypy %B Semi-Markov Models %I Plenum %C New York-London %D 1986 %K AI02 %A A. J. Baddeley %T Stochastic Geometry and Image Analysis %B Mathematics and Computer Science (Amsterdam 1983) %P 1-18 %S CWI Monographs %V 1 %I North-Holland %C Amsterdam-New York %D 1986 %K AI06 %A A. G. Ivakhenko %A S. A. Petukhova %T Objective Computerized Clustering. I. Theoretical Questions %J Soviet J. Automat. Inform. Sci %V 19 %D 1986 %N 3 %P 1-9 %K O06 %A Hassan Ait-Kaci %T LOGIN: A Logic Programming Language with Built-in Inheritance %J MAG132 %P 185-215 %K AI10 %A Marco Bellia %A Giorgia Levi %T The Relation Between Logic and Functional Languages: A Survey %J MAG132 %P 217-236 %K AT08 %A Karl-Hans Blasius %T Equality Reasoning with Equality Paths %B BOOK81 %P 57-76 %K AI14 %A Wolfram Buttner %T Unification in the Data Structure Sets %B BOOK82 %P 470-488 %K AI14 AA08 %A Ahlenm Ben Cherifs %A Pierre Lescane %T An Actual Implementation of a Procedure that Mechanically Proves Termination of Rewriting Systems Based on Inequalities Between Polynomial Interpretations %B BOOK82 %P 42-51 %K AI14 AI11 %A P. Ciancarini %A P. Degano %T An Approach to Proving Properties of Nonterminating Logic Programs %B BOOK83 %P 223-243 %K AI14 AA08 O02 %A Hubert Comon %T Sufficient Completeness, Term Rewriting Systems and "Anti-Unification" %B BOOK82 %P 128-140 %K AI14 AI11 %A P. Tox Cox %A T. Pietrzykowski %T Causes for Events: Their Computation and Applications %B BOOK82 %K AI11 temporal reasoning %A A. J. J. Dick %A R. J. Cunningham %T Using Narrowing to Do Isolation in Symbolic Equation Solving %B BOOK82 %P 272-280 %K AI14 %A Roland Dietrich %T Relating Resolution and Algebraic Completion for Horn Logic %B BOOK82 %P 62-78 %K AI14 AI10 AI11 %A B. Fronhofer %T On Refinements of the Connection Method %B BOOK83 %P 391-401 %A Isabelle Gnaedig %A Pierre Lescanne %T Proving Termination of Associative Commutative Rewriting Systems by Rewriting %B BOOK82 %P 52-61 %K AI14 AI11 %A Richard Gobel %T Completion of Globally Finite Term Rewriting Systems for Inductive Proofs %B BOOK81 %P 101-110 %K AI11 AI14 %A I. R. Goodman %T Some Asymptotic Results for the Combination of Evidence Problem %J Math. Modelling %V 8 %D 1987 %P 216-221 %K O04 O06 %A Alexander Herold %T Combination of Unification Algorithms %B BOOK82 %P 450-469 %K AI11 AI14 %A Douglas Howe %T Implementing Number Theory: an Experiment with Nuprl. %B BOOK82 %P 404-415 %K AA13 AI11 AI14 %A Tadashi Kanamori %A Hiroshi Fujita %T Formulation of Induction Formulas in Verification of Prolog Programs %B BOOK82 %P 281-299 %K AI14 AI11 O02 %A Deepak Kapur %A Paliath Narendran %A Hantao Zhang %T Proof by Induction Using Test Sets %B BOOK82 %P 99-117 %K AI14 AI11 %A Deepak Kapur %A Paliath Narendran %T NP-Completeness of the Set Unification and Matching Problems %B BOOK82 %P 489-495 %K O06 AI11 %A Thomas Kaufl %T Program Verifier "Tatzelwurm": Reasoning About Systems of Linear Inequalities %B BOOK82 %P 300-305 %K AA13 AA08 AI11 %A Younghwan Lim %T The Heuristics and Experimental Results of a New Hyperparamodulation: HL- Resolution %B BOOK82 %P 240-253 %K AI11 %A Rasiah Loganantharaj %A Robert A. Mueller %T Parallel Theorem Proving with Connection Graphs %B BOOK82 %P 337-352 %K AI11 H03 %A Zohar Manar %A Richard Waldinger %T How to Clear a Block: Plan Formulation in Situational Logic %B BOOK82 %P 622-640 %K AI07 AI09 AI11 %A Ursula Maritn %A Tobias Nipkow %T Unification in Boolean Rings %B BOOK82 %P 506-513 %K AI14 AI11 %A Jalel Mzali %T Matching with Distributivity %B BOOK82 %P 496-502 %K O06 AI11 %A Sanjal Narain %T A Technique for Doing Lazy Evaluation in Logic %J MAG132 %P 259-276 %K AI10 %A Hung T. Nguyen %T On Modeling of Expert Knowledge and Admissibility of Uncertainty Measures %J Math. Modelling %V 8 %D 1987 %P 222-226 %K O04 AI01 %A Hans-Jurgen Ohlbach %T Theory Unification in Abstract Clause Graphs %B BOOK81 %P 77-100 %K AI14 AI11 %A F. Oppacher %A E. Suen %T Controlling Deduction with Proof Condensation and Heuristics %B BOOK82 %P 384-393 %K AI11 AI14 %A Lawrence C. Paulson %T Natural Deduction as Higher-Order Resolution %J MAG131 %P 237-258 %K AI10 AI11 %A David A. Plaisted %T Abstraction Using Generalization Functions %B BOOK82 %P 365-376 %K AI11 %A D. Rydeheard %T A Categorical Unification Algorithm %B BOOK84 %K AI14 AI11 %A Manfred Schmidt-Schauss %T Unification in Many-Sorted Equational Theories %B BOOK82 %P 538-552 %K AI14 AI11 %A Manfred Schmidt-Schauss %T Unification in a Many Sorted Calculus with Declarations %B BOOK81 %P 118-132 %K AI14 AI11 %A Hans-Albert Schneider %T An Improvement of Deduction Plans: Refutation Plans %B BOOK82 %P 377-383 %K AI11 %A O. Stepankova %A P. Stepanek %T And/or Schemes and Logic Programs %B BOOK83 %P 765-776 %K AI10 AI03 %A Mandayam Thathachar %A P. S. Sastry %T Learning Optimal Discriminant Functions Through a Cooperative Game of Automata %J IEEE Trans. Systems Man Cybernet. %V 17 %D 1987 %N 1 %P 73-85 %K AI12 AI04 %A Erik Tiden %T Unification in Combinations of Collapse-Free Theories with Disjoint Sets of Function Symbols %B BOOK82 %P 431-449 %K AI11 AI14 %A F. Winkler %A B. Buchberger %T A Criterion for Eliminating Unnecessary Reductions in the Knuth-Bendix Algorithm %B BOOK83 %P 849-869 %K AI14 AI11 %A L. Wos %A W. McCune %T Negative Paramodulation %B BOOK82 %P 229-239 %K AI14 AI11 %A Martin Abadi %A Zohar Manna %T Modal Theorem Proving %B BOOK82 %P 172-189 %K AI11 %A Peter B. Andrews %T Connections and Higher-Order Logic %B BOOK82 %P 1-4 %K AI11 AI10 %A Leo Bachmair %A Nachum Dershowitz %T Commutation, Transformation, and Termination %B BOOK82 %P 5-20 %K AI11 AI14 %A Julian Besag %T On the Statistical Analysis of Dirty Pictures %J J. Royal Statistical Society Series B %V 48 %D 1986 %N 3 %P 259-302 %K AI06 %A R. Book %T On the Unification Hierarchy %B BOOK81 %P 111-117 %K AI14 AI11 %A Frank Malloy Brown %T A Commonsense Theory of Nonmonotonic Reasoning %B BOOK82 %P 209-228 %K AI15 %A Hans-Jurgen Burckert %T Some Relationships Between Unification, Restricted Unification, and Matching %B BOOK82 %P 514-524 %K AI11 AI14 O06 %A Cynthia Dwork %A Paris Kanellakis %A Larry Stockmeyer %T Parallel Algorithms for Term Matching %B BOOK82 %P 416-430 %K AI11 O06 H03 AI14 %A Norbert Eisenger %T What You Always Wanted to Know About Clause Graph Resolution %B BOOK82 %P 316-336 %K AI11 %A M. Falaschi %A Giorgia Levi %A C. Palamidesi %T The Formal Semantics of Processes and Streams in Logic Programming %B BOOK83 %P 363-378 %K AI10 O02 %A Jieh Hsiang %A Michael Fusinowitch %T A New Method for Establishing Refutational Completeness in Theorem Proving %B BOOK82 %P 141-152 %K AI14 AI11 %A Gerhard Jaeger %T Some Contributions to the Logical Analysis of Circumscription %B BOOK82 %P 154-171 %K AI15 AI11 %A Kurt Konolige %T Resolution and Quantified Epistemic Logics %B BOOK82 %P 199-208 %K AI10 AI11 AI14 %A Xu Hua Liu %T Generalized Resolution Using Paramodulation %J Kexue Tongbao (English Edition) %V 31 %D 1986 %N 21 %P 1441-1444 %K AI11 AI14 %A Neil V. Murray %T Theory Links in Semantic Graphs %B BOOK82 %P 353-364 %K AI16 %A David A. Plaisted %T A Simple Nontermination Test for the Knuth-Bendix Algorithm %B BOOK82 %P 69-88 %K AI11 AI14 %A Patrick Saint-Dizler %T An Approach to Natural-Language Semantics in Logic Programming %J MAG135 %P 329-356 %K AI02 AI10 %A P. H. Schmitt %T Computational Aspects of Three-Valued Logic %B BOOK82 %P 190-198 %K AI11 O04 %A Yoshohito Toyama %T How to Prove Equivalence of Term Rewriting Systems without Induction %B BOOK82 %P 118-127 %K AI11 AI14 %A Jonathan Traugott %T Nested Resolution %B BOOK82 %P 394-402 %K AI11 %A Kyastutis Urba %T Redundancy of Features in a Classification Problem %J Statist. Problemy Upravleniya No. 72 %D 1986 %P 56-63 %K O04 %X Russian with English and Lithuanian Summaries %A Christoph Walther %T A Classification of Many-Sorted Unification Problems %B BOOK82 %P 525-537 %K AI11 AI14 %A Tie Cheng Wang %T ECR: An Equality Conditional Resolution Proof Procedure %B BOOK82 %P 254-271 %K AI11 %A Yuan Yuan Wang %T A Generalized Paramodulation-Resolution Method %J Nanjing Daxue Xuebao Ziran Kexue Ban %V 22 %D 1986 %N 2 %P 205-210 %K AI11 %X Chinese with English Summary %A Richard Cole %A Chee K. Yap %T Shape From Probing %J J. Algorithms %V 8 %D 1987 %N 1 %P 19-38 %K AI06 AI07 %A Peter Hall %A D. M. Titterington %T On Some Smoothing Techniques Used in Image Restoration %J J. Roy. Satist. Soc. Ser. B. %V 48 %D 1986 %N 3 %P 330-343 %K AI06 %A R. Schott %T Nonlinear Filtering and Stochastic Textures %J Math. Modelling %V 8 %D 1987 %P 167-169 %K AI06 %A Miguel Filgueiras %T Cooperating Rewrite Processes for Natural-Language Analysis %J MAG135 %P 299-328 %K AI11 AI02 %A Horst Reichel %T Behavioral Program Specification %B BOOK83 %P 390-411 %K AA08 %A Eugenio Moggi %T Categories of Partial Morphisms and the $lambda sub p$ - Calculus (extended abstract) %B BOOK84 %P 242-251 %K AA08 %A P. Hajek %T Some Conservativeness Results for Nonstandard Dynamic Logic %B BOOK83 %P 443-449 %K AI10 %A Thomas M. Fischer %T On the Average Complexity of Searching for Partial Match Queries in Multidimensional Search Trees %B BOOK83 %P 379-390 %K O06 %A Werner Alexi %T Extraction and Verification of Programs through the Analysis of Formal Proofs %B BOOK81 %P 135-152 %K AA08 %A P. Borowik %A W. Korczynski %A T. Kudla %T An Axiomatic Characterisation of an Algebra of Processes %B BOOK83 %P 141-150 %K AA08