Listing 1 - 3 of 3 |
Sort by
|
Choose an application
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.
Information systems --- Database management. --- Temporal databases. --- Temporal databases --- Database management --- Computer Science --- Engineering & Applied Sciences --- Banques de données--Gestion --- Data base management --- Databasebeheer --- Databases--Beheer --- Gegevensbanken--Beheer --- Gegevensbestanden--Beheer --- Generalized data management systems --- Systems [Data base management ] --- Systems [Generalized data base management ] --- Bases de données spatio-temporelles --- Bases de données --- Gestion --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Temporal data bases --- Computer science. --- Computers. --- Computer Science. --- Information Systems and Communication Service. --- Information systems. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace
Choose an application
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.
Computer logic --- Temporal databases --- Congresses --- Mathematical logic. --- Logic. --- Artificial intelligence. --- Data structures (Computer science). --- Mathematical Logic and Foundations. --- Artificial Intelligence. --- Data Structures and Information Theory. --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- Electronic data processing --- File organization (Computer science) --- Abstract data types (Computer science) --- 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 --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Methodology --- Computer logic - Congresses --- Temporal databases - Congresses.
Choose an application
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
|