AAAI Conference on Artificial Intelligence
Twenty-Fourth AAAI Conference on Artificial Intelligence

Presentations

Reading Tools
Decidable Fragments of First-Order Language Under Stable Model Semantics and Circumscription

Zhang, Ying




Search conference