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