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