Publication list
FNWI: Institute for Logic, Language and Computation ILLC - 2000
61 to 70 of 126
1
11
21
31
41
51
61
71
81
91
101
111
121
| 61 | Chapter: Model checking for combined logics M. Franceschet, A. Montanari, M. de Rijke in: Workshop Proceedings ICTL 2000, University of Leipzig (2000) | |
| 62 | Book: Frontiers of combining systems 2 D.M. Gabbay, M. de Rijke (2000), 407 p. | |
| 63 | Chapter: Towards an algorithmic statistics P. Gacs, J. Tromp, P.M.B. Vitanyi in: Proceedings ALT 2000 (2000), p. 41-55 | |
| 64 | Article: Applying MDL to learning best model granularity Q. Gao, M. Li, P.M.B. Vitanyi in: Artificial Intelligence, Vol. 121 (2000), p. 1-29 | |
| 65 | Chapter: Arc Consistency via Subsumed Functions R. Gennari in: Proceedings of Computational Logic 2000 (2000), p. 358-372 | |
| 66 | Article: The GIF Algorithm R. Gennari (2000) | |
| 67 | Chapter: Meaning in Motion J.A.G. Groenendijk, M.J.B. Stokhof in: Reference and Anaphorical Relations (2000), p. 47-76 | |
| 68 | Chapter: Grammar induction as substructural inductive logic programming E. de Haas, P.W. Adriaans in: Language Learning in Logic (2000), p. 127-142 | |
| 69 | Chapter: Learning from a substructural perspective E. de Haas, P.W. Adriaans in: Proceedings of the fourth Conference on Computational Natural Language Learning and of the Second Language Learning in Logic Workshop (2000), p. 176-183 | |
| 70 | Article: Make me a match: an evaluation of different approaches to score-performance macthing H. Heijink, P. Desain, H. Honing, W.L. Windsor in: Computer Music Journal, Vol. 24 (2000), p. 43-56 |
previous