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
- Adrian R. Pearce
- Robert Demolombe
- Sebastian Sardiña
- Maurice Pagnucco
- Javier Pinto
- Yongmei Liu
- Daniele Theseider Dupré
- Laura Giordano
- Alberto Martelli
- Vaishak Belle
- Vitaliy Batusov
- Thomas Lukasiewicz
- Stavros Vassos
- Christoph Schwering
- Hans-Peter Störr
- Steffen Hölldobler
- Andreas Herzig
- Fahiem Bacchus
- Ioan Salomie
- Chitta Baral
- Joseph Y. Halpern
- Paulo Mateus
- Eugenia Ternovskaia
- Ryan F. Kelly
- Fiora Pirri
- Rob Miller
- Alfredo Gabaldon
- Viorica R. Chifu
- John-Jules Ch. Meyer
- Daniele Nardi
Venues
- CoRR
- IJCAI
- KR
- Artif. Intell.
- AAAI
- ECAI
- Stud Logica
- AAMAS
- ISMIS
- Ann. Math. Artif. Intell.
- J. Log. Comput.
- MFPS
- Notre Dame J. Formal Log.
- POPL
- Sci. Comput. Program.
- AAAI/IAAI
- Description Logics
- Electron. Trans. Artif. Intell.
- Acta Informatica
- J. ACM
- ESOP
- Commun. ACM
- Computational Logic
- MFCS
- EPIA
- SIGCSE
- CILC
- Fundam. Informaticae
- J. Log. Lang. Inf.
- Australasian Conference on Artificial Intelligence
- Rev. Symb. Log.
- Electron. Notes Theor. Comput. Sci.
- Program. Comput. Softw.
- CLIMA
- LA-NMR
- IEA/AIE
- TARK
- LPNMR
- COMMONSENSE
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend