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