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

Presentations

Reading Tools
Partial-State Progression for Stream Reasoning with Metric Temporal Logic

de Leng, Heintz




Search conference