1980_aisb

There are 36 entries in this file. Use ‘View Page Source’ in the top right hand corner of the page for the raw bibtex. Entries are coloured according to their type:

  • Journal Articles
  • Books > Chapters
  • Proceedings > Proceeding Papers
  • Reports > Tech Reports
  • Theses
  • Standards & Technical Manuals
  • Online > Blog Posts & Social Media Threads
  • Videos
  • Collections > Datasets
  • Software > Games
  • Legal Cases > Judicial Opinions
  • Laws
Automatic Diagnostics of Semantic Errors
(10.5555_3069422.3069423_)
Adam, Anne and Laurent, Jean-Pierre
A Comparative Study of Several Proof Procedures
(10.5555_3069422.3069424_)
Bibel, Wolfgang
Representing Design Alternatives
(10.5555_3069422.3069425_)
Bobrow, Daniel G. and Goldstein, Ira P.
Pattern-Based Representations of Knowledge in the Game of Chess
(10.5555_3069422.3069426_)
Bramer, M. A.
Extending Mecho to Solve Statics Problems
(10.5555_3069422.3069427_)
Byrd, Lawrence and Borning, Alan
Automatic Analysis of Italian
(10.5555_3069422.3069428_)
Cappelli, A. and Ferrari, C. and Moretti, L. and Prodanof, I. and Stock, O.
Analysing English Text: A Nondeterministic Approach with Limited Memory
(10.5555_3069422.3069429_)
Cater, A. W. S.
A Rather Intelligent Language Teacher
(10.5555_3069422.3069430_)
Cerri, Stefano A. and Breuker, Joost
The Effect of Motion Contrast on Surface Slant and Edge Detection
(10.5555_3069422.3069431_)
Clocksin, W. F.
Using Models to Augment Rule-Based Programs
(10.5555_3069422.3069432_)
Draper, Stephen W.
Automatic Implementation of Algebraic Specifications of Abstract Data Types
(10.5555_3069422.3069433_)
Eigemeier, H. and Knabe, Ch. and Raulefs, P. and Tramer, K.
Towards an Automated Debugging Assistant for Novice Programmers
(10.5555_3069422.3069434_)
Eisenstadt, Marc and Laubsch, Joachim
The Markgraf Karl Refutation Procedure
(10.5555_3069422.3069435_)
Eisinger, N. and Siekmann, J. and Smolka, G. and Unvericht, E. and Walther, Chr.
Decision Rules Foe Binary Choices: A Process Tracing Study
(10.5555_3069422.3069436_)
Fidler, Eduard J.
Program Understanding by Reduction Sets
(10.5555_3069422.3069437_)
Greussay, Patrick
Stability and Change of Strategies: Three Simulations of One Subject with One-Year Intervals
(10.5555_3069422.3069438_)
Hagert, Göran
Spontaneous Speech as a Feedback Process
(10.5555_3069422.3069439_)
Hoenkamp, Edward
How to Program a Society
(10.5555_3069422.3069440_)
Kahn, Kenneth M.
A System for for Program Synthesis and Program Optimization
(10.5555_3069422.3069441_)
Kodratoff, Yves and Papon, Eric
Means-Ends Analysis and the Solution of Mechanics Problems
(10.5555_3069422.3069442_)
Luger, George F.
Computational and Psychophysical Studies towards a Theory of Human Stereopsis
(10.5555_3069422.3069443_)
Mayhew, John E. H. and Frisby, John P.
Some Problems in Early Noun Phrase Interpretation
(10.5555_3069422.3069444_)
Mellish, C. S.
Using Determinism to Predict Garden Paths
(10.5555_3069422.3069445_)
Milne, Rob
Strategy Grammars an Approach to Generality in Computer Simulation of Human Reasoning
(10.5555_3069422.3069446_)
Ohlsson, Stellan
Intermediate Descriptions in "POPEYE"
(10.5555_3069422.3069447_)
Owen, David
Understanding English Descriptions of Programs
(10.5555_3069422.3069448_)
Ramsay, Allan
Parsing English Text
(10.5555_3069422.3069449_)
Ramsay, Allan
The Fuzzy Set Fallacy
(10.5555_3069422.3069450_)
Schefe, Peter
Why Visual Systems Process Sketches
(10.5555_3069422.3069451_)
Sloman, Aaron and Owen, David
The Role of World Knowledge in Planning
(10.5555_3069422.3069452_)
Sridharan, N. S. and Schmidt, C. F. and Goodson, J. L.
An Algorithmic Account of English Main Clause Constructions
(10.5555_3069422.3069453_)
Steedman, M. J. and Ades, A. E.
Description Types in the XPRT-System
(10.5555_3069422.3069454_)
Steels, Luc
Computer Aided Evolutionary Design for Digital Integrated Systems
(10.5555_3069422.3069455_)
Sussman, Gerald Jay and Holloway, Jack and Knight, Thomas F.
Data Compression, Generalisation and Overgeneralisation in an Evolving Theory of Language Development
(10.5555_3069422.3069456_)
Wolff, J. Gerard
Avoiding Equivalence Explosions in Theorem Proving - Propositional Logic
(10.5555_3069422.3069457_)
Wrightson, Graham
Proceedings of the 1980 AISB Conference on Artificial Intelligence
(80:_proceed_aisb_confer_artif_intel_)
Hardy, Steven (eds).
URL: Link