LTL realizability via safety and reachability games
- Alberto Camacho
- Christian Muise
- et al.
- 2018
- IJCAI 2018
Publications
Date
Featured collections
Popular topics
19 results at IJCAI 2018
Attributed description logics: Reasoning on knowledge graphs
- Markus Krötzsch
- Maximilian Marx
- et al.
- 2018
- IJCAI 2018
GraspNet: An efficient convolutional neural network for real-time grasp detection for low-powered devices
- Umar Asif
- Jianbin Tang
- et al.
- 2018
- IJCAI 2018
A local algorithm for product return prediction in E-commerce
- Yada Zhu
- Jianbo Li
- et al.
- 2018
- IJCAI 2018
Weakly supervised audio source separation via spectrum energy preserved Wasserstein learning
- Ning Zhang
- Junchi Yan
- et al.
- 2018
- IJCAI 2018
Computational social choice meets databases
- Benny Kimelfeld
- Phokion G. Kolaitis
- et al.
- 2018
- IJCAI 2018
On the convergence properties of a k-step averaging stochastic gradient descent algorithm for nonconvex optimization
- Fan Zhou
- Guojing Cong
- 2018
- IJCAI 2018
Pairwise-ranking based collaborative recurrent neural networks for clinical event prediction
- Zhi Qiao
- Shiwan Zhao
- et al.
- 2018
- IJCAI 2018
Drug similarity integration through attentive multi-view graph auto-encoders
- Tengfei Ma
- Cao Xiao
- et al.
- 2018
- IJCAI 2018