FLUENT CALCULUS
Experts
- Giuseppe De Giacomo
- Yves Lespérance
- Hector J. Levesque
- Michael Thielscher
- Gerhard Lakemeyer
- Peter D. Mosses
- Mikhail Soutchanski
- Raymond Reiter
- Fabio Patrizi
- Robert Demolombe
- Adrian R. Pearce
- Sebastian Sardiña
- Maurice Pagnucco
- Yongmei Liu
- Javier Pinto
- Laura Giordano
- Vaishak Belle
- Daniele Theseider Dupré
- Alberto Martelli
- Thomas Lukasiewicz
- Vitaliy Batusov
- Steffen Hölldobler
- Stavros Vassos
- Christoph Schwering
- Hans-Peter Störr
- Ioan Salomie
- Rob Miller
- Paulo Mateus
- Chitta Baral
- Ryan F. Kelly
- John-Jules Ch. Meyer
- Viorica R. Chifu
- Andreas Herzig
- Eugenia Ternovskaia
- Alfredo Gabaldon
- Fahiem Bacchus
- Fiora Pirri
- Joseph Y. Halpern
- Paolo Felli
Venues
- CoRR
- IJCAI
- KR
- Artif. Intell.
- AAAI
- ECAI
- Stud Logica
- AAMAS
- J. Log. Comput.
- ISMIS
- Ann. Math. Artif. Intell.
- MFPS
- AAAI/IAAI
- Sci. Comput. Program.
- POPL
- Notre Dame J. Formal Log.
- EPIA
- Description Logics
- MFCS
- SIGCSE
- Electron. Trans. Artif. Intell.
- Australasian Conference on Artificial Intelligence
- Fundam. Informaticae
- CILC
- ESOP
- Commun. ACM
- Acta Informatica
- Computational Logic
- J. Log. Lang. Inf.
- J. ACM
- Electron. Notes Theor. Comput. Sci.
- ACM Trans. Comput. Log.
- LPAR
- Theor. Comput. Sci.
- International Sympoisum on Theoretical Programming
- CTCS
- LPNMR
- UAI
- ACM SIGPLAN Notices
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend