Lifted search engines for satisfiability

Two approaches to efficient open-world reasoning

Logic-based artificial intelligence

First-order logic Davis-Putnam-Logemann-Loveland procedure

Exploring artificial intelligence in the new millennium

Predicate-calculus-based logics for modeling and solving search problems

ACM Transactions on Computational Logic (TOCL)

The model evolution calculus as a first-order DPLL method

Artificial Intelligence

Generalizing Boolean satisfiability I: background and survey of existing work

Journal of Artificial Intelligence Research

Bayesian logic networks and the search for samples with backward simulation and abstract constraint learning

KI'11 Proceedings of the 34th Annual German conference on Advances in artificial intelligence