509 results on '"Angelo Montanari"'
Search Results
152. Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders.
153. A Decidable Spatial Generalization of Metric Interval Temporal Logic.
154. Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability.
155. From Entity Relationship to XML Schema: a Graph-Theoretic Approach (Extended Abstract).
156. Model Checking for Fragments of Halpern and Shoham's Interval Temporal Logic Based on Track Representatives.
157. Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison.
158. Undecidability of Interval Temporal Logics with the Overlap Modality.
159. Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths.
160. Games on Strings with a Limited Order Relation.
161. From Entity Relationship to XML Schema: A Graph-Theoretic Approach.
162. A Relational Encoding of a Conceptual Model with Multiple Temporal Dimensions.
163. A Tableau-Based System for Spatial Reasoning about Directional Relations.
164. A Decidable Spatial Logic with Cone-Shaped Cardinal Directions.
165. The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT.
166. The dark side of interval temporal logic: marking the undecidability border.
167. Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity.
168. An optimal tableau for Right Propositional Neighborhood Logic over Trees.
169. Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification.
170. Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders.
171. Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T.
172. An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic.
173. On the Equivalence of Automaton-Based Representations of Time Granularities.
174. On Decidability and Expressiveness of Propositional Interval Neighborhood Logics.
175. A Contraction Method to Decide MSO Theories of Deterministic Trees.
176. ChronoGeoGraph: an Expressive Spatio-Temporal Conceptual Model.
177. A Tool for the Visual Synthesis and the Logical Translation of Spatio-Temporal Conceptual Schemas.
178. The t4sql temporal query language.
179. Modeling and Validating Spatio-Temporal Conceptual Schemas in XML Schema.
180. Tableau Systems for Logics of Subinterval Structures over Dense Orderings.
181. An automaton-based approach to the verification of timed workflow schemas.
182. A Uniform Algebraic Characterization of Temporal Functional Dependencies.
183. Granular GeoGraph: a multi-granular conceptual model for spatial data.
184. An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures.
185. A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic.
186. Decidability of MSO Theories of Tree Structures.
187. Decidability of the Theory of the Totally Unbounded omega-Layered Structure.
188. Time Granularities and Ultimately Periodic Automata.
189. Definability and decidability of binary predicates for time granularity.
190. Towards Compact and Tractable Automaten-Based Representations of Time Granularities.
191. Binary Extensions of S1S and the Composition Method.
192. A General Tableau Method for Propositional Interval Temporal Logics.
193. Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers.
194. Metric propositional neighborhood logics on natural numbers.
195. Querying Data with Multiple Temporal Dimensions.
196. Decidability of Interval Temporal Logics over Split-Frames via Granularity.
197. Complexity of ITL model checking: some well-behaved fragments of the interval logic HS.
198. A Temporal Perspective on the Paradox of Pinocchio's Nose.
199. Calendars, Time Granularities, and Automata.
200. Data Models with Multiple Temporal Dimensions: Completing the Picture.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.