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

A

Andreka, H. and Givant, S. and Mikulas, Szabolcs and Nemeti, I. and Simon, A. (1998) Notions of density that imply representability in algebraic logic. Annals of Pure and Applied Logic 91 (2/3), pp. 93-190. ISSN 0168-0072.

B

Baral, C. and Gabaldon, A. and Provetti, Alessandro (1998) Formalizing narratives using nested circumscription. Artificial Intelligence 104 (1/2), pp. 107-164. ISSN 0004-3702.

Baral, C. and Gabaldon, A. and Provetti, Alessandro (1998) Value minimization in circumscription. Artificial Intelligence 102 (2), pp. 163-186. ISSN 0004-3702.

Brown, Paul (1998) Swimming pool. In: Truckenbrod, J. and Hardtke, I. (eds.) ACM SIGGRAPH 98: Electronic Art and Animation Catalog. Association for Computing Machinery. ISBN 9781581130454.

C

Collopy, E. and Levene, Mark (1998) Evolving example relations to satisfy functional dependencies. In: Ozsu, M.T. and Dogac, A. and Ulusoy, O. (eds.) Proceedings of the Third International Conference on Integrated Design and Process Technology. Society for Design and Process Science, pp. 440-447.

Collopy, E. and Levene, Mark (1998) Resampling in an indefinite database to approximate functional dependencies. In: Zytkow, J.M. and Quafafou, M. (eds.) Principles of Data Mining and Knowledge Discovery: Second European Symposium. Lecture Notes in Computer Science 1510. Springer, pp. 291-299. ISBN 9783540650683.

D

de Moura Borges, J.L.C. and Levene, Mark (1998) Mining association rules in hypertext database. In: Agrawal, R. and Stolorz, P.E. and Piatetsky-Shapiro, G. (eds.) Proceedings of the Fourth International Conference on Knowledge Discovery and Data Mining. AAAI Press, pp. 149-153.

H

Hodkinson, I.M. and Mikulas, Szabolcs (1998) Colorful reducts. In: RelMiCS: 4th International Seminar, 1998, Warsaw, Poland. (Unpublished)

L

Lanzarone, G.A. and Provetti, Alessandro (1998) Processing temporal and atemporal declarative knowledge in metalogic programming. In: Freire-Nistal, J.L. and Falaschi, M. and Ferro, M.V. (eds.) 1998 Joint Conference on Declarative Programming: APPIA-GULP-PRODE 98. APPIA-GULP-PRODE, pp. 201-214.

Levene, Mark (1998) On the information content of semi-structured databases. Acta Cybernetica 13 (3), pp. 257-275. ISSN 0324-721X.

Levene, Mark and Loizou, G. (1998) Axiomatisation of functional dependencies in incomplete relations. Theoretical Computer Science 206 (1-2), pp. 283-300. ISSN 0304-3975.

M

Meredith, P.F. and King, Peter J.H. (1998) Scoped referential transparency in a functional database language with updates. In: Embury, S.M. and Fiddian, N.J. and Gray, W.A. and Jones, A.C. (eds.) Advances in Databases, 16th British National Conference on Databases: BNCOD 16. Lecture Notes in Computer Science 1405. Springer, pp. 134-148. ISBN 9783540646594.

Mikulas, Szabolcs (1998) Taming first-order logic. Logic Journal of the IGPL 6 (2), pp. 305-316. ISSN 1367-0751.

N

Noble, Steven (1998) Evaluating the Tutte polynomial for graphs of bounded tree-width. Combinatorics, Probability and Computing 7 (3), pp. 307-321. ISSN 0963-5483.

S

Stonebraker, M. and Brown, Paul and Herbach, M. (1998) Interoperability, distributed applications and distributed databases: the virtual table interface. IEEE Data Engineering Bulletin 21 (3), pp. 25-33.

Suzuki, Y. and Wolter, F. and Zakharyaschev, Michael (1998) Speaking about transitive frames in propositional languages. Journal of Logic, Language and Information 7 (3), pp. 317-339. ISSN 0925-8531.

W

Welz, M.G. and Wood, Peter (1998) The TENTACLE database system as a web server. In: Embury, S.M. and Fiddian, N.J. and Gray, W.A. and Jones, A.C. (eds.) BNCOD 16: Advances in Databases. Lecture Notes in Computer Science 1405. Springer, pp. 169-170. ISBN 9783540646594.

Welz, M.G. and Wood, Peter (1998) TENTACLE: a database system for the world wide web. In: Quirchmayr, G. and Schweighofer, E. and Bench-Capon, T.J.M. (eds.) DEXA 98: Database and Expert Systems Applications. Lecture Notes in Computer Science 1460. Springer, pp. 658-667. ISBN 9783540649502.

Wolter, F. and Zakharyaschev, Michael (1998) Dynamic description logics. In: Zakharyaschev, Michael and Segerberg, K. and de Rijke, M. and Wansing, H. (eds.) Advances in Modal Logic 2: papers from the second workshop on Advances in Modal logic. CSLI Publications, pp. 431-446. ISBN 9781575862719.

Wolter, F. and Zakharyaschev, Michael (1998) On the decidability of description logics with modal operators. In: Cohn, A.G. and Schubert, L.K. and Shapiro, S.C. (eds.) KR '98: Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning. Morgan Kaufmann, pp. 512-523. ISBN 9781558605541.