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