HORN CONTRACTION
Experts
- Zhiqiang Zhuang
- Renata Wassermann
- Maurice Pagnucco
- Kewen Wang
- Thomas Andreas Meyer
- Pierre Marquis
- Zhi Qiang Zhuang
- Zhe Wang
- Richard Booth
- Ivan José Varzinczak
- James P. Delgrande
- Faiq Miftakhul Falakh
- Kai Sauerwald
- Odile Papini
- Hans Rott
- Sebastian Rudolph
- György Turán
- Sven Ove Hansson
- Nadia Creignou
- Leonardo Mendonça de Moura
- Michael Mendler
- Gerald Lüttgen
- Ringo Baumann
- Guilin Qi
- John N. Hooker
- Sébastien Konieczny
- Abhaya C. Nayak
- Robert H. Sloan
- Thomas Caridroit
- Balázs Szörényi
- Raïda Ktari
- Nikolaj Bjørner
- Masanobu Toyooka
- Gerhard Brewka
- Kira V. Adaricheva
- Márcio Moretto Ribeiro
- Marc van Zee
- Gopal Gupta
- Michal Korpusik
Venues
- CoRR
- ECAI
- KR
- IJCAI
- JELIA
- Stud Logica
- J. Artif. Intell. Res.
- J. Symb. Log.
- J. Philos. Log.
- J. Log. Lang. Inf.
- Int. J. Approx. Reason.
- J. Log. Comput.
- Inf. Comput.
- Inf. Process. Lett.
- Synth.
- STACS
- FCR@KI
- Arch. Math. Log.
- AAAI
- MFCS
- AAECC
- IJCSLP
- ACM Trans. Comput. Log.
- Inf.
- Int. J. Comput. Math.
- Australasian Conference on Artificial Intelligence
- ECSQARU
- TARK
- FORTE
- Ann. Math. Artif. Intell.
- ACM Trans. Database Syst.
- FUZZ-IEEE
- IJCAR
- Reports Math. Log.
- Minds Mach.
- Math. Log. Q.
- AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning
- Fundam. Informaticae
- IEEE Trans. Computers
Related Topics
Related Keywords
Popularity