Science & Math | Mathematics
Advances in Temporal Logic
by Howard Barringer 2020-05-30 07:44:04
image1
COMPARE PRICE
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. ... Read more
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. Less
  • ISBN
  • 9789401595865
autor-image
Howard Barringer
Author
...
Compare Prices
image
Buy CAD 331.93
image
Buy AUD 239.0
Available Discount
12 % OFF
12% off Academic Book Titles (ebooks.com)
Show Coupon Code

See More Details

Description: Back to School Promotion at eBooks.com. 12% off Academic book titles. Landing page is on our academics category page. Static image.

10 % OFF
Save 10% OFF on Student Text Books (ebooks.com)
Show Coupon Code

See More Details

Description: Purchase textbooks at student discounts!

20 % OFF
20% Off on selected Categories
Show Coupon Code

See More Details

Description: 20% Off these Categories- Body Mind & Spirit, Family & Relationships, Foreign Language Study, History, Sports & Recreation. Offer Lasts all through January.

Related Books
view all
image1
Orthogonal Polynomials and Painlevé Equations:
image1
Applied Linear Algebra:
image1
Topics in Computational Number Theory Inspired by Peter L. Montgomery:
image1
The King of Infinite Space : Euclid and His Elements:
image1
Solutions Manual to accompany Fundamentals of Matrix Analysis with Applications:
image1
Intermediate Algebra & Analytic Geometry:
image1
Time Series Analysis with Long Memory in View:
image1
Analyzing Longitudinal Clinical Trial Data:
image1
The philosophy of mathematics:
image1
The Earliest Arithmetics in English:
image1
An Introduction to Generalized Linear Models:
image1
How to Think Like a Mathematician:
image1
Introduction to Lie Groups and Lie Algebra, 51:
image1
Introduction to Mathematical Philosophy:
image1
A Treatise on Probability:
image1
Mathematical Modeling and Applied Calculus:
image1
College Algebra:
image1
99 Variations on a Proof:
image1
College Placement Math Success in 20 Minutes a Day:
image1
Bayesian Inference for Stochastic Processes:
image1
Set Theory An Introduction To Independence Proofs:
image1
Deductive Logic:
image1
Probability:
image1
Solving Problems in Geometry:
image1
Trigonometry Essentials Practice Workbook with Answers:

Stay in touch.

© 2024 AMPLE READS