HORN CONTRACTION
Experts
- Zhiqiang Zhuang
- Maurice Pagnucco
- Renata Wassermann
- Kewen Wang
- Pierre Marquis
- Zhi Qiang Zhuang
- Zhe Wang
- Richard Booth
- Ivan José Varzinczak
- Thomas Andreas Meyer
- Kai Sauerwald
- Odile Papini
- James P. Delgrande
- Faiq Miftakhul Falakh
- Hans Rott
- Sebastian Rudolph
- Robert H. Sloan
- Nikolaj Bjørner
- John N. Hooker
- Balázs Szörényi
- Leonardo Mendonça de Moura
- Gerhard Brewka
- Sébastien Konieczny
- Ringo Baumann
- Sven Ove Hansson
- Raïda Ktari
- György Turán
- Abhaya C. Nayak
- Masanobu Toyooka
- Guilin Qi
- Kira V. Adaricheva
- Thomas Caridroit
- Gerald Lüttgen
- Michael Mendler
- Nadia Creignou
- José M. Méndez
- Sebastian Binnewies
- Katsuhiko Sano
- Romà J. Adillon
Venues
- CoRR
- IJCAI
- ECAI
- KR
- Stud Logica
- JELIA
- J. Artif. Intell. Res.
- J. Symb. Log.
- J. Philos. Log.
- J. Log. Lang. Inf.
- Int. J. Approx. Reason.
- J. Log. Comput.
- Inf. Process. Lett.
- Synth.
- FCR@KI
- STACS
- Inf. Comput.
- AAAI
- Arch. Math. Log.
- DARe@IJCAI
- ACM Trans. Comput. Log.
- AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning
- FORTE
- Cogn. Sci.
- IJCAR
- CONCUR
- AAECC
- Math. Log. Q.
- IJCSLP
- MFDBS
- Artif. Intell.
- Log. J. IGPL
- Reports Math. Log.
- Ann. Math. Artif. Intell.
- ISKE
- ECSQARU
- RuleML+RR
- TARK
- J. ACM
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend