11th International Symposium on Temporal Representation and Reasoning. (TIME 2004), Tatihou, Normandie, France, 1-3 July 2004 : proceedings / edited by Carlo Combi and Gérard Ligozat ; sponsored by Groupe de recherche in informantic, Image, Automatique et Instrumentation de Caen.

Format:

Book

Conference/Event

Contributor:

Combi, Carlo.

Ligozat, Gérard.

IEEE Xplore (Online service)

Conference Name:

International Symposium on Temporal Representation and Reasoning (11th : 2004 : Tatihou, Normandie, France)

Language:

English

Subjects (All):

Artificial intelligence--Congresses.

Artificial intelligence.

Reasoning--Congresses.

Reasoning.

Time--Congresses.

Time.

Temporal databases--Congresses.

Temporal databases.

Genre:

Conference papers and proceedings.

Physical Description:

xv, 161 pages : illustrations

Other Title:

Temporal representation and reasoning

Temporal logic

International Workshop on Temporal Representation and Reasoning

Place of Publication:

Los Alamitos, Calif. : IEEE Computer Society Press, [2004]

System Details:

Mode of access: World Wide Web.

text file

Contents:

Toward a Unifying View of Point and Interval Temporal Data Models / M. Bohlen 3

Word Proximity Constraints: Information Retrieval Meets Temporal Reasoning / M. Koubarakis 5

Temporal Prepositions and Their Logic: Extended Abstract / I. Pratt-Hartmann 7

The Many Ways of Facing Temporal Uncertainty in Planning and Scheduling / T. Vidal 9

Track 1 Temporal Representation and Reasoning in AI

A Lattice of Classes of User-Defined Symbolic Periodicities / L. Egidi, P. Terenziani 13

A Mathematical Framework for the Semantics of Symbolic Languages Representing Periodic Time / L. Egidi, P. Terenziani 21

The SOL Time Theory: A Formalization of Structured Temporal Objects and Repetition / D. Cukierman, J. Delgrande 28

A Possibility Theory-based Approach to the Handling of Uncertain Relations Between Temporal Points / A. Hadjali, D. Dubois, H. Prade 36

Relations Between Fuzzy Time Intervals / H. Ohlbach 44

Recursive Representation of Periodicity and Temporal Reasoning / L. Anselma 52

The Role of Labeled Partitionings for Modeling Periodic Temporal Notions / H. J. Ohlbach 60

Probabilistic Temporal Interval Networks / V. Ryabov, A. Trudel 64

Track 2 Time Management in Databases

Fuzzy Calendar Algebra and Its Applications to Data Mining / W.-J. Lee, S.-J. Lee 71

Reasoning on Temporal Conceptual Schemas with Dynamic Constraints / A. Artale 79

Pre-Processing Time Constraints for Efficiently Mining Generalized Sequential Patterns / F. Masseglia, P. Poncelet, M. Teisseire 87

Mapping Calendar Expressions into Periodical Granularities / C. Bettini, S. Mascetti, X. Wang 96

Max-Count Aggregation Estimation for Moving Points / Y. Chen, P. Revesz 103

Effective Data Integration in the Presence of Temporal Semantic Conflicts / H. Zhu, S. Madnick, M. Siegel 109

Track 3 Temporal Logic in Computer Science

CTL Model Checking for Processing Simple XPath Queries / L. Afanasiev, M. Franceschet, M. Marx, M. de Rijke 117

Compositional Temporal Logic Based on Partial Order / A. Alexander, W. Reisig 125

On-the-Fly Automata Construction for Dynamic Linear Time Temporal Logic / L. Giordano, A. Martelli 133

A Clausal Resolution Method for Branching-Time Logic ECTL[superscript +] / A. Bolotov, A. Basukoski 140

Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols / C. Dixon, M.-C. Gago, M. Fisher, W. van der Hoek 148

Model Checking [mu]-Calculus in Well-Structured Transition Systems / E. Kouzmin, N. Shilov, V. Sokolov 152

Decidability of the Theory of the Totally Unbounded [omega]-Layered Structure / A. Montanari, G. Puppis 156.

Notes:

"IEEE Computer Society Order Number P2155"--T.p. verso.

Some previous conferences entitled: International Workshop on Temporal Representation and Reasoning.

Includes bibliographical references and author index.

ISBN:

076952155X

9780769521558

OCLC:

55893957

Access Restriction:

Restricted for use by site license.