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