1978_aisb

There are 50 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

How One Learns Strategies: Processes and Representation of Strategy Acquisition (10.5555_3017065.3017066_): Anzai, Yuichiro

Experience with a Refinement Paradigm in a Knowledge-Based Automatic Programming System (10.5555_3017065.3017067_): Barstow, David R.

On Strategies for the Synthesis of Algorithms (10.5555_3017065.3017068_): Bibel, Wolfgang

A (Self-Adapting) Network for Recognition of Visual Structure (10.5555_3017065.3017069_): Birch, P.

Dialogues in Actor Nets (10.5555_3017065.3017070_): Böhm, H. P. and Fischer, H. L. and Raulefs, P.

The Fit Approach to AI Languages (10.5555_3017065.3017071_): Boley, Harold

Dangerous Behaviour (10.5555_3017065.3017072_): Brady, J. M.

Experimental Learning Model (10.5555_3017065.3017073_): Brazdil, Pavel

Understanding the Image Forming Process (10.5555_3017065.3017074_): Brooks, M. J.

A Sequent Cadculus for Modal Quantificational Logic (10.5555_3017065.3017075_): Brown, F. M.

Analysing and Representing Natural Language in Logic (10.5555_3017065.3017076_): Brown, F. M. and Schwind, C. B.

Knowledge about Knowledge: Making Decisions in Mechanics Problem Solving (10.5555_3017065.3017077_): Bundy, Alan and Luger, George and Mellish, Chris and Palmer, Martha

A Theorem Prover Dating a Semantic Network (10.5555_3017065.3017078_): Champeaux, Dennis de

Determining the Orientation of Surfaces from Optical Flow (10.5555_3017065.3017079_): Clocksin, William F.

Problem Solving by Hyperplanning (10.5555_3017065.3017080_): Eick, Ch. and Raulefs, P.

Paramodulated Connection Graphs (10.5555_3017065.3017081_): Eisinger, Norbert and Siekmann, Jörg and Wrightson, Graham

A System for Visual-like Understanding of LISP Programs (10.5555_3017065.3017082_): Goossens, Daniel

A Method for Computing Heuristics in Problem-Solving (10.5555_3017065.3017083_): Guida, Giovanni and Somalvico, Marco

HAM-RPM: Natural Dialogues with an Artificial Partner (10.5555_3017065.3017084_): Hahn, W. v. and Hoeppner, W. and Jameson, A. and Wahlster, W.

A Mutiprocessor Systm for Kowledge Representation and Manipulation (10.5555_3017065.3017085_): Hanna, F. K. and Harwood, W. T.

Program Synthesis in Predicate Logic (10.5555_3017065.3017086_): Hogger, C. J.

Vision (10.5555_3017065.3017087_): Horn, Berthold K. P.

Ani: Am Example of Computational Creativity (10.5555_3017065.3017088_): Kahn, Kenneth M.

A Sane Algorithm for the Synthesis of LISP Functions from Example Problems: The "Boyer and Moore Algorithm" (10.5555_3017065.3017089_): Kodratoff, Yves and Fargues, Jean

A Study in the Application of Theorem Proving (10.5555_3017065.3017090_): Luckham, David C. and Morales, Jorge J. and Schreiber, Joachim F.

A Quasi-Parallel Contour Following Algorithm (10.5555_3017065.3017091_): Mérö, L.

Advice Table Representations of Chess End-Game Knowledge (10.5555_3017065.3017092_): Michie, Donald and Bratko, I.

Representation of Phonetic and Phonemic Knowledge in a Speech Understanding System (10.5555_3017065.3017093_): Mori, Renato De and Laface, Pietro

The Last Survey of Representation of Knowledge (10.5555_3017065.3017094_): McDermott, Drew

Best-First Interpretation of Imperfect Object Contours (10.5555_3017065.3017095_): Neumann, Bernd

A Production Rule Account of Errors in Children's Subtraction (10.5555_3017065.3017096_): O'Shea, Tim and Young, Richard M.

A Philosophy of 'wicked' Problem Implementation (10.5555_3017065.3017097_): Partridge, Derek

A Network Representation for Procedural Knowledge (10.5555_3017065.3017099_): Phillips, Brian

A Computational Study of a Period of Infant Development (10.5555_3017065.3017100_): Prazdny, K.

Parameterized Region Extraction for the Description of Moving Objects (10.5555_3017065.3017101_): Radig, Bernd

Predictions and Procedures in Semantically-Based Grammar (10.5555_3017065.3017102_): Ritchie, Graeme D

What's in a Social Action for U? (10.5555_3017065.3017103_): Rosner, M.

A Conversational System Which Understands Short Stories (10.5555_3017065.3017104_): Sabah, G.

What Structure Does a LISP Program Have - besides Being a Set of Procedures? (10.5555_3017065.3017105_): Sandewall, Erik

Representing Actions by State Logic (10.5555_3017065.3017106_): Schwind, Camilla B.

Representation and Control in Vision (10.5555_3017065.3017107_): Sloman, Aaron and Owen, David and Hinton, Geoffrey and Birch, Frank and O'Gorman, Frank

Design for a Plan Hypothesizer (10.5555_3017065.3017108_): Sridharan, M. S. and Smith, D.

The Frame Shift Mechanism in Natural Language (10.5555_3017065.3017109_): Steels, Luc

Planning in Uncertain Environments through Situation Calculus (10.5555_3017065.3017110_): Štĕpánková, Olga

Completeness and Soundness of the Connection Graph Proof Procedure (10.5555_3017065.3017111_): Stephan, W. and Siekmann, J.

Common-Sense Representation (10.5555_3017065.3017112_): Suzman, P. L.

Toward Greater Generality in Artificial Intelligence (10.5555_3017065.3017113_): Uhr, Leonard and Kochen, Manfred

AI Programming Methodology (10.5555_3017065.3017114_): Wielinga, Bob J.

Grammar Discovery as Data Compression (10.5555_3017065.3017115_): Wolff, J. Gerard

Proceedings of the AISB/GI Conference on Artifcial Intelligence (78:_proceed_aisb_gi_confer_artif_intel_): Bundy, Alan and Hardy, Steve and Nagel, H.H. and Pitrat, Jacques and Sleeman, Derek and Wilks, Yorick (eds).

URL: Link