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

• 👤 Speaker: Stanislav Kikot, University of London Birkbeck College
• 📅 Date & Time: Friday 09 March 2012, 14:00 - 15:00
• 📍 Venue: Room FW11, Computer Laboratory, William Gates Building

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

Included in Lists

• All Talks (aka the CURE list)
• bld31
• Cambridge talks
• Computing and Mathematics
• Department of Computer Science and Technology talks and seminars
• Interested Talks
• Logic and Semantics Seminar (Computer Laboratory)
• Martin's interesting talks
• Room FW11, Computer Laboratory, William Gates Building
• School of Technology
• tcw57’s list
• Trust & Technology Initiative - interesting events
• yk373's list
• yk449

Note: Ex-directory lists are not shown.