C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
AISB/GI (ECAI)
1978
1978
1978
Keyphrases
Publications
1978
Christopher J. Hogger
Program Synthesis in Predicate Logic.
AISB/GI (ECAI)
(1978)
Wolfgang Bibel
On Strategies for the Systhesis of Algorithms.
AISB/GI (ECAI)
(1978)
Frank M. Brown
A Sequent Calculus for Modal Quantificational Logic.
AISB/GI (ECAI)
(1978)
Derek Partridge
A Philosophy of "Wicked" Problem Implementation.
AISB/GI (ECAI)
(1978)
Pavel Brazdil
Experimental Learning Model.
AISB/GI (ECAI)
(1978)
P. L. Suzman
Common-Sense Representation.
AISB/GI (ECAI)
(1978)
Michael Brady
Dangerous Behaviour.
AISB/GI (ECAI)
(1978)
Kenneth M. Kahn
Ani: An Example of Computational Creativity.
AISB/GI (ECAI)
(1978)
László Méro
A Quasi-Parallel Contour Following Algorithm.
AISB/GI (ECAI)
(1978)
David R. Barstow
Experience with a Refinement Paradigm in a Knowledge-Based Automatic Programming System.
AISB/GI (ECAI)
(1978)
Alan Bundy
,
George F. Luger
,
Chris Mellish
,
Martha Stone Palmer
Knowledge about Knowledge: Making Decisions in Mechanics Probleme Solving.
AISB/GI (ECAI)
(1978)
Camilla Schwind
Representing Actions by State Logic.
AISB/GI (ECAI)
(1978)
J. Gerard Wolff
Grammar Discovery as Data Compression.
AISB/GI (ECAI)
(1978)
David C. Luckham
,
Jorge J. Morales
,
Joachim F. Schreiber
A Study in the Application of Theorem Proving.
AISB/GI (ECAI)
(1978)
Brian Phillips
A Network representation for Procedural Knowledge.
AISB/GI (ECAI)
(1978)
Norbert Eisinger
,
Jörg H. Siekmann
,
Graham Wrightson
Paramodulated Connection Graphs.
AISB/GI (ECAI)
(1978)
F. Birch
A (self-adapting) Network for Recognition of Visual Structures.
AISB/GI (ECAI)
(1978)
K. Prazdny
A Computational Study of a Period of Infant Development.
AISB/GI (ECAI)
(1978)
Donald Michie
,
Ivan Bratko
Advice Table Representations of Chess End-Game Knowledge.
AISB/GI (ECAI)
(1978)
N. S. Sridharan
,
D. Smith
Design for a Plan Hypothesizer.
AISB/GI (ECAI)
(1978)
Graeme D. Ritchie
Predictions and Procedures in Semantically-Based Grammar.
AISB/GI (ECAI)
(1978)
W. F. Clocksin
Determinig the Orientation of Surfaces from Optical Flow.
AISB/GI (ECAI)
(1978)
Gérard Sabah
A Conversational System which Understands Short Stories.
AISB/GI (ECAI)
(1978)
Frank M. Brown
,
Camilla Schwind
Analysing and Representing Natural Language in Logic.
AISB/GI (ECAI)
(1978)
Michael J. Brooks
Understanding the Image Forming Process.
AISB/GI (ECAI)
(1978)
Bob J. Wielinga
AI Programming Methodology.
AISB/GI (ECAI)
(1978)
Aaron Sloman
,
David Owen
,
Geoffrey E. Hinton
,
Frank Birch
,
Frank O'Gorman
Representation and Control in Vision.
AISB/GI (ECAI)
(1978)
Dennis de Champeaux
A Theorem Prover Dating a Semantic Network.
AISB/GI (ECAI)
(1978)
Berthold K. P. Horn
Vision.
AISB/GI (ECAI)
(1978)
F. Keith Hanna
,
W. T. Harwood
A Multiprocessor System for Knowledge Representation and Manipulation.
AISB/GI (ECAI)
(1978)
Bernd Radig
Parametrized Region Extraction for the Description of Moving Objects.
AISB/GI (ECAI)
(1978)
Walther von Hahn
,
Wolfgang Hoeppner
,
Anthony Jameson
,
Wolfgang Wahlster
HAM-RPM: Natural Dialogues with an Artificial Partner.
AISB/GI (ECAI)
(1978)
Giovanni Guida
,
Marco Somalvico
A Method for Computing Heuristics in Problem-Solving.
AISB/GI (ECAI)
(1978)
Drew V. McDermott
The Last Survey of Representation of Knowledge.
AISB/GI (ECAI)
(1978)
Erik Sandewall
What Structure does a LISP Program have - besides being a set of Procedures?
AISB/GI (ECAI)
(1978)
Yuichiro Anzai
How to Learn Strategies: Processes and Representation of Strategy Acquisition.
AISB/GI (ECAI)
(1978)
H. P. Böhm
,
Hans Ludwig Fischer
,
Peter Raulefs
Dialogues in Actor Nets.
AISB/GI (ECAI)
(1978)
Bernd Neumann
Best-First Interpretation of Imperfect Object Contours.
AISB/GI (ECAI)
(1978)
Mike Rosner
What's in a Social Action for U?
AISB/GI (ECAI)
(1978)
Olga Stepánková
Planning in Uncertain Environments through Situation Calculus.
AISB/GI (ECAI)
(1978)
Renato de Mori
,
Pietro Laface
Representation of Phonetic and Phonemic Knowledge in a Speech Understanding System.
AISB/GI (ECAI)
(1978)
Yves Kodratoff
,
Jean Fargues
A sane Algorithme for the Synthesis of LISP Functions from Example Problems: The "Boyer and Moore Algorithm".
AISB/GI (ECAI)
(1978)
Dominique Pastre
A Humanlike Approach for Automatic Theorem Proving.
AISB/GI (ECAI)
(1978)
Christoph F. Eick
,
Peter Raulefs
Problem Solving by Hyper Planning.
AISB/GI (ECAI)
(1978)
Harold Boley
The Fit Approach to AI Languages.
AISB/GI (ECAI)
(1978)
Daniel Goossens
A System for Visual-like Understanding.
AISB/GI (ECAI)
(1978)
Luc Steels
The Frame Shift Mechanism in Natural Language.
AISB/GI (ECAI)
(1978)
Leonard Uhr
,
Manfred Kochen
Toward a greater Generality in Artificial Intelligence.
AISB/GI (ECAI)
(1978)
Werner Stephan
,
Jörg H. Siekmann
Completeness and Soundness of the Connection Graph Proof.
AISB/GI (ECAI)
(1978)
Tim O'Shea
,
Richard M. Young
A Production Rule Account of Errors in Children's Subtraction.
AISB/GI (ECAI)
(1978)