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
- Michael Codish
- Pedro Cabalar
- David Carral
- Manuel V. Hermenegildo
- Moreno Falaschi
- Maurice Bruynooghe
- Saumya K. Debray
- Sergio Greco
- Ricardo Rocha
- Jan-Georg Smaus
- Michel Leclère
- Salvatore Ruggieri
- Vladimir Lifschitz
- Ian J. Hayes
- Andy King
- Swan Rocher
- Giorgio Levi
- Frédéric Mesnard
- Michael Hanus
- Miroslaw Truszczynski
- Dino Pedreschi
- Wlodzimierz Drabent
- Paul A. Strooper
- Georg Gottlob
- Robert A. Kowalski
- Petr Stepánek
- Valerio Senni
- Ginés Moreno
- David Pearce
- José Júlio Alferes
Venues
- CoRR
- ICLP
- J. Log. Program.
- IJCAI
- Theory Pract. Log. Program.
- LOPSTR
- KR
- Theor. Comput. Sci.
- JELIA
- Electron. Notes Theor. Comput. Sci.
- AAAI
- LPNMR
- ICDT
- New Gener. Comput.
- SAS
- PODS
- Ann. Math. Artif. Intell.
- Fundam. Informaticae
- ICLP/SLP
- PLILP
- FGCS
- META
- Datalog
- ECAI
- Artif. Intell.
- ILPS
- APPIA-GULP-PRODE
- ACM Trans. Comput. Log.
- PPDP
- LPAR
- PADL
- JICSLP
- Description Logics
- LOPSTR (LNCS 2042: Selected Papers)
- Mach. Learn.
- SLP
- TAPSOFT, Vol.2
- Int. J. Knowl. Based Intell. Eng. Syst.
- J. ACM
Related Topics
Related Keywords
Popularity