Logic Tools for Temporal Knowledge Representation

Name: Logic Tools for Temporal Knowledge Representation
Availability: OutOfStock
ISBN: 9780135416990

ISBN-10: 013541699X

ISBN-13: 9780135416990

Edition: 1992

Authors: Helene Bestougeff, Gerard Ligozat

List price: $69.00

30 day, 100% satisfaction guarantee!

Out of stock

We're sorry. This item is currently unavailable.

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Book details

List price: $69.00
Copyright year: 1992
Publisher: Prentice Hall PTR
Binding: Hardcover
Pages: 300
Size: 7.25" wide x 9.75" long x 0.75" tall
Weight: 1.342
Language: English

Preface
Temporal Concepts	p. 1
The problem of the treatment of time	p. 1
Temporal concepts in natural language	p. 7
Temporal reasoning in artificial intelligence	p. 22
Temporal Structures	p. 26
Point Structures	p. 28
Interval Structures	p. 54
Allen systems and generalized intervals	p. 67
Passage from one viewpoint to another	p. 89
Temporal Logics	p. 102
Temporal Logics: Basic Theory	p. 103
Temporal logics: complements	p. 129
Extensions to Priorian Logics	p. 152
Implementation	p. 190
Intensional Logic	p. 192
Temporal Reasoning Systems in Artificial Intelligence	p. 214
Algorithms and Decision Procedures	p. 240
Appendix: General Characterization of Logical Representation Systems	p. 274
References	p. 299
Index	p. 307
Table of Contents provided by Blackwell. All Rights Reserved.