Narrow your search

Library

UCLouvain (3)

KU Leuven (2)

UGent (2)

ULB (2)

ULiège (2)

KBR (1)

UAntwerpen (1)

UMons (1)


Resource type

book (3)


Language

English (3)


Year
From To Submit

2003 (1)

2000 (1)

1998 (1)

Listing 1 - 3 of 3
Sort by
Temporal databases: research and practice
Authors: --- ---
ISSN: 03029743 ISBN: 3540645195 9783540645191 3540697993 Year: 1998 Volume: 1399 Publisher: Berlin Springer

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book grew out of a Dagstuhl seminar organized by the volume editors in June 1997. After the seminar, submissions for this book were solicited both from and beyond the group of participants. A peer review process followed, from which only original papers of the highest quality on the state of the art in the field were accepted for presentation in the book. The volume is divided into parts on temporal database infrastructure, temporal query languages, and advanced applications. A comprehensive bibliography, glossaries for both temporal database and time granularity concepts, and summaries of current work are also provided. The book is the ultimate reference for anyone actively involved in temporal database research and design or who is interested in their applications.

Advances in temporal logic
Author:
ISBN: 0792361490 9048153891 9401595860 9780792361497 Year: 2000 Volume: 16 Publisher: Dordrecht : Kluwer academic,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. It has been studied across a wide range of disciplines, from the natural sciences to philosophy and logic. Today, thirty plus years since Prior's work in laying out foundations for temporal logic, and two decades on from Pnueli's seminal work applying of temporal logic in specification and verification of computer programs, temporal logic has a strong and thriving international research community within the broad disciplines of computer science and artificial intelligence. Areas of activity include, but are certainly not restricted to: Pure Temporal Logic, e. g. temporal systems, proof theory, model theory, expressiveness and complexity issues, algebraic properties, application of game theory; Specification and Verification, e. g. of reactive systems, ofreal-time components, of user interaction, of hardware systems, techniques and tools for verification, execution and prototyping methods; Temporal Databases, e. g. temporal representation, temporal query­ ing, granularity of time, update mechanisms, active temporal data­ bases, hypothetical reasoning; Temporal Aspects in AI, e. g. modelling temporal phenomena, in­ terval temporal calculi, temporal nonmonotonicity, interaction of temporal reasoning with action/knowledge/belief logics, temporal planning; Tense and Aspect in Natural Language, e. g. models, ontologies, temporal quantifiers, connectives, prepositions, processing tempo­ ral statements; Temporal Theorem Proving, e. g. translation methods, clausal and non-clausal resolution, tableaux, automata-theoretic approaches, tools and practical systems.

Spatio-Temporal Databases : The CHOROCHRONOS Approach
Authors: --- --- --- --- --- et al.
ISBN: 3540405526 3540450815 9783540405528 Year: 2003 Volume: 2520 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Data mining --- Temporal databases --- Database management --- Data mining. --- Temporal databases. --- Database management. --- Exploration de données (Informatique) --- Bases de données spatio-temporelles --- Bases de données --- Gestion --- Temporal data bases --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Computer science. --- Information technology. --- Business --- Information storage and retrieval. --- Artificial intelligence. --- Geographical information systems. --- Computer Science. --- Database Management. --- Information Storage and Retrieval. --- Artificial Intelligence (incl. Robotics). --- Geographical Information Systems/Cartography. --- IT in Business. --- Data processing. --- Electronic data processing --- Geographical information systems --- GIS (Information systems) --- Information storage and retrieval systems --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- IT (Information technology) --- Technology --- Telematics --- Information superhighway --- Knowledge management --- Informatics --- Science --- Geography --- Database searching --- Databases --- Information storage and retrieva. --- Artificial Intelligence. --- Information storage and retrieval systems. --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Business—Data processing.

Listing 1 - 3 of 3
Sort by