FIXPOINT SEMANTICS
Experts
- Carlo Zaniolo
- Marc Denecker
- Luís Moniz Pereira
- Jia-Huai You
- Giorgio Levi
- Panos Rondogiannis
- Annalisa Bossi
- Maurizio Proietti
- Alberto Pettorossi
- Bernardo Cuenca Grau
- Irène Guessarian
- Nicola Leone
- Martin Lange
- José Júlio Alferes
- Ian Horrocks
- Egor V. Kostylev
- Yde Venema
- Boris Motik
- Sergio Greco
- Mark Kaminski
- Maurizio Martelli
- Michael Hanus
- Thomas Eiter
- Moshe Y. Vardi
- Mauricio Osorio
- Sandro Etalle
- Naoki Kobayashi
- V. S. Subrahmanian
- Luciano Caroprese
- Allen Van Gelder
- Bart Bogaerts
- Joost Vennekens
- Ester Zumpano
- Pierre Bourhis
- Maurizio Gabbrielli
- Kewen Wang
- Maurice Bruynooghe
- Dietmar Seipel
- Ofer Arieli
Venues
- CoRR
- ICLP
- Theor. Comput. Sci.
- J. Log. Program.
- Theory Pract. Log. Program.
- PODS
- IJCAI
- LICS
- Electron. Notes Theor. Comput. Sci.
- LPNMR
- J. Log. Comput.
- LOPSTR
- Fundam. Informaticae
- Inf. Process. Lett.
- KR
- J. Comput. Syst. Sci.
- AAAI
- ACM Trans. Comput. Log.
- DOOD
- FGCS
- CSL
- APPIA-GULP-PRODE
- Artif. Intell.
- New Gener. Comput.
- Inf. Comput.
- J. Autom. Reason.
- IEEE Trans. Knowl. Data Eng.
- Proc. ACM Program. Lang.
- Ann. Math. Artif. Intell.
- SAC
- ALP
- ICDT
- ILPS
- FICS
- Log. Methods Comput. Sci.
- PPDP
- JFPLC
- ICDE
- WLP
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend