PROPOSITIONAL VARIABLES
Experts
- Michael J. Wooldridge
- Lluís Godo
- Luís Moniz Pereira
- Enrico Pontelli
- Dale Miller
- Ekaterina Komendantskaya
- Evelina Lamma
- Teresa Alsinet
- Agostino Dovier
- Alberto Martelli
- Paul Harrenstein
- José Júlio Alferes
- Valentin Goranko
- Jonni Virtema
- Andrea Omicini
- Dov M. Gabbay
- Laura Giordano
- Jérôme Lang
- Jeffrey B. Remmel
- Roberta Calegari
- Paola Mello
- Gopal Gupta
- Miika Hannula
- Dmitry Shkatov
- Mario Rodríguez-Artalejo
- Paul Tarau
- Katsuhiko Sano
- Antti Kuusisto
- Verónica Dahl
- Vítor Santos Costa
- Fan Yang
- Enrico Denti
- Manuel V. Hermenegildo
- Jesús Medina
- Fabrizio Riguzzi
- Mikhail N. Rybakov
- Paolo Turrini
- Gopalan Nadathur
- Matthias Baaz
Venues
- CoRR
- ICLP
- Theory Pract. Log. Program.
- Stud Logica
- J. Log. Comput.
- Theor. Comput. Sci.
- Notre Dame J. Formal Log.
- J. Log. Program.
- LPNMR
- Math. Log. Q.
- IJCAI
- Log. J. IGPL
- J. Symb. Log.
- Inf. Comput.
- FGCS
- Advances in Modal Logic
- Electron. Notes Theor. Comput. Sci.
- Fuzzy Sets Syst.
- JELIA
- ILPS
- ELP
- Fundam. Informaticae
- CSL
- SLP
- ECAI
- AAMAS
- New Gener. Comput.
- Ann. Pure Appl. Log.
- LOPSTR
- FLOPS
- JICSLP
- J. Autom. Reason.
- ICLP (Technical Communications)
- Artif. Intell.
- POPL
- Int. J. Approx. Reason.
- Ann. Math. Artif. Intell.
- TABLEAUX
- PADL
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend