[DL] April 5-6, 2022: Guarded Fragments: Current Trends and Applications (GF at 25)
Balder ten Cate
balder.tencate at gmail.com
Wed Mar 23 09:21:10 CET 2022
Guarded Fragments: Current Trends and Applications (GF at 25)
April 5-6, 2022, Fully Online
The Guarded Fragment (GF) was introduced in 1996 by Hajnal Andreka, Johan
van Benthem and Istvan Nemeti, as a decidable fragment of first-order logic
that aims to explain the attractive algorithmic and model theoretic
behavior of modal logic. It subsequently gave rise to a larger family of
decidable guarded fragments of first-order logic and second-order logic.
These guarded fragments are, up to today, still actively studied and used
in various application domains across different areas of computer science
and artificial intelligence (e.g., data management, knowledge
This workshop is a celebration of the 25th anniversary of GF. It will
showcase recent results, bringing together different strands of research,
and offering an opportunity for reflection.
The workshop is fully online, with a program consisting of 7 invited
lectures, spread out across two days.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the dl