TY - BOOK ID - 2528759 TI - Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings AU - Gabbay, Dov M. AU - Ohlbach, Hans Jürgen AU - International conference, ICTL '94 (1st : July 11-14, 1994 : Bonn (germany) PY - 1994 VL - 827 SN - 038758241X 354058241X 3540485856 9780387582412 PB - Berlin: Springer, DB - UniCat KW - Logic [Symbolic and mathematical ] KW - Logica [Symbolische en wiskundige ] KW - Logique symbolique et mathémathique KW - Logique symbolique et mathématique KW - Programmation (Informatique) KW - Electronic digital computers KW - Programming KW - Computer network architectures. KW - Information theory. KW - Artificial intelligence. KW - Computer science. KW - Logic design. KW - Database management. KW - Computer System Implementation. KW - Theory of Computation. KW - Artificial Intelligence. KW - Mathematical Logic and Formal Languages. KW - Logics and Meanings of Programs. KW - Database Management. KW - Data base management KW - Data services (Database management) KW - Database management services KW - DBMS (Computer science) KW - Generalized data management systems KW - Services, Database management KW - Systems, Database management KW - Systems, Generalized database management KW - Electronic data processing KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Informatics KW - Science KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Logic machines KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Communication theory KW - Communication KW - Cybernetics KW - Architectures, Computer network KW - Network architectures, Computer KW - Computer architecture KW - Logique symbolique et mathématique - Congres KW - Programmation (Informatique) - Congres. UR - https://www.unicat.be/uniCat?func=search&query=sysid:2528759 AB - This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994. Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic research relevant for computer science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL '94 as well as three surveys and position papers. ER -