Guarded Ord-Horn: A Tractable Fragment of Quantified Constraint Satisfaction

Tytuł:
Guarded Ord-Horn: A Tractable Fragment of Quantified Constraint Satisfaction
Czasopismo:
19TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING
Rok:
2012

Opis:
19th International Symposium on Temporal Representation and Reasoning, TIME 2012, Leicester, United Kingdom, September 12-14, 2012

Strony:
99--106