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