A Modeling Method and Declarative Language for Temporal Reasoning Based on Fluid Qualities

Matei Popovici, Mihnea Muraru, Alexandru Agache, Cristian Giumale, Lorina Negreanu, Ciprian Dobre. A Modeling Method and Declarative Language for Temporal Reasoning Based on Fluid Qualities. In Simon Andrews, Simon Polovina, Richard Hill, Babak Akhgar, editors, Conceptual Structures for Discovering Knowledge - 19th International Conference on Conceptual Structures, ICCS 2011, Derby, UK, July 25-29, 2011. Proceedings. Volume 6828 of Lecture Notes in Computer Science, pages 215-228, Springer, 2011. [doi]

Abstract

Abstract is missing.