B

Baral, C. and Gelfond, M. and Provetti, Alessandro (1997) Representing actions: laws, observations and hypotheses. The Journal of Logic Programming 31 (1/3), pp. 201-243. ISSN 0743-1066.

Blasius, K.-H. and Grawemeyer, Beate and John, I. and Kuhn, N. (1997) Knowledge-based document analysis. In: UNSPECIFIED (ed.) 4th International Conference: Document Analysis and Recognition. IEEE Computer Society, pp. 728-731. ISBN 0818678984.

Bugmann, G. and Christodoulou, Chris and Taylor, J.G. (1997) Role of temporal integration and fluctuation detection in the highly irregular firing of a leaky integrator neuron model with partial reset. Neural Computing and Applications 9 (5), pp. 985-1000. ISSN 0941-0643.

C

Carey, M.J. and DeWitt, D.J. and Naughton, J.F. and Asgarian, M. and Brown, Paul and Gehrke, J. and Shah, D. (1997) The BUCKY object-relational benchmark. In: Peckham, J. (ed.) SIGMOD 1997: Proceedings ACM SIGMOD International Conference on Management of Data. Association for Computing Machinery, pp. 135-146.

Chagrov, A.V. and Zakharyaschev, Michael (1997) Modal logic. Oxford logic guides 35. Oxford, UK: Oxford University Press. ISBN 9780198537793.

Chavda, M. and Wood, Peter (1997) Combining constraints and data-flow in a visual query language. In: UNSPECIFIED (ed.) Proceedings of the 1997 IEEE Symposium on Visual Languages. IEEE Computer Society, pp. 125-126. ISBN 9780818681446.

Chavda, M. and Wood, Peter (1997) Towards an ODMG-compliant visual object query language. In: Jarke, M. and Carey, M.J. and Dittrich, K.R. and Lochovsky, F.H. and Loucopoulos, P. and Jeusfeld, M.A. (eds.) VLDB 97: Proceedings of 23rd International Conference on Very Large Data Bases. Morgan Kaufmann, pp. 456-465. ISBN 9781558604707.

L

Levene, Mark (1997) Computer chess: a unifying theme. International Computer Games Association Journal 20 (1), pp. 64-65. ISSN 1389-6911.

Levene, Mark and Loizou, G. (1997) Null inclusion dependencies in relational databases. Information and Computation 136 (2), pp. 67-108. ISSN 0890-5401.

Levene, Mark and Loizou, G. (1997) The additivity problem for functional dependencies in incomplete relations. Acta Informatica 34 (2), pp. 135-149. ISSN 0001-5903.

M

Magoulas, George and Vrahatis, M.N. and Androulakis, G. (1997) Effective backpropagation training with variable stepsize. Neural Networks 10 (1), pp. 69-82. ISSN 0893-6080.

Mikulas, Szabolcs (1997) A note on expressing infinity in cylindrlc-relativised set algebras. In: Third International Seminar on the Use of Relational Methods in Computer Science, 1997, Hammamet, Tunisia. (Unpublished)

N

Ng, W. and Levene, Mark (1997) OSQL: an extension to SQL to manipulate ordered relational databases. In: Silberschatz, A. and Shoval, P. (eds.) Next Generation Information Technologies and Systems. Springer.

Ng, W. and Levene, Mark (1997) The development of ordered SQL packages for modelling advanced applications. In: Hameurlain, A. and Min Tjoa, A. (eds.) Database and Expert Systems Applications: 8th International Conference. Lecture Notes in Computer Science 1308. Springer, pp. 529-538. ISBN 9783540634782.

Ng, W. and Levene, Mark (1997) An extension of SQL to support ordered domains in relational databases. In: UNSPECIFIED (ed.) Proceedings of the International Database Engineering and Applications Symposium. IEEE Computer Society, pp. 358-367. ISBN 0818681144.

P

Provetti, Alessandro and Rossi, G. (1997) Action specifications in log. In: Falaschi, M. and Navarro, M. and Policriti, A. (eds.) 1997 Joint Conference on Declarative Programming: APPIA-GULP-PRODE '97. APPIA-GULP-PRODE, pp. 381-392.

R

Rodgers, P.J. and Rodgers, Peter J.H. (1997) A graph-rewriting visual language for database programming. Journal of Visual Languages and Computing 8 (5/6), pp. 641-674. ISSN 1045-926X.

Z

Zakharyaschev, Michael (1997) Canonical formulas for K4. part III: the finite model property. The journal of Symbolic Logic 62 (3), pp. 950-975. ISSN 0022-4812.

Zakharyaschev, Michael (1997) The greatest extension of S4 into which intuitionistic logic is embeddable. Studia Logica 59 (3), pp. 345-358. ISSN 0039-3215.