HORN CONTRACTION
Experts
- Zhiqiang Zhuang
- Maurice Pagnucco
- Renata Wassermann
- Kewen Wang
- Richard Booth
- Pierre Marquis
- Zhe Wang
- Zhi Qiang Zhuang
- Thomas Andreas Meyer
- Ivan José Varzinczak
- Faiq Miftakhul Falakh
- James P. Delgrande
- Kai Sauerwald
- Odile Papini
- Hans Rott
- Sebastian Rudolph
- Sven Ove Hansson
- Ringo Baumann
- Sébastien Konieczny
- Gerhard Brewka
- Guilin Qi
- Masanobu Toyooka
- Abhaya C. Nayak
- György Turán
- Raïda Ktari
- Nikolaj Bjørner
- Leonardo Mendonça de Moura
- John N. Hooker
- Balázs Szörényi
- Nadia Creignou
- Michael Mendler
- Robert H. Sloan
- Thomas Caridroit
- Kira V. Adaricheva
- Gerald Lüttgen
- Witold Lukaszewicz
- George Loizou
- Gavin Rens
- Dragan Doder
Venues
- CoRR
- KR
- IJCAI
- ECAI
- J. Symb. Log.
- J. Philos. Log.
- JELIA
- Stud Logica
- J. Artif. Intell. Res.
- J. Log. Lang. Inf.
- Int. J. Approx. Reason.
- J. Log. Comput.
- Arch. Math. Log.
- Inf. Process. Lett.
- FCR@KI
- Synth.
- AAAI
- STACS
- Inf. Comput.
- Ann. Math. Artif. Intell.
- J. ACM
- MFCS
- Int. J. Comput. Math.
- FUZZ-IEEE
- Minds Mach.
- DaLí
- ACM Trans. Database Syst.
- Fundam. Informaticae
- NMR
- Australasian Conference on Artificial Intelligence
- J. Autom. Reason.
- 计算机科学
- IEEE Trans. Computers
- LPAR (Yogyakarta)
- DARe@IJCAI
- Inf.
- Artif. Intell.
- LENLS
- FORTE
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend