PROCEDURAL SEMANTICS
Experts
- Luís Moniz Pereira
- Evelina Lamma
- Enrico Pontelli
- Michael Hanus
- Mario Rodríguez-Artalejo
- José Júlio Alferes
- Agostino Dovier
- Fabrizio Riguzzi
- Gopal Gupta
- Andrea Omicini
- Roberta Calegari
- Vítor Santos Costa
- Ekaterina Komendantskaya
- Dale Miller
- Andrea Formisano
- Germán Vidal
- Luc De Raedt
- Paul Tarau
- Paola Mello
- Robert A. Kowalski
- Angelika Kimmig
- Panos Rondogiannis
- Teodor C. Przymusinski
- Mehmet A. Orgun
- Laura Giordano
- Manuel V. Hermenegildo
- Keehang Kwon
- Rafael del Vado Vírseda
- Nicola Leone
- David Scott Warren
- V. S. Subrahmanian
- Stefania Costantini
- Peter Vojtás
- Thomas Eiter
- Damiano Azzolini
- Koichi Furukawa
- William W. Wadge
- Michael Gelfond
- Enrico Denti
Venues
- CoRR
- ICLP
- Theory Pract. Log. Program.
- J. Log. Program.
- PADL
- LPNMR
- SLP
- ELP
- Theor. Comput. Sci.
- ILPS
- ICLP (Technical Communications)
- New Gener. Comput.
- IJCAI
- FGCS
- WLP
- APPIA-GULP-PRODE
- JICSLP
- Fuzzy Sets Syst.
- JELIA
- Ann. Math. Artif. Intell.
- Electron. Notes Theor. Comput. Sci.
- LOPSTR
- SEKE
- ALP
- PLILP
- J. Log. Comput.
- Int. J. Approx. Reason.
- LPE
- AIMSA
- IFIP Congress
- ALPUK
- FLAIRS Conference
- Fundam. Informaticae
- POPL
- NACLP
- RCLP
- Knowl. Eng. Rev.
- IEEE Trans. Knowl. Data Eng.
- CILC
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend