Knowledge Representation and Reasoning Conference
Twelfth International Conference on the Principles of Knowledge Representation and Reasoning

Presentations

Reading Tools
A Decidable Class of Groundable Formulas in the General Theory of Stable Models

Bartholomew, Lee




Search conference