COUNTER EXAMPLES
Experts
- Torsten Schaub
- Francesco Ricca
- Martin Gebser
- Carmine Dodaro
- Giovanni Amendola
- Gerhard Brewka
- Benjamin Kaufmann
- Johannes Klaus Fichte
- Wolfgang Faber
- Mario Alviano
- Alberto Pettorossi
- Tran Cao Son
- Maurizio Proietti
- Francesca Toni
- Markus Hecher
- Enrico Pontelli
- Dirk Vermeir
- Thomas Eiter
- Miroslaw Truszczynski
- Nicola Leone
- Sarah Alice Gaggl
- Davy Van Nieuwenborgh
- Alessandro Provetti
- Yuliya Lierler
- Marcello Balduccini
- Claudia Schulz
- Axel Polleres
- Vladimir Lifschitz
- Danny De Schreye
- Alberto Martelli
- Roland Kaminski
- María Alpuente
- Dominik Rusovac
- Maurice Bruynooghe
- Jean-Louis Lassez
- Stefania Costantini
- Germán Vidal
- Moreno Falaschi
- Laura Giordano
Venues
- CoRR
- LPNMR
- ICLP
- Theory Pract. Log. Program.
- AAAI
- LOPSTR
- IJCAI
- ICLP (Technical Communications)
- ECAI
- Electron. Notes Theor. Comput. Sci.
- LA-NMR
- Answer Set Programming
- JELIA
- J. Log. Program.
- ASIAN
- Artif. Intell.
- APPIA-GULP-PRODE
- PEPM
- LREC
- ACM Trans. Comput. Log.
- PADL
- ILPS
- TACAS
- FSTTCS
- KBCS
- ACM Comput. Surv.
- ISMIS
- New Gener. Comput.
- ML
- J. Artif. Intell. Res.
- CILC
- FLAIRS
- DMIN
- SLP
- Comput. Complex.
- NMR
- SANER
- Proc. ACM Program. Lang.
- IITSI
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend