Knowledge Representation and Reasoning Conference
Sixteenth International Conference on Principles of Knowledge Representation and Reasoning

Presentations

Reading Tools
Symbolic Verification of Golog Programs with First-Order BDDs

Classen




Search conference