Search results for "TIME"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Paolo Terenziani	Temporal Reasoning with Classes and Instances of Events.	TIME	2002	DBLP DOI BibTeX RDF	Temporal constraints between classes and instances of events, Prediction, Consistency, Inheritance
1	Paolo Terenziani, Carlo Carlini, Stefania Montani	Towards a Comprehensive Treatment of Temporal Constraints in Clinical Guidelines.	TIME	2002	DBLP DOI BibTeX RDF	repeated/periodic events, consistency checking, temporal constraints, query answering, clinical guidelines
1	David Toman 0001	Logical Data Expiration.	TIME	2002	DBLP DOI BibTeX RDF
1	Bruno Berstel	Extending the RETE Algorithm for Event Management.	TIME	2002	DBLP DOI BibTeX RDF
1	Tim Fernando	A Finite-State Approach to Event Semantics.	TIME	2002	DBLP DOI BibTeX RDF
1	Sebastian Bauer 0004, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev	On Non-Local Propositional and Local One-Variable Quantified CTL*.	TIME	2002	DBLP DOI BibTeX RDF
1	Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco	Indexed Flows in Temporal x Modal Logic with Functional Semantics.	TIME	2002	DBLP DOI BibTeX RDF
1	Jérémie Blanc, Rachid Echahed	On the Operational Semantics of Timed Rewrite Systems.	TIME	2002	DBLP DOI BibTeX RDF
1	Annika Hinze, Agnès Voisard	A Parameterized Algebra for Event Notification Services.	TIME	2002	DBLP DOI BibTeX RDF
1		9th International Symposium on Temporal Representation and Reasoning, TIME-2002, Manchester, UK, July 7-9, 2002	TIME	2002	DBLP BibTeX RDF
1	María Isabel Alfonso Galipienso, Federico Barber Sanchís	Representation and Reasoning with Disjunctive Temporal Constraints.	TIME	2002	DBLP DOI BibTeX RDF
1	John Thornton 0001, Matthew Beaumont, Abdul Sattar 0001, Michael J. Maher	Applying Local Search to Temporal Reasoning.	TIME	2002	DBLP DOI BibTeX RDF
1	Allan Ramsay	Temporal Views as Abstract Relations.	TIME	2002	DBLP DOI BibTeX RDF
1	Elena Camossi, Elisa Bertino, Giovanna Guerrini, Marco Mesiti	Evolution Specification of Multigranular Temporal Objects.	TIME	2002	DBLP DOI BibTeX RDF
1	Carsten Kleiner, Udo W. Lipeck	Performance of Querying Temporal Attributes in Object-Relational Databases.	TIME	2002	DBLP DOI BibTeX RDF	ORDBS, temporal datatypes, attribute time-stamping, user-defined index structures, physical design
1	André Trudel	Representing temporal interval relationships in a first order logic for time.	TIME	2001	DBLP DOI BibTeX RDF
1	Serge Haddad, Denis Poitrenaud	Checking Linear Temporal Formulas on Sequential Recursive Petri Nets.	TIME	2001	DBLP DOI BibTeX RDF
1	Ullrich Hustadt, Clare Dixon, Renate A. Schmidt, Michael Fisher 0001, John-Jules Ch. Meyer, Wiebe van der Hoek	Reasoning about agents in the KARO framework.	TIME	2001	DBLP DOI BibTeX RDF
1	Lina Khatib, Nicola Muscettola, Klaus Havelund	Mapping Temporal Planning Constraints into Timed Automata.	TIME	2001	DBLP DOI BibTeX RDF	Time in AI, Temporal Representation and Constraints, Scheduling, Model Checking, Validation, Planning, Timed Automata
1	Erik Sandewall	Cellular Ontology as a Basis for Spatiotemporal Reasoning.	TIME	2001	DBLP DOI BibTeX RDF
1	Fabio Grandi 0001, Federica Mandreoli	Effective Representation and Efficient Management of Indeterminate Dates.	TIME	2001	DBLP DOI BibTeX RDF
1	Benedikt Bollig, Martin Leucker	Deciding LTL over Mazurkiewicz Traces.	TIME	2001	DBLP DOI BibTeX RDF
1	Sergio Brandano	The Event Calculus Assessed.	TIME	2001	DBLP DOI BibTeX RDF
1	Elisa Bertino, Elena Ferrari, Giovanna Guerrini, Isabella Merlo	Navigating Through Multiple Temporal Granularity Objects.	TIME	2001	DBLP DOI BibTeX RDF
1	Silvana Badaloni, Massimiliano Giacomin, Claudio Masolo	Qualitative temporal representation and reasoning about points, intervals and durations.	TIME	2001	DBLP DOI BibTeX RDF
1	Francesca Rossi 0001, Alessandro Sperduti, Lina Khatib, Paul H. Morris, Robert A. Morris 0001	Learning preferences on temporal constraints: a preliminary report.	TIME	2001	DBLP DOI BibTeX RDF
1	Ivan T. Bowman, David Toman 0001	Optimizing Temporal Queries: Efficient Handling of Duplicates.	TIME	2001	DBLP DOI BibTeX RDF
1	Elisa Bertino, Tsz S. Cheng, Shashi K. Gadia, Giovanna Guerrini	A Linguistic Framework for Querying Dimensional Data.	TIME	2001	DBLP DOI BibTeX RDF
1	Peter Z. Revesz, Rui Chen, Min Ouyang	Approximate Query Evaluation Using Linear Constraint Databases.	TIME	2001	DBLP DOI BibTeX RDF
1	Alice ter Meulen, Hans Smessaert	Temporal reasoning with aspectual adverbs.	TIME	2001	DBLP DOI BibTeX RDF	ordinary English, aspectual adverbs, updating context, temporal reasoning, dynamic semantics
1	Vladimir Ryabov, Seppo Puuronen	Probabilistic Reasoning about Uncertain Relations between Temporal Points.	TIME	2001	DBLP DOI BibTeX RDF
1		Eigth International Symposium on Temporal Representation and Reasoning, TIME-01, Civdale del Friuli, Italy, June 14-16, 2001	TIME	2001	DBLP BibTeX RDF
1	George Logothetis, Klaus Schneider 0001	Symbolic Model Checking of Real-Time Systems.	TIME	2001	DBLP DOI BibTeX RDF
1	Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo	A Temporal Logic for reasoning about Timed Concurrent Constraint Programs.	TIME	2001	DBLP DOI BibTeX RDF
1	Tony Griffiths, Alvaro A. A. Fernandes, Nassima Djafri, Norman W. Paton	A Query Calculus for Spatio-Temporal Object Databases.	TIME	2001	DBLP DOI BibTeX RDF
1	Jef Wijsen, Alexis Bès	Temporal Tableau Queries.	TIME	2001	DBLP DOI BibTeX RDF
1	Luca Chittaro, Carlo Combi	Representation of Temporal Intervals and Relations: Information Visualization Aspects and their Evaluation.	TIME	2001	DBLP DOI BibTeX RDF
1	Edjard Mota	Reasoning about the Temporal Aspects of Interacting Agents.	TIME	2001	DBLP DOI BibTeX RDF
1	Yingjiu Li, Peng Ning, Xiaoyang Sean Wang, Sushil Jajodia	Discovering Calendar-based Temporal Association Rules.	TIME	2001	DBLP DOI BibTeX RDF
1	Peter Z. Revesz	Constraint Databases and Temporal Reasoning.	TIME	2001	DBLP BibTeX RDF
1	Bernhard Heinemann	About the Temporal Decrease of Sets.	TIME	2001	DBLP DOI BibTeX RDF
1	David Toman 0001	Expiration of Historical Databases.	TIME	2001	DBLP DOI BibTeX RDF
1	Pierre Wolper	Representing Periodic Temporal Information with Automata.	TIME	2001	DBLP DOI BibTeX RDF
1	Manolis Koubarakis	Spatiotemporal databases: Recent Achievements and Opportunities for Future Research.	TIME	2001	DBLP DOI BibTeX RDF
1	Markus Schaal, Hans-Joachim Lenz	Best Time and Content for Delay Notification.	TIME	2001	DBLP DOI BibTeX RDF
1	Patrick Blackburn, Valentin Goranko	Hybrid Ockhamist Temporal Logic.	TIME	2001	DBLP DOI BibTeX RDF
1	Vladimir Ryabov	Estimating Uncertain Relations between Indeterminate Points and Intervals.	TIME	2001	DBLP DOI BibTeX RDF
1	Benedikt Bollig, Martin Leucker	Modelling, Specifying, and Verifying Message Passing Systems.	TIME	2001	DBLP DOI BibTeX RDF
1	Barbara Oliboni, Elisa Quintarelli, Letizia Tanca	Temporal aspects of semistructured data.	TIME	2001	DBLP DOI BibTeX RDF
1	Tiberiu Stratulat, Françoise Clérin-Debart, Patrice Enjalbert	Temporal Reasoning: An Application to Normative Systems.	TIME	2001	DBLP DOI BibTeX RDF
1	Bart Kuijpers, Jan Paredaens, Dirk Van Gucht	Towards a Theory of Movie Database Queries.	TIME	2000	DBLP DOI BibTeX RDF	query languages, spatio-temporal databases
1	Diana Cukierman, James P. Delgrande	A Formalization of Structured Temporal Objects and Repetition.	TIME	2000	DBLP DOI BibTeX RDF
1	Isabella Merlo, Elisa Bertino, Elena Ferrari, Shashi K. Gadia, Giovanna Guerrini	Querying Multiple Temporal Granularity Data.	TIME	2000	DBLP DOI BibTeX RDF	temporal granularities, temporal object databases, temporal object query languages
1	Claudio Bettini, Xiaoyang Sean Wang, Sushil Jajodia	Free Schedules for Free Agents in Workflow Systems.	TIME	2000	DBLP DOI BibTeX RDF	multi-agent systems, temporal reasoning, temporal constraints, workflow systems
1	Philippe Balbiani, Jean-François Condotta, Gérard Ligozat	Reasoning about Generalized Intervals: Horn Representability and Tractability.	TIME	2000	DBLP DOI BibTeX RDF
1	Kate Beard, H. Mustafa Palancioglu	Estimating Positions and Paths of Moving Objects.	TIME	2000	DBLP DOI BibTeX RDF	spatio-temporal databases, moving object databases
1	Alexander Bolotov, Clare Dixon	Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule.	TIME	2000	DBLP DOI BibTeX RDF	loop detection algorithm, temporal logics, resolution, automated deduction, branching-time
1	Vineet Padmanabhan, Abdul Sattar 0001, Arun K. Pujari, Chinmoy Goswami	Temporal Reasoning: A Three Way Analysis.	TIME	2000	DBLP DOI BibTeX RDF
1	Han-Chieh Wei, Ramez Elmasri	PMTV: A Schema Versioning Approach for Bi-Temporal Databases.	TIME	2000	DBLP DOI BibTeX RDF	bi-temporal databases, temporal databases, schema versioning
1	Clare Dixon, Michael Fisher 0001	Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge.	TIME	2000	DBLP DOI BibTeX RDF	temporal and modal logics, non-classical resolution, theorem-proving
1	Carlo Combi	Modeling Temporal Aspects of Visual and Textual Objects in Multimedia Databases.	TIME	2000	DBLP DOI BibTeX RDF	time in multimedia data, time granularity and indeterminacy, conceptual modeling, visual data
1	Takao Miura, Isamu Shioya, Kohei Watanabe	Behavior Discovery as Database Scheme Design.	TIME	2000	DBLP DOI BibTeX RDF	Temporal Learning and Discovery, Database Design
1	Bernhard Heinemann	Extending Topological Nexttime Logic.	TIME	2000	DBLP DOI BibTeX RDF
1	Giorgos Mountrakis, Peggy Agouris, Anthony Stefanidis	Navigating through Hierarchical Change Propagation in Spatiotemporal Queries.	TIME	2000	DBLP DOI BibTeX RDF
1	Sibel Adali, Luca Console, Maria Luisa Sapino, Massimo Schenone, Paolo Terenziani	Representing and Reasoning with Temporal Constraints in Multimedia Presentations.	TIME	2000	DBLP DOI BibTeX RDF	temporal constraint reasoning, multimedia presentations
1	M. A. Cárdenas Viedma, Isabel Navarrete, Roque Marín	Efficient Resolution Mechanism for Fuzzy Temporal Constraint Logic.	TIME	2000	DBLP DOI BibTeX RDF	Temporal logics and ontologies, temporal constraint reasoning, temporal languages and architectures, belief and uncertainty in temporal knowledge
1		Seventh International Workshop on Temporal Representation and Reasoning, TIME 2000, Nova Scotia, Canada, July 7-9, 2000	TIME	2000	DBLP BibTeX RDF
1	Paolo Terenziani	Is Point-Based Semantics Always Adequate for Temporal Databases?.	TIME	2000	DBLP DOI BibTeX RDF
1	Sofie Haesevoets, Bart Kuijpers	Closure Properties of Classes of Spatio-Temporal Objects under Boolean Set Operations.	TIME	2000	DBLP DOI BibTeX RDF	spatio-temporal data models
1	Robert Kosara, Silvia Miksch	A Visualization of Medical Therapy Plans Compared to Gantt and PERT Charts.	TIME	2000	DBLP DOI BibTeX RDF	Time in problem solving, Information Visualization
1	Iliano Cervesato, Angelo Montanari	A Calculus of Macro-Events: Progress Report.	TIME	2000	DBLP DOI BibTeX RDF	Processes, Temporal Reasoning
1	Jefferson R. O. Silva, Mario A. Nascimento	An Incremental Batch-Oriented Index for Bitemporal Databases.	TIME	2000	DBLP DOI BibTeX RDF	bitemporal indexing, temporal databases, R-trees, access structures
1	Zohar Manna	Visual Verification of Temporal Properties.	TIME	1999	DBLP DOI BibTeX RDF
1	Massimo Franceschet, Angelo Montanari	A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in the Event Calculus.	TIME	1999	DBLP DOI BibTeX RDF
1	Patrick Doherty 0001, Jonas Kvarnström	TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner.	TIME	1999	DBLP DOI BibTeX RDF
1	Alessandro Artale, Enrico Franconi	Introducing Temporal Description Logics.	TIME	1999	DBLP DOI BibTeX RDF
1	Mehmet A. Orgun	A Temporal Relational Algebra Based on Multiple Time-Lines.	TIME	1999	DBLP DOI BibTeX RDF	Temporal Algebras, Multiple Time-Lines, Temporal Databases
1	Robert A. Morris 0001, Lina Khatib	Optimization in Constraint Reasoning about Repeating Events.	TIME	1999	DBLP DOI BibTeX RDF	knowledge representation, constraint satisfaction, temporal reasoning
1	Isabella Merlo, Elisa Bertino, Elena Ferrari, Giovanna Guerrini	A Temporal Object-Oriented Data Model with Multiple Granularities.	TIME	1999	DBLP DOI BibTeX RDF	temporal granularities, object-oriented inheritance hierarchies, temporal databases
1	Jan Chomicki, Peter Z. Revesz	A Geometric Framework for Specifying Spatiotemporal Objects.	TIME	1999	DBLP DOI BibTeX RDF
1	Han-Chieh Wei, Ramez Elmasri	Study and Comparison of Schema Versioning and Database Conversion Techniques for Bi-Temporal Databases.	TIME	1999	DBLP DOI BibTeX RDF	Temporal Databases, Schema Evolution, Schema Versioning
1	Shubha Chakravarty, Yuval Shahar	A Constraint-Based Specification of Periodic Patterns in Time-Oriented Data.	TIME	1999	DBLP DOI BibTeX RDF	patterns, temporal databases, periodicity, constraint-based reasoning
1	Claudio Bettini, Roberto De Sibi	Symbolic Representation of User-Defined Time Granularities.	TIME	1999	DBLP DOI BibTeX RDF	Time representation, Calendars, Time granularity
1		6th International Workshop on Temporal Representation and Reasoning, TIME '99, Orlando, Florida, USA, May 1-2, 1999	TIME	1999	DBLP BibTeX RDF
1	Lina Khatib, Robert A. Morris 0001	Generating Scenarios for Periodic Events with Binary Constraints.	TIME	1999	DBLP DOI BibTeX RDF	knowledge representation, constraint satisfaction, temporal reasoning
1	Michael J. Almeida	A System for Reasoning with Nonconvex Intervals.	TIME	1999	DBLP DOI BibTeX RDF	convex interval, nonconvex interval, temporal reasoning
1	Vanathi Gopalakrishnan, Bruce G. Buchanan	Representing and Learning Temporal Relationships among Experimental Variables.	TIME	1998	DBLP DOI BibTeX RDF
1	Marcelo Finger, Flávio S. Corrêa da Silva	Temporal Data Obsolescence: Modelling Problems.	TIME	1998	DBLP DOI BibTeX RDF
1	Bernhard Nebel	Qualitative Temporal Reasoning: Theory and Practice (Abstract).	TIME	1998	DBLP DOI BibTeX RDF
1	Diana Cukierman, James P. Delgrande	Towards a Formal Characterization of Temporal Repetition with Closed Time.	TIME	1998	DBLP DOI BibTeX RDF
1		5th Workshop on Temporal Representation and Reasoning, TIME '98, Sanibel Island, Florida, USA, May 16-17, 1998	TIME	1998	DBLP BibTeX RDF
1	Iliano Cervesato, Massimo Franceschet, Angelo Montanari	Event Calculus with Explicit Quantifiers.	TIME	1998	DBLP DOI BibTeX RDF
1	Paolo Terenziani	Generating Instantiations of Contextual Scenarios of Periodic Events.	TIME	1998	DBLP DOI BibTeX RDF
1	Leonidas Fegaras, Ramez Elmasri	A Temporal Object Query Language.	TIME	1998	DBLP DOI BibTeX RDF
1	Rafael Ramírez 0001	Time, Communication and Synchronisation in an Agent-Based Programming Language.	TIME	1998	DBLP DOI BibTeX RDF
1	Chuchang Liu, Mehmet A. Orgun	Embedding a Timing System in TLC.	TIME	1998	DBLP DOI BibTeX RDF
1	Gérard Becher, Françoise Clérin-Debart, Patrice Enjalbert	A Model for Time Granularity in Natural Language.	TIME	1998	DBLP DOI BibTeX RDF
1	Maroua Bouzid, Abdel-Illah Mouaddib	Uncertain Temporal Reasoning for the Distributed Transportation Scheduling Problem.	TIME	1998	DBLP DOI BibTeX RDF
1	Robert A. Morris 0001, Lina Khatib	Quantitative Structural Temporal Constraints on Repeating Events.	TIME	1998	DBLP DOI BibTeX RDF
1	Rattana Wetprasit, Abdul Sattar 0001	Qualitative and Quantitative Temporal Reasoning with Points and Durations (An Extended Abstract).	TIME	1998	DBLP DOI BibTeX RDF

Publications at "TIME"( http://dblp.L3S.de/Venues/TIME )