EXISTENTIALLY QUANTIFIED
Experts
- Alberto Pettorossi
- Maurizio Proietti
- Marie-Laure Mugnier
- Michaël Thomazo
- Markus Krötzsch
- Jean-François Baget
- Sebastian Rudolph
- Germán Vidal
- María Alpuente
- David Carral
- Michael Codish
- Manuel V. Hermenegildo
- Pedro Cabalar
- Saumya K. Debray
- Maurice Bruynooghe
- Moreno Falaschi
- Ricardo Rocha
- Jan-Georg Smaus
- Salvatore Ruggieri
- Michel Leclère
- Sergio Greco
- Vladimir Lifschitz
- Paul A. Strooper
- Georg Gottlob
- Michael Hanus
- Dino Pedreschi
- Swan Rocher
- Ian J. Hayes
- Giorgio Levi
- Miroslaw Truszczynski
- Andy King
- Wlodzimierz Drabent
- Frédéric Mesnard
- Robert A. Kowalski
- Francisco Javier López-Fraguas
- Andreas Pieris
- Raghu Ramakrishnan
- Kewen Wang
- Danny De Schreye
Venues
- CoRR
- ICLP
- J. Log. Program.
- Theory Pract. Log. Program.
- IJCAI
- LOPSTR
- KR
- AAAI
- Theor. Comput. Sci.
- LPNMR
- Electron. Notes Theor. Comput. Sci.
- JELIA
- New Gener. Comput.
- ICDT
- SAS
- PODS
- Ann. Math. Artif. Intell.
- PLILP
- FGCS
- ICLP/SLP
- META
- Fundam. Informaticae
- ECAI
- ILPS
- PPDP
- APPIA-GULP-PRODE
- Datalog
- Artif. Intell.
- ACM Trans. Comput. Log.
- LPAR
- PADL
- JICSLP
- Description Logics
- LOPSTR (LNCS 2042: Selected Papers)
- J. Symb. Comput.
- ACM Trans. Program. Lang. Syst.
- Formal Aspects Comput.
- MFCS
- J. Comput. Sci. Technol.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend