𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2008 15th International Symposium on Temporal Representation and Reasoning (TIME) - Montreal, Quebec, Canada (2008.06.16-2008.06.18)] 2008 15th International Symposium on Temporal Representation and Reasoning - Temporal Description Logics: A Survey

✍ Scribed by Lutz, Carsten; Wolter, Frank; Zakharyaschev, Michael

Book ID: 121283720
Publisher: IEEE
Year: 2008
Weight: 335 KB
Category: Article
ISBN: 0769531814
DOI: 10.1109/TIME.2008.14

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2008 15th International Symposium

[IEEE 2008 15th International Symposium on Temporal Representation and Reasoning (TIME) - Montreal, Quebec, Canada (2008.06.16-2008.06.18)] 2008 15th International Symposium on Temporal Representation and Reasoning - Time Aware Mining of Itemsets

✍ Saleh, Bashar; Masseglia, Florent 📂 Article 📅 2008 🏛 IEEE ⚖ 277 KB

[IEEE 2008 15th International Symposium

[IEEE 2008 15th International Symposium on Temporal Representation and Reasoning (TIME) - Montreal, Quebec, Canada (2008.06.16-2008.06.18)] 2008 15th International Symposium on Temporal Representation and Reasoning - A Greedy Approach Towards Parsimonious Temporal Aggregation

✍ Gordevicius, Juozas; Gamper, Johann; B, Michael 📂 Article 📅 2008 🏛 IEEE ⚖ 632 KB

[IEEE 2008 15th International Symposium

[IEEE 2008 15th International Symposium on Temporal Representation and Reasoning (TIME) - Montreal, Quebec, Canada (2008.06.16-2008.06.18)] 2008 15th International Symposium on Temporal Representation and Reasoning - Topology-based Variable Ordering Strategy for Solving Disjunctive Temporal Problems

✍ Liu, Yuechang; Jiang, Yunfei; Qian, Hong 📂 Article 📅 2008 🏛 IEEE ⚖ 460 KB

[IEEE Thirteenth International Symposium

[IEEE Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06) - Budapest, Hungary (2006.06.15-2006.06.17)] Thirteenth International Symposium on Temporal Representation and Reasoning (TIME'06) - Formal Verification of an Optimistic Concurrency Control Algorithm using SPIN

✍ Makni, A.; Bouaziz, R.; Gargouri, F. 📂 Article 📅 2006 🏛 IEEE 🌐 English ⚖ 222 KB

[IEEE 2011 Eighteenth International Symp

[IEEE 2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME) - L beck , Germany (2011.09.12-2011.09.14)] 2011 Eighteenth International Symposium on Temporal Representation and Reasoning - On Relaxing Metric Information in Linear Temporal Logic

✍ Furia, Carlo A.; Spoletini, Paola 📂 Article 📅 2011 🏛 IEEE ⚖ 264 KB

[IEEE Proceedings. 11th International Sy

[IEEE Proceedings. 11th International Symposium on Temporal Representation and Reasoning, 2004. TIME 2004. - Tatihou, Normandie, France (2004.07.3-2004.07.3)] Proceedings. 11th International Symposium on Temporal Representation and Reasoning, 2004. TIME 2004. - Probabilistic temporal interval networks

✍ Ryabov, V.; Trudel, A. 📂 Article 📅 2004 🏛 IEEE ⚖ 239 KB