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 |
|