GUARDED FRAGMENT
Experts
- Lidia Tendera
- Emanuel Kieronski
- Carsten Lutz
- Martin Otto
- Frank Wolter
- Manfred Kufleitner
- Wieslaw Szwast
- Andreas Pieris
- Sebastian Rudolph
- Tomasz Gogacz
- Volker Diekert
- Jerzy Marcinkowski
- Ian Pratt-Hartmann
- Vince Bárány
- Georg Gottlob
- Jan Van den Bussche
- Jerzy Tyszkiewicz
- Fabio Papacchini
- André Hernich
- Reijo Jaakkola
- Pablo Barceló
- Jan Paredaens
- Gerald Berger
- Balder ten Cate
- Maarten Marx
- Sha Guo
- Noureddine Bouhmala
- Juhani Karhumäki
- Karel Culík II
- Antonín Kucera
- Saptarshi Sarkar
- Bharat Adsul
- Davide Bresolin
- Birte Glimm
- Boris Motik
- Jean Christoph Jung
- Dirk Leinders
- Manuel Bodirsky
- Jan Hidders
Venues
- CoRR
- LICS
- ACM Trans. Comput. Log.
- CSL
- J. Symb. Log.
- Description Logics
- Theor. Comput. Sci.
- LPAR
- Stud Logica
- J. Log. Lang. Inf.
- ICALP (2)
- MFCS
- ICALP
- STACS
- PODS
- IJCAI
- FoSSaCS
- AAAI
- Inf. Process. Lett.
- CONCUR
- J. Comput. Syst. Sci.
- DLT
- GandALF
- IEEE Trans. Knowl. Data Eng.
- J. Log. Comput.
- Math. Log. Q.
- DBPL
- FCT
- Log. Methods Comput. Sci.
- WoLLIC
- FoVeOOS
- Workshop on Deductive Databases, JICSLP
- Theory Comput. Syst.
- Reports Math. Log.
- Eng. Appl. Artif. Intell.
- ATVA
- SIAM J. Comput.
- Int. J. Found. Comput. Sci.
- ICDT
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend