The pretender's new clothes

An empirical analysis of search in GSAT
von: Gent, Ian P., et al.
Veröffentlicht: (1993)

An extension of the temporal synchrony approach to dynamic variable binding in a connectionist inference system
von: Park, Nam Seog, et al.
Veröffentlicht: (1995)

Planning under uncertainty some key issues
von: Collins, Gregg, et al.
Veröffentlicht: (1995)

"Semantic procedure" is an oxymoron
von: Bundy, Alan
Veröffentlicht: (1992)

Prospects for artificial intelligence
von: Bundy, Alan
Veröffentlicht: (1993)

Representing the real world
von: Dobson, John E.
Veröffentlicht: (1988)

Mollusc, a general proof-development shell for sequent-based logics
Veröffentlicht: (1994)

The Edinburgh Designer System, an architecture for solving ill structured problems
von: Logan, Brian, et al.
Veröffentlicht: (1992)

Unsatisfied variables in local search
von: Gent, Ian P., et al.
Veröffentlicht: (1994)

Robot learnig by imitation
von: Hayes, G. M., et al.
Veröffentlicht: (1994)

An ethological model for implementation in mobile robots
von: Hallam, Bridget, et al.
Veröffentlicht: (1994)

Enduring support on defeasible reasoning in design support systems
von: Logan, Brian, et al.
Veröffentlicht: (1992)

MASQUE SQL, an efficient and portable natural language query interface for relational databases
von: Androutsopoulos, I., et al.
Veröffentlicht: (1993)

On some equivalence relations between incidence calculus and Dempster-Shafer theory of evidence
von: Silva, Flávio Soares Corrêa da, et al.
Veröffentlicht: (1990)

Repair work in human-computer dialogue
von: Cawsey, Alison, et al.
Veröffentlicht: (1990)

Modelling variations in goal-directed dialogue
von: Carletta, Jean
Veröffentlicht: (1990)

A cooperative intelligent system for urban traffic problems
Veröffentlicht: (1996)

Argument roles and anaphora
von: Engdahl, Elisabet 1949-
Veröffentlicht: (1990)

Increasing the versatility of heuristic based theorem provers
von: Manning, Alistair, et al.
Veröffentlicht: (1993)

Recursive program optimization through inductive synthesis proof transformation
von: Madden, Peter
Veröffentlicht: (1992)

A fast algorithm for the generation of referring expressions
von: Reiter, Ehud, et al.
Veröffentlicht: (1992)

Computing belief revision
von: Berendt, Bettina, et al.
Veröffentlicht: (1992)

The Intelligent Documentation Advisory System
Veröffentlicht: (1990)

Supporting the use of external representations in problem solving the need for flexible learning environments
von: Cox, Richard, et al.
Veröffentlicht: (1994)

Interacting with an intelligent planning system using English sentences
Veröffentlicht: (1990)

Extensions to a generalization critic for inductive proof
von: Ireland, Andrew, et al.
Veröffentlicht: (1996)

KICS
von: Yang, Soon-Ae, et al.
Veröffentlicht: (1993)

A symbolic description of punning riddles and its computer implementation
von: Binsted, Kim, et al.
Veröffentlicht: (1994)

Linda and the paradigms of parallelisation
von: Westhead, Martin D.
Veröffentlicht: (1992)

Persistent collaboration, a methodology for applied AIED
von: Conlon, Tom, et al.
Veröffentlicht: (1996)

What is a categorical model of intuistionistic linear logic?
von: Bierman, G. M.
Veröffentlicht: (1994)

A categorisation of meta-level architectures
von: Van Harmelen, Frank
Veröffentlicht: (1986)

Behaviour-based robotic assembly systems reliability of behavioural modules
von: Wilson, Myra S.
Veröffentlicht: (1993)

Persistent collaboration, marrying the technology push with the learning pull
von: Conlon, Tom, et al.
Veröffentlicht: (1995)

Has a consensus NL generation architecture appeared, and is it psycholinguistically plausible?
von: Reiter, Ehud
Veröffentlicht: (1993)

A framework for natural language interfaces to temporal databases
von: Androutsopoulos, I., et al.
Veröffentlicht: (1995)