-
1
-
-
0042852326
-
Automatic proofs and counterexamples for some ortholattice identities
-
10.1016/S0020-0190(98)00015-5 1621648
-
W McCune 1998 Automatic proofs and counterexamples for some ortholattice identities Inf Process Lett 65 6 285-291 10.1016/S0020-0190(98)00015-5 1621648
-
(1998)
Inf Process Lett
, vol.65
, Issue.6
, pp. 285-291
-
-
McCune, W.1
-
2
-
-
27744507123
-
Compilation of unification grammars with compositional semantics to speech recognition packages
-
Taipei, Taiwan, August 24-September 1 2002
-
Bos J (2002) Compilation of unification grammars with compositional semantics to speech recognition packages. Proceedings of the 19th International Conference on Computational Linguistics (COLING 2002), Taipei, Taiwan, August 24-September 1, 2002, pp 106-112
-
(2002)
Proceedings of the 19th International Conference on Computational Linguistics (COLING 2002)
, pp. 106-112
-
-
Bos, J.1
-
3
-
-
33751541009
-
A theory of truth and semantic representation
-
643507
-
H Kamp 1981 A theory of truth and semantic representation Formal Methods Study Language 1 277-322 643507
-
(1981)
Formal Methods Study Language
, vol.1
, pp. 277-322
-
-
Kamp, H.1
-
4
-
-
0002854575
-
Presupposition projection as anaphora resolution
-
10.1093/jos/9.4.333
-
AR Van der Sandt 1992 Presupposition projection as anaphora resolution J Semantics 9 333-377 10.1093/jos/9.4.333
-
(1992)
J Semantics
, vol.9
, pp. 333-377
-
-
Van der Sandt, A.R.1
-
5
-
-
33745731605
-
An inference-based approach to dialogue system design
-
Taipei, Taiwan, August 24-September 1, 2002
-
Bos J, Oka T (2002) An inference-based approach to dialogue system design. Proceedings of the 19th International Conference on Computational Linguistics (COLING 2002), Taipei, Taiwan, August 24-September 1, 2002, pp 113-119
-
(2002)
Proceedings of the 19th International Conference on Computational Linguistics (COLING 2002)
, pp. 113-119
-
-
Bos, J.1
Oka, T.2
-
6
-
-
0006292885
-
A model of dialogue moves and information state revision
-
Traum D, Bos J, Couper R, et al. (1999) A model of dialogue moves and information state revision. Trindi Tech Rep D2.1
-
(1999)
Trindi Tech Rep D2.1
-
-
Traum, D.1
Bos, J.2
Couper, R.3
-
8
-
-
0031998630
-
Learning maps for indoor mobile robots
-
10.1016/S0004-3702(97)00078-7
-
S Thrun 1998 Learning maps for indoor mobile robots Artif Intell 99 1 21-71 10.1016/S0004-3702(97)00078-7
-
(1998)
Artif Intell
, vol.99
, Issue.1
, pp. 21-71
-
-
Thrun, S.1
-
9
-
-
26544468548
-
Navigation on a mobile robot
-
Master's Thesis, University of Edinburgh
-
Theobalt C (2000) Navigation on a mobile robot. Master's Thesis, University of Edinburgh
-
(2000)
-
-
Theobalt, C.1
|