COUNTER EXAMPLES
Experts
- Torsten Schaub
- Martin Gebser
- Giovanni Amendola
- Carmine Dodaro
- Francesco Ricca
- Gerhard Brewka
- Benjamin Kaufmann
- Johannes Klaus Fichte
- Mario Alviano
- Wolfgang Faber
- Maurizio Proietti
- Alberto Pettorossi
- Tran Cao Son
- Francesca Toni
- Enrico Pontelli
- Miroslaw Truszczynski
- Markus Hecher
- Dirk Vermeir
- Nicola Leone
- Thomas Eiter
- Alessandro Provetti
- Yuliya Lierler
- Marcello Balduccini
- Sarah Alice Gaggl
- Davy Van Nieuwenborgh
- Claudia Schulz
- Danny De Schreye
- Roland Kaminski
- Vladimir Lifschitz
- María Alpuente
- Jean-Louis Lassez
- Javier Romero
- Alberto Martelli
- Dominik Rusovac
- Daniele Theseider Dupré
- Maurice Bruynooghe
- Stefania Costantini
- Moreno Falaschi
- Axel Polleres
Venues
- CoRR
- LPNMR
- ICLP
- Theory Pract. Log. Program.
- AAAI
- LOPSTR
- IJCAI
- ICLP (Technical Communications)
- LA-NMR
- ECAI
- Answer Set Programming
- Electron. Notes Theor. Comput. Sci.
- J. Log. Program.
- ASIAN
- JELIA
- ACM Trans. Comput. Log.
- FSTTCS
- Artif. Intell.
- KBCS
- CILC
- New Gener. Comput.
- ILPS
- PADL
- TACAS
- J. Artif. Intell. Res.
- APPIA-GULP-PRODE
- PEPM
- ISMIS
- LREC
- ACM Comput. Surv.
- ML
- Dagstuhl Seminar on Partial Evaluation
- Libr. Trends
- Comput. Complex.
- KI
- ACM Trans. Embed. Comput. Syst.
- Stat. Comput.
- PLoS Comput. Biol.
- J. Mach. Learn. Res.
Related Topics
Related Keywords
Popularity