STRONG EQUIVALENCE
Experts
- Stefan Woltran
- Vladimir Lifschitz
- Danny De Schreye
- Hans Tompits
- Pedro Cabalar
- Germán Vidal
- Miroslaw Truszczynski
- Wolfgang Faber
- Giorgio Levi
- David Pearce
- Maurizio Proietti
- Thomas Eiter
- Torsten Schaub
- Alberto Pettorossi
- Chiaki Sakama
- Michael Hanus
- Manuel V. Hermenegildo
- Jorge Fandinno
- Maurice Bruynooghe
- Ricardo Rocha
- Luís Moniz Pereira
- Jia-Huai You
- Nicola Leone
- Katsumi Inoue
- José Júlio Alferes
- Jan-Georg Smaus
- Michael Codish
- Joohyung Lee
- Frédéric Mesnard
- Stefania Costantini
- Saumya K. Debray
- Ringo Baumann
- María Alpuente
- Tomi Janhunen
- Yuliya Lierler
- Michael Fink
- Michael Morak
- Leila Amgoud
- Panos Rondogiannis
Venues
- CoRR
- ICLP
- Theory Pract. Log. Program.
- J. Log. Program.
- LPNMR
- LOPSTR
- IJCAI
- Theor. Comput. Sci.
- AAAI
- JELIA
- KR
- Artif. Intell.
- New Gener. Comput.
- Ann. Math. Artif. Intell.
- Electron. Notes Theor. Comput. Sci.
- PLILP
- COMMA
- ECAI
- ILPS
- FGCS
- SAS
- Answer Set Programming
- ACM Trans. Comput. Log.
- APPIA-GULP-PRODE
- PADL
- J. Log. Comput.
- Fundam. Informaticae
- ACM Trans. Program. Lang. Syst.
- ICLP (Technical Communications)
- PPDP
- NACLP
- ICLP/SLP
- JICSLP
- Inf. Process. Lett.
- ECSQARU
- J. Artif. Intell. Res.
- AADEBUG
- Int. J. Approx. Reason.
- ALP
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend