GUARDED FRAGMENT
Experts
- Lidia Tendera
- Emanuel Kieronski
- Carsten Lutz
- Martin Otto
- Frank Wolter
- Manfred Kufleitner
- Wieslaw Szwast
- Jan Van den Bussche
- Vince Bárány
- Georg Gottlob
- Jerzy Marcinkowski
- Tomasz Gogacz
- Ian Pratt-Hartmann
- Andreas Pieris
- Sebastian Rudolph
- Volker Diekert
- André Hernich
- Maarten Marx
- Gerald Berger
- Jan Paredaens
- Jerzy Tyszkiewicz
- Reijo Jaakkola
- Balder ten Cate
- Pablo Barceló
- Fabio Papacchini
- Sen Zheng
- Jouko A. Väänänen
- Michael Zakharyaschev
- Jan Kretínský
- Marco Voigt
- Karel Culík II
- Yehoshua Sagiv
- Wei Sun
- Dirk Van Gucht
- Miroslav Chodil
- Renate A. Schmidt
- Birte Glimm
- Manuel Bodirsky
- Florent Bouchy
Venues
- CoRR
- LICS
- CSL
- Description Logics
- J. Symb. Log.
- ACM Trans. Comput. Log.
- LPAR
- J. Log. Lang. Inf.
- ICALP (2)
- Theor. Comput. Sci.
- Stud Logica
- MFCS
- PODS
- STACS
- IJCAI
- ICALP
- J. Log. Comput.
- DBPL
- Inf. Process. Lett.
- FCT
- IEEE Trans. Knowl. Data Eng.
- Log. Methods Comput. Sci.
- J. Comput. Syst. Sci.
- CONCUR
- Math. Log. Q.
- GandALF
- FoSSaCS
- DLT
- AAAI
- J. ACM
- J. Artif. Intell. Res.
- Notre Dame J. Formal Log.
- FroCoS
- IJCAR
- FOGA
- Correct Reasoning
- Log. J. IGPL
- Int. J. Comput. Sci. Appl.
- WoLLIC
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend