UNIVERSALLY QUANTIFIED
Experts
- Giuseppe De Giacomo
- Martina Seidl
- Yves Lespérance
- Mikhail Soutchanski
- Armando Tacchella
- Manuel Kauers
- Fabio Patrizi
- Luca Pulina
- Adrian R. Pearce
- Hans Kleine Büning
- Gerhard Lakemeyer
- Maurice Pagnucco
- Sebastian Sardiña
- Jean-François Baget
- Armin Biere
- Stefan Woltran
- John Slaney
- Mikhail N. Rybakov
- Vitaliy Batusov
- Bernd Becker
- Michel Leclère
- Eugenia Ternovskaia
- Maurizio Proietti
- Marie-Laure Mugnier
- Alberto Pettorossi
- Florian Lonsing
- Raymond Reiter
- Hector J. Levesque
- Dmitry Shkatov
- Andrey Rybalchenko
- Bruno Woltzenlogel Paleo
- Leroy Chew
- Víctor Dalmau
- Yongmei Liu
- Robert Demolombe
- Ryan F. Kelly
- Yilan Gu
- Marco Voigt
- Marek Karpinski
Venues
- CoRR
- IJCAI
- SAT
- KR
- Artif. Intell.
- CP
- Electron. Notes Theor. Comput. Sci.
- AAAI
- J. Symb. Log.
- AAMAS
- Am. Math. Mon.
- Ann. Math. Artif. Intell.
- J. Philos. Log.
- Constraints An Int. J.
- J. Log. Comput.
- CSL
- QBF@SAT
- ACM Trans. Comput. Log.
- LPNMR
- EGC
- Notre Dame J. Formal Log.
- J. Comb. Theory, Ser. A
- J. Autom. Reason.
- Inf. Process. Lett.
- Discret. Math.
- ICLP
- Stud Logica
- Ann. Pure Appl. Log.
- Electron. Colloquium Comput. Complex.
- Theor. Comput. Sci.
- ISSAC
- LICS
- CSCLP
- J. Comput. Appl. Math.
- WoLLIC
- Description Logics
- SYNASC
- FMCAD
- Fundam. Informaticae
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend