University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > On modal definability of first-order formulas with many free variables and its application to conjunctive query answering in description logics

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

On modal definability of first-order formulas with many free variables and its application to conjunctive query answering in description logics

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Bjarki Holm.

Abstract not available

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Women in Science Reading Group on Stochastic Differential Equations Faculty of Education Special Events

Other talks

Protein Folding, Evolution and Interactions Symposium Energy landscape of multivariate time series data Communicating Your Research to the Wider World Light Scattering techniques Introduction to Biomolecular NMR Random Feature Expansions for Deep Gaussian Processes Knot Floer homology and algebraic methods Sustainability of livestock production: water, welfare and woodland EU LIFE Lecture - "Histone Chaperones Maintain Cell Fates and Antagonize Reprogramming in C. elegans and Human Cells" Asclepiadaceae Amino acid sensing: the elF2a signalling in the control of biological functions A domain-decomposition-based model reduction method for convection-diffusion equations with random coefficients
 

© 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity