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

Article

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.

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.

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.

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

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.

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.

Book Section

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.

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.

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.

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.

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.

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.

Conference or Workshop Item

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

Book

Kracht, M. and de Rijke, M. and Wansing, H. and Zakharyaschev, Michael, eds. (1998) Advances in modal logic 1: papers from the first workshop on advances in modal logic. CSLI Publications. ISBN 978157586102X.

Stonebraker, M. and Brown, Paul and Moore, D., eds. (1998) Object-relational DBMSs. Morgan Kaufmann. ISBN 1558604529.