Sciweavers

51 search results - page 5 / 11
» interact 1990
Sort
View
AAAI
1990
13 years 8 months ago
A Circumscriptive Theory for Causal and Evidential Support
Reasoning about causality is an interesting application area of formal nonmonotonic theories. Here we focus our attention on a certain aspect of causal reasoning, namely causaZ as...
Eunok Paek
FOCS
1990
IEEE
13 years 11 months ago
IP=PSPACE
In [Sh92], Adi Shamir proved a complete characterization of the complexity class IP. He showed that when both randomization and interaction are allowed, the proofs that can be ver...
Adi Shamir
COLING
1990
13 years 8 months ago
Organizing linguistic knowledge for multilingual generation
We propose an architecture for the organisation of linguistic knowledge which allows to (1) separately formulate generalizations for different types of linguistic information, and...
Martin C. Emele, Ulrich Heid, Stefan Momma, R&eacu...
COLING
1990
13 years 8 months ago
A Mechanism for ellipsis resolution in dialogued systems
: An ellipsis resolution mechanism is presented. The mechanism is a part of a Natural Language Understanding System developed in the last years in order to be included as a main co...
Arantza Díaz de Ilarraza Sánchez, H....
NIPS
1990
13 years 8 months ago
Planning with an Adaptive World Model
We present a new connectionist planning method TML90 . By interaction with an unknown environment, a world model is progressively constructed using gradient descent. For deriving ...
Sebastian Thrun, Knut Möller, Alexander Linde...