Advances in Temporal Logic by Howard Barringer

Advances in Temporal Logic by Howard Barringer

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.

Michael Fisher, University of Liverpool, Department of Computer Science, LiverpoolMichael Fisher is a Professor of Computer Science at the University of Liverpool. He is also the Director of the Liverpool Verification Laboratory and the leader of the Logic and Computation research group. Professor Fisher is widely recognized for his scientific in logic and computer science, notably temporal verification, automated reasoning, high-level programming languages, and formal approaches for multi-agent systems, and has been an active member of the research community for over 20 years. As a result of this, he was named program chair and a member of the steering committee for the International Symposium on Temporal Representation and Reasoning in 2004. Advances in Temporal Logic (Kluwer, 2000), Foundations and Applications of Multi-Agent Systems (Springer-Verlag, 2002), Temporal Representation and Reasoning (IEEE Computer Society Press, 2002), and Handbook of Temporal Reasoning in Artificial Intelligence (Elsevier, 2005) are among the publications he has co-edited.

SKU	Unavailable
ISBN 13	9789048153893
ISBN 10	9048153891
Title	Advances in Temporal Logic
Author	Howard Barringer
Series	Applied Logic Series
Condition	Unavailable
Binding Type	Paperback
Publisher	Springer
Year published	2010-12-08
Number of pages	453
Cover note	Book picture is for illustrative purposes only, actual binding, cover or edition may vary.