conftrace_

descriptive complexity

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

finite model theory (1) complexity class (1) logic programming (1) bayesian network (1) expressive power (1) first-order logic (1) knowledge representation (1)

Papers

Complexity and Expressive Power of Disjunction and Negation in Limit Datalog AAAI 2020 The Finite Model Theory of Bayesian Networks: Descriptive Complexity IJCAI 2018