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