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