PROPOSITIONAL THEORIES
Experts
- Alberto Pettorossi
- Maurizio Proietti
- Manuel V. Hermenegildo
- Vladimir Lifschitz
- Yan Zhang
- Yuliya Lierler
- Paolo Ferraris
- Pedro Cabalar
- Katsumi Inoue
- David Pearce
- Pedro López-García
- Agustín Valverde
- Torsten Schaub
- Michael Hanus
- Arne Meier
- Hans Tompits
- Miroslaw Truszczynski
- Saumya K. Debray
- Stefan Woltran
- Michael Codish
- James P. Delgrande
- Fangzhen Lin
- Maurice Bruynooghe
- Amelia Harrison
- Giorgio Levi
- Fabio Fioravanti
- Ilkka Niemelä
- Francisco Bueno
- Joxan Jaffar
- Luís Moniz Pereira
- Germán Puebla
- Antti Kuusisto
- Susumu Yamasaki
- Paolo Volpe
- Eyal Amir
- Robert Colvin
- Peter J. Stuckey
- Yasir Mahmood
- Andrei Stefanescu
Venues
- CoRR
- ICLP
- LOPSTR
- Artif. Intell.
- Theory Pract. Log. Program.
- IJCAI
- J. Symb. Log.
- LPNMR
- Log. J. IGPL
- J. Autom. Reason.
- Theor. Comput. Sci.
- J. Log. Program.
- Ann. Math. Artif. Intell.
- J. Log. Comput.
- PLILP
- ILPS
- ILP
- ACM Trans. Comput. Log.
- APPIA-GULP-PRODE
- KR
- Inf. Comput.
- New Gener. Comput.
- Stud Logica
- Notre Dame J. Formal Log.
- ECAI
- Math. Log. Q.
- AAAI
- EPIA
- CADE
- ICLP (Technical Communications)
- Ann. Pure Appl. Log.
- SAC
- ACM Trans. Program. Lang. Syst.
- PADL
- Electron. Notes Theor. Comput. Sci.
- Synth.
- Fundam. Informaticae
- J. Appl. Non Class. Logics
- FGCS
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend