Items where Subject is "Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences"

A

Ayres, R. and King, Peter J.H. (1996) Querying graph databases using a functional language extended with second order facilities. In: Morrison, R. and Kennedy, J.B. (eds.) Advances in Databases, 14th British National Conference on Databases: BNCOD 14. Lecture Notes in Computer Science 1094. Springer, pp. 189-203. ISBN 9783540614425.

B

Baral, C. and Gabaldon, A. and Provetti, Alessandro (1996) Formalizing narratives using nested circumscription. In: Clancey, W.J. and Weld, D.S. (eds.) Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference. AAI Press.

Baral, C. and Gabaldon, A. and Provetti, Alessandro (1996) Value minimization in circumscription. In: Carlucci Aiello, L. and Doyle, J. and Shapiro, S.C. (eds.) Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning. Morgan Kaufmann, pp. 474-481.

Bollobas, B. and Fenner, Trevor and Frieze, A.M. (1996) On the best case of heapsort. Journal of Algorithms 20 (2), pp. 205-217. ISSN 0196-6774.

Brown, Paul (1996) Networks and artworks: the failure of the user friendly interface. Digital Creativity 7 (2), pp. 57-63. ISSN 1462-6268.

L

Levene, Mark (1996) Maintaining consistency of imprecise relations. The Computer Journal 39 (2), pp. 114-123. ISSN 0010-4620.

Levene, Mark and Loizou, G. (1996) Categorisation of computable data-base queries. Fundamenta Informaticae 27 (4), pp. 319-348. ISSN 0169-2968.

M

Magoulas, George and Vrahatis, M.N. and Androulakis, G.S. (1996) A new method in neural network supervised training with imprecision. In: UNSPECIFIED (ed.) Proceedings of Third International Conference on Electronics, Circuits, and Systems: ICECS 1996. IEEE Computer Society, pp. 287-290. ISBN 078033650X.

Mitton, Roger (1996) English spelling and the computer. Harlow, Essex: Longman Group. ISBN 0 582 23479 4.

N

Noble, Steven (1996) Recognising a partitionable simplicial complex is in NP. Discrete Mathematics 152 (1-3), pp. 303-305. ISSN 0012-365X.

P

Provetti, Alessandro (1996) Hypothetical reasoning about actions: from situation calculus to event calculus. Computational Intelligence 12 , pp. 478-498. ISSN 0824-7935.

Provetti, Alessandro (1996) Ordering events: intervals are sufficient, more general sets are usually not necessary. Reliable Computing 2 (3), pp. 321-327. ISSN 1385-3139.

Z

Zakharyaschev, Michael (1996) Canonical formulas for K4. part II: confinal subframe logics. The journal of Symbolic Logic 61 (2), pp. 421-449. ISSN 0022-4812.