Search results for "TIME"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Silvia Coradeschi, Thierry Vidal	Accounting for Temporal Evolutions in Highly Reactive Decision-Making.	TIME	1998	DBLP DOI BibTeX RDF	dynamic supervision, context, controller, decision-making, temporal constraints, reactivity
1	Paulo Sérgio Muniz Silva	Extended Message Sequence Charts with Time-Interval Semantics.	TIME	1998	DBLP DOI BibTeX RDF
1	Rasiah Loganantharaj	Efficient Temporal Propagation Algorithm for Scheduling.	TIME	1998	DBLP DOI BibTeX RDF
1	James F. Allen	Temporal Reasoning in Plan Management (Abstract).	TIME	1998	DBLP DOI BibTeX RDF
1	Richard B. Scherl, Glenn Shafer	A Logic of Action, Causality, and the Temporal Relations of Events.	TIME	1998	DBLP DOI BibTeX RDF
1	Mitsunori Matsushita, Masakatsu Ohta, Toshiyuki Iida	A Visualization Method of Time Expressions using Starting/Ending Point Plane.	TIME	1998	DBLP DOI BibTeX RDF
1	Dee Jay Randall, Howard J. Hamilton, Robert J. Hilderman	Generalization for Calendar Attributes using Domain Generalization Graphs.	TIME	1998	DBLP DOI BibTeX RDF
1	Patrick Doherty 0001, Jonas Kvarnström	Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report.	TIME	1998	DBLP DOI BibTeX RDF
1	Elisa Bertino, Elena Ferrari, Giovanna Guerrini	An Approach to Model and Query Event-Based Temporal Data.	TIME	1998	DBLP DOI BibTeX RDF
1	Clare Dixon, Michael Fisher 0001	The Set of Support Strategy in Temporal Resolution.	TIME	1998	DBLP DOI BibTeX RDF
1	Uta Wille	Revision and Updating in Dynamic Doxastic Logic.	TIME	1998	DBLP DOI BibTeX RDF
1	Torben Braüner, Per F. V. Hasle, Peter Øhrstrøm	Ockhamistic Logics and True Futures of Counterfactual Moments.	TIME	1998	DBLP DOI BibTeX RDF
1	Yuval Shahar, Cleve Cheng	Model-Based Visualization of Temporal Abstractions.	TIME	1998	DBLP DOI BibTeX RDF
1	Frank Schilder	A Hierarchy for Convex Relations.	TIME	1997	DBLP DOI BibTeX RDF
1	Vittorio Brusoni, Luca Console, Paolo Terenziani, Daniele Theseider Dupré	An Efficient Algorithm for Temporal Abduction.	TIME	1997	DBLP DOI BibTeX RDF
1	Jixin Ma 0001, Brian Knight, Taoxin Peng	Representing Temporal Relationships between Events and their Effects.	TIME	1997	DBLP DOI BibTeX RDF
1	Pedro A. de Matos, João P. Martins	Contextual Logic of Change and Contextual Proofs.	TIME	1997	DBLP DOI BibTeX RDF
1	Paolo Terenziani	Qualitative and Quantitive Temporal Constraints about Numerically Quantified Periodic Events.	TIME	1997	DBLP DOI BibTeX RDF
1	Jong Soo Kim, Myoung-Ho Kim	On Effective Data Clustering in Bitemporal Databases.	TIME	1997	DBLP DOI BibTeX RDF
1	Clare Dixon	Temporal Resolution: Removing Irrelevant Information.	TIME	1997	DBLP DOI BibTeX RDF
1	Chuchang Liu, Mehmet A. Orgun	BCTL: A Branching Clock Temporal Logic.	TIME	1997	DBLP DOI BibTeX RDF
1	Ahmed Y. Tawfik, Eric Neufeld	Bidirectional Inference in Probabilistic Temporal Reasoning.	TIME	1997	DBLP DOI BibTeX RDF
1	Yuval Shahar	Knowledge-Based Temporal Interpolation.	TIME	1997	DBLP DOI BibTeX RDF	Temporal Interpolation, Temporal ontologies, Knowledge bases, Temporal databases, Temporal reasoning
1	Alexander Bolotov, Michael Fisher 0001	A Resolution Method For CTL Branching-Time Temporal Logic.	TIME	1997	DBLP DOI BibTeX RDF	resolution method, CTL branching-time temporal logic, clausal resolution method, extended CTL, fairness operators, step resolution, temporal resolution rule, linear-time temporal resolution, temporal logic, completeness, normal form, linear temporal logic, computation tree logic, CTL*
1	Francisco C. Pereira, Carlos Grilo, Luís Macedo, Amílcar Cardoso	A Structured Framework for Representing Time in a Generative Composition System.	TIME	1997	DBLP DOI BibTeX RDF
1	Iliano Cervesato, Massimo Franceschet, Angelo Montanari	Modal Event Calculi with Preconditions.	TIME	1997	DBLP DOI BibTeX RDF	modal event calculi, event occurrences, maximal validity intervals, semantic formalization, MVI validation, complexity, temporal logic, temporal logic, preconditions, event calculus
1	Juan Jose Blanco, Lina Khatib	Enhancements to the Ground Processing Scheduling System.	TIME	1997	DBLP DOI BibTeX RDF
1		4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997	TIME	1997	DBLP BibTeX RDF
1	Marcelo Finger, Peter McBrien	Concurrency Control for Perceivedly Instantaneous Transactions in Valid-Time Databases.	TIME	1997	DBLP DOI BibTeX RDF
1	Mark S. Boddy	Practical Temporal Reasoning for Real Scheduling Applications.	TIME	1997	DBLP DOI BibTeX RDF
1	Sônia Fernandes Silva, Ulrich Schiel, Tiziana Catarci	Visual Query Operators for Temporal Databases.	TIME	1997	DBLP DOI BibTeX RDF	temporal databases, temporal query language, visual query system
1	Fernando Barber, Salvador Moreno	Representation of Continuous Change with Discrete Time.	TIME	1997	DBLP DOI BibTeX RDF
1	Paolo Mancarella, Alessandra Raffaetà, Franco Turini	Time in a Multi-Theory Logical Framework.	TIME	1997	DBLP DOI BibTeX RDF
1	Thierry Vidal, Hélène Fargier	Contingent Durations in Temporal CSPs: From Consistency to Controllabilities.	TIME	1997	DBLP DOI BibTeX RDF	temporal CSPs, Temporal Constraint Networks, classical network consistency property, Strong, Weak, reasoning issues, tractable subclasses, complexity, controllability, controllability, Dynamic
1	Carlo Combi, Giancarlo Cucchi	GCH-OSQL: A Temporally-Oriented Object-Oriented Query Language Based on a Three-Valued Logic.	TIME	1997	DBLP DOI BibTeX RDF	temporally-oriented, GCH-OSQL, clinical data, object-oriented temporal data model, mixed granularities, object-oriented, query language, temporal databases, temporal databases, temporal data, three-valued logic, valid time
1	Heikki Mannila, Pirjo Ronkainen	Similarity of Event Sequences.	TIME	1997	DBLP DOI BibTeX RDF	event sequence similarity, biostatistics, dynamic programming, knowledge discovery, user interface design, telecommunications, temporal reasoning, temporal reasoning, distance measure
1	Ernst G. P. Bovenkamp, Jan C. A. van der Lubbe	Temporal Reasoning with Fuzzy Time-Objects.	TIME	1997	DBLP DOI BibTeX RDF
1	Patrick J. Hayes	Alternative Conceptions of the Time-Line.	TIME	1997	DBLP DOI BibTeX RDF
1	Adam Kellett, Michael Fisher 0001	Automata Representations for Concurrent METATEM.	TIME	1997	DBLP DOI BibTeX RDF	Concurrent METATEM language, temporal logic formulae, direct interpretation, large applications, closely coupled automata, performance, parallel languages, parallel language, finite-state automata, logic programming language
1	Surya Ramachandran, David C. Wilkins	Temporal Control Structures in Expert Critiquing Systems.	TIME	1997	DBLP DOI BibTeX RDF
1	Robert A. Morris 0001, Lina Khatib	Entities and Relations for Historical Relational Databases.	TIME	1997	DBLP DOI BibTeX RDF	historical relational databases, temporal entities, valid-time relations, algebraic query language, temporal database research, relational databases, events, histories, temporal information, relational data model, temporal dimension
1	Giorgio Brajnik, Daniel J. Clancy 0001	Guiding and refining simulation using temporal logic.	TIME	1996	DBLP DOI BibTeX RDF
1	Silvana Badaloni, Marina Berati	Hybrid Temporal Reasoning for Planning and Scheduling.	TIME	1996	DBLP DOI BibTeX RDF
1	Elpida T. Keravnou	Engineering time in medical knowledge-based systems through time-axes and time-objects.	TIME	1996	DBLP DOI BibTeX RDF
1	Akira Fusaoka	Nonmonotonic Reasoning on a Constructive Time Structure.	TIME	1996	DBLP DOI BibTeX RDF
1	Rocio Guillén, David Farwell, Janyce Wiebe	Handling Temporal Relations in Scheduling Dialogues for an MT System.	TIME	1996	DBLP DOI BibTeX RDF
1	J. van Benthen	Remodeling Temporal Geometry.	TIME	1996	DBLP DOI BibTeX RDF
1	Amedeo Cesta, Angelo Oddi	Gaining Efficiency and Flexibility in the Simple Temporal Problem.	TIME	1996	DBLP DOI BibTeX RDF
1	Klaus P. Jantke, Oksana Arnold	A Modal Temporal Logic and its Models Underlying Variants of Planning Algorithms.	TIME	1996	DBLP DOI BibTeX RDF
1	Isabelle Bichindaritz, E. Conlon	Case-based reasoning with temporal data.	TIME	1996	DBLP DOI BibTeX RDF
1	Evelina Lamma, Paola Mello, Michela Milano	Temporal Reasoning in a Meta Constraint Logic Programming Architecture.	TIME	1996	DBLP DOI BibTeX RDF
1	Eddie Schwalb, Rina Dechter	Processing Disjunctions of Temporal Constraints.	TIME	1996	DBLP DOI BibTeX RDF
1	Lluís Vila, Eddie Schwalb	A Theory of Time and Temporal Incidence Based on Instants and Periods.	TIME	1996	DBLP DOI BibTeX RDF
1	André Trudel, Denis Gagné	A topological transition based logic for the qualitative motion of objects.	TIME	1996	DBLP DOI BibTeX RDF
1	Claudio Bettini, Xiaoyang Sean Wang, Sushil Jajodia	A General Framework and Reasoning Model for Time Granularity.	TIME	1996	DBLP DOI BibTeX RDF
1	Mehmet A. Orgun	A recursive temporal algebra and temporal completeness.	TIME	1996	DBLP DOI BibTeX RDF
1	Edjard Mota, David Stuart Robertson 0001	Representing Interaction of Agents at Different Time Granularities.	TIME	1996	DBLP DOI BibTeX RDF
1	Yuval Shahar	Dynamic Temporal Interpretation Contexts for Temporal Abstraction.	TIME	1996	DBLP DOI BibTeX RDF
1	Ahmed Y. Tawfik, Eric Neufeld	Irrelevance in Uncertain Temporal Reasoning.	TIME	1996	DBLP DOI BibTeX RDF
1	Diana Cukierman, James P. Delgrande	Characterizing Temporal Repetition.	TIME	1996	DBLP DOI BibTeX RDF
1	Eddie Schwalb, Lluís Vila	Logic Programming with Temporal Constraints.	TIME	1996	DBLP DOI BibTeX RDF
1	Aïcha Mokhtari, Daniel Kayser	Time in a Causal Theory.	TIME	1996	DBLP DOI BibTeX RDF
1	Choong-Ho Yi	Reasoning about Concurrent Actions within Features and Fluents.	TIME	1996	DBLP DOI BibTeX RDF
1	Luca Chittaro, Scott D. Goodwin, Howard J. Hamilton, Angelo Montanari (eds.)	Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996	TIME	1996	DBLP BibTeX RDF
1	Minglu Li 0001, Yongqiang Sun, Huanye Sheng	Temporal Representation for Multimedia Systems.	TIME	1996	DBLP DOI BibTeX RDF
1	Mario R. Sánchez, Anil M. Shende	Time Accountability for Lattice Computers.	TIME	1996	DBLP DOI BibTeX RDF
1	Carme Martín, Jaume Sistac	An Integrity Constraint Checking Method for Temporal Deductive Databases.	TIME	1996	DBLP DOI BibTeX RDF
1	Avigdor Gal, Dov Dori	Combining Simultaneous Values and Temporal Data Dependencies.	TIME	1996	DBLP DOI BibTeX RDF
1	Rattana Wetprasit, Abdul Sattar 0001, Lina Khatib	Reasoning with Sequences of Point Events.	TIME	1996	DBLP DOI BibTeX RDF
1	Carlo Combi, Francesco Pinciroli, Giuseppe Pozzi	Managing Time Granularity of Narrative Clinical Information: The Temporal Data Model TIME-NESIS.	TIME	1996	DBLP DOI BibTeX RDF
1	Clare Dixon	Temporal Resolution: A Breadth-First Search Approach.	TIME	1996	DBLP DOI BibTeX RDF
1	Gérard Becher	First Order Modal Logics with Generalized Intervals.	TIME	1996	DBLP DOI BibTeX RDF
1	Fahiem Bacchus	Using Temporal Logics for Planning and Control.	TIME	1996	DBLP DOI BibTeX RDF
1	Amar Isli, Hachemi Bennaceur	Networks of Qualitative Interval Relations: Combining Circuit Consistency and Path Consistency in the Search for a Solution.	TIME	1996	DBLP DOI BibTeX RDF
1	Ehric Ho, André Trudel	The Specification and Implementation of a First Order Logic for Uncertain Temporal Domains.	TIME	1994	DBLP BibTeX RDF
1	Thomas Dean	Meditations on Time and Space: Expediting Temporal Inference by Exploiting Structure in Time and Space (Abstract).	TIME	1994	DBLP BibTeX RDF
1	Robert A. Morris 0001, William D. Shoaff, Lina Khatib	An Algebraic Formulation of Temporal Knowledge for Reasoning about Recurring Events.	TIME	1994	DBLP BibTeX RDF
1	Leora Morgenstern	A Proper Ontology for Reasoning about Knowledge and Planning.	TIME	1994	DBLP BibTeX RDF
1	Shieu-Hong Lin, Thomas Dean	Localized Temporal Reasoning: A State-Based Approach.	TIME	1994	DBLP BibTeX RDF
1	Scott D. Goodwin, Eric Neufeld, André Trudel	The Persistence of Statistical Information.	TIME	1994	DBLP BibTeX RDF
1	Milind Tambe, Paul S. Rosenbloom	Event Tracking for an Intelligent Automated Agent.	TIME	1994	DBLP BibTeX RDF
1	Fano Ramparany	Managing Large Temporal Delays in a Model Based Control System.	TIME	1994	DBLP BibTeX RDF
1	Peter Haddawy	Believing Change and Changing Belief.	TIME	1994	DBLP BibTeX RDF
1	Rasiah Loganantharaj	Propagating Possibilistic Temporal Constraints.	TIME	1994	DBLP BibTeX RDF
1	Ian E. Pratt, David S. Brée	The Expressive Power of the English Temporal Preposition System.	TIME	1994	DBLP BibTeX RDF
1	Alessandro Provetti	Hypothetical Reasoning from Situation Calculus to Event Calculus.	TIME	1994	DBLP BibTeX RDF
1	Alfred J. Reich	Intervals, Points, and Branching Time.	TIME	1994	DBLP BibTeX RDF
1	Clemens Beckstein, Tim Geisler	An Application-independent Support System for Integrated Assumption-based Temporal Reasoning.	TIME	1994	DBLP BibTeX RDF
1	Fei Song	Extending Temporal Reasoning with Hierarchical Constraint.	TIME	1994	DBLP BibTeX RDF
1	Luca Chittaro, Angelo Montanari	Efficient Handling of Context Dependency in the Cached Event Calculus.	TIME	1994	DBLP BibTeX RDF
1	Niki Pissinou, Kia Makki	On the Representation of Temporal Object Roles in Object Oriented Databases.	TIME	1994	DBLP BibTeX RDF
1	Ahmed Y. Tawfik, Eric Neufeld	Temporal Bayesian Networks.	TIME	1994	DBLP BibTeX RDF
1	André Trudel	A Temporal Structure that Distinguishes between the Past, Present, and Future.	TIME	1994	DBLP BibTeX RDF
1	Scott D. Goodwin, Howard J. Hamilton, Eric Neufeld, Abdul Sattar 0001, André Trudel	Belief Revision in a Discrete Temporal Probability-Logic.	TIME	1994	DBLP BibTeX RDF
1	Nicolas Chleq	Using Constrained Resolution for Abductive Temporal Reasoning.	TIME	1994	DBLP BibTeX RDF
1	Scott D. Goodwin, Howard J. Hamilton (eds.)	Proceedings of the TIME-94 International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994	TIME	1994	DBLP BibTeX RDF
1	David Leasure	Automated Temporal Explanation with the Modal Logic Z.	TIME	1994	DBLP BibTeX RDF

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