Co-occurring keywords · papers mentioning both
Papers
Proving Semantic Properties as First-Order Satisfiability (Extended Abstract)
IJCAI 2020
Do We Need Many-valued Logics for Incomplete Information?
IJCAI 2019
Computational Social Choice Meets Databases
IJCAI 2018
Ontology-Based Data Access: A Survey
IJCAI 2018
An Exact Approach to Learning Probabilistic Relational Model
PGM 2016