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