Reasoning with Time Intervals: A Logical and Computational Perspective

<table>Expressively different fragments of <svg height="14.4" id="M181" style="vertical-align:-0.23206pt" version="1.1" viewbox="0 0 69.712502 14.4" width="69.712502" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,0,0,-.017,.062,14.05)"><path d="M599 650l-18 -160l-30 -2q-2 70 -11 94q-5 16 -26 24t-75 8h-94q-27 0 -33.5 -6.5t-12.5 -32.5l-43 -226h108q52 0 72.5 5t31 18t28.5 52h28l-40 -200h-28q-1 42 -6 56.5t-24.5 21t-70.5 6.5h-108l-32 -177q-13 -65 1 -80.5t88 -22.5l-8 -28h-279l6 28q61 5 77.5 20.5
t29.5 81.5l72 387l7.5 40.5t1 26.5t-4 18t-15.5 10t-24 6t-37 4l8 28h461z" id="x1D439"></path></g><g transform="matrix(.017,0,0,-.017,10.636,14.05)"><path d="M745 361q0 -166 -116 -272t-291 -106q-136 0 -225.5 83t-89.5 218q0 161 115.5 272t288.5 111q137 0 227.5 -83t90.5 -223zM643 359q0 126 -56 199.5t-167 73.5q-130 0 -213.5 -104t-83.5 -246q0 -117 58 -190.5t165 -73.5q91 0 160.5 52t103 128.5t33.5 160.5z" id="x1D442"></path></g><g transform="matrix(.017,0,0,-.017,27.464,14.05)"><path d="M535 230h-212v-233h-58v233h-213v50h213v210h58v-210h212v-50z" id="x2B"></path></g><g transform="matrix(.017,0,0,-.017,41.216,14.05)"><path d="M346 674l289 -674h-96l-82 200h-249l-81 -200h-96l289 674h26zM239 274h188l-94 229z" id="x1D5A0"></path></g><g transform="matrix(.017,0,0,-.017,52.538,14.05)"><path d="M161 74h385l-18 -74h-454v662h87v-588z" id="x1D5AB"></path></g>
<g transform="matrix(.012,0,0,-.012,62.05,5.887)"><path d="M535 230h-212v-233h-58v233h-213v50h213v210h58v-210h212v-50z" id="x2B"></path></g>
</svg> in <svg height="11.175" id="M182" style="vertical-align:-0.0pt" version="1.1" viewbox="0 0 23.225 11.175" width="23.225" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,0,0,-.017,.062,11.113)"><path d="M495 163l30 -6q-19 -99 -36 -157h-453v28q63 5 77.5 20t14.5 78v400q0 63 -13 77t-75 19v28h261v-28q-61 -5 -74.5 -19t-13.5 -77v-395q0 -41 5 -59t18 -25q24 -13 96 -13q85 0 112 31q30 33 51 98z" id="x4C"></path></g><g transform="matrix(.017,0,0,-.017,9.293,11.113)"><path d="M135 536q-20 0 -35 15.5t-15 35.5q0 22 15 37t36 15t35.5 -15t14.5 -37q0 -21 -15 -36t-36 -15zM252 0h-220v26q48 5 59 17t11 63v206q0 47 -9 58t-54 18v24q78 12 142 39v-345q0 -51 11.5 -63t59.5 -17v-26z" id="x69"></path></g><g transform="matrix(.017,0,0,-.017,13.848,11.113)"><path d="M524 0h-209v26q44 5 55 18t11 65v167q0 114 -91 114q-50 0 -109 -51v-235q0 -50 10 -61.5t55 -16.5v-26h-217v26q51 5 62 17t11 61v206q0 47 -9.5 58.5t-50.5 19.5v23q82 15 139 40v-79l67 47q47 30 83 30q60 0 94.5 -40t34.5 -112v-193q0 -50 10 -61.5t54 -16.5v-26z
" id="x6E"></path></g>
</svg> and <svg height="12.4375" id="M183" style="vertical-align:-0.16379pt" version="1.1" viewbox="0 0 34.700001 12.4375" width="34.700001" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,0,0,-.017,.062,12.163)"><path d="M956 650v-28q-52 -7 -69 -22.5t-39 -77.5q-60 -175 -165 -533h-31l-175 499h-2l-163 -499h-31l-164 535q-18 60 -36 76.5t-65 21.5v28h243v-28q-53 -7 -63 -18.5t3 -49.5l122 -412h2l162 499h29l175 -500h2q87 277 113 401q12 45 0.5 59t-68.5 21v28h220z" id="x57"></path></g><g transform="matrix(.017,0,0,-.017,14.919,12.163)"><path d="M517 51v-25q-101 -18 -155 -38v65l-61 -36q-50 -29 -78 -29q-68 0 -126.5 58t-58.5 155q0 103 77 175.5t180 72.5q36 0 67 -12v143q0 48 -11.5 58.5t-65.5 14.5v25q79 9 156 34v-597q0 -38 7.5 -48t36.5 -13zM362 85v275q-35 51 -103 51q-20 0 -40.5 -8.5t-42 -28
t-35 -57.5t-13.5 -89q0 -83 42 -130t96 -47q51 0 96 34z" id="x64"></path></g><g transform="matrix(.017,0,0,-.017,23.895,12.163)"><path d="M135 536q-20 0 -35 15.5t-15 35.5q0 22 15 37t36 15t35.5 -15t14.5 -37q0 -21 -15 -36t-36 -15zM252 0h-220v26q48 5 59 17t11 63v206q0 47 -9 58t-54 18v24q78 12 142 39v-345q0 -51 11.5 -63t59.5 -17v-26z" id="x69"></path></g><g transform="matrix(.017,0,0,-.017,28.399,12.163)"><path d="M319 325l-25 -7q-33 99 -103 99q-29 0 -47 -19.5t-18 -49.5t22 -49.5t62 -36.5q63 -26 95 -57t32 -79q0 -64 -50 -101t-115 -37q-35 0 -67.5 10.5t-46.5 23.5q-5 11 -11 51t-6 67l27 5q14 -53 46.5 -88.5t75.5 -35.5q29 0 50 19.5t21 50.5t-19.5 51.5t-59.5 39.5
q-28 12 -46 22.5t-38.5 27t-30.5 38.5t-10 49q0 54 42.5 92t109.5 38q48 0 88 -18q6 -15 13 -50.5t9 -55.5z" id="x73"></path></g>
</svg>.</table>

International Scholarly Research Notices

fig2

Figure 2

Figure 2: Reasoning with Time Intervals: A Logical and Computational Perspective 