Home  - Science - Temporal Logic

Books Baby Camera Phones Computers Games DVD Electronics Kitchen Magazines Music Garden Software Tools Toys Video Apparel & Accessories Jewelry & Watches Musical Instruments Health & Personal Care Beauty Sports & Outdoors Office Products

e99.com Bookstore

Images

Newsgroups

41-60 of 110    Back | 1  | 2  | 3  | 4  | 5  | 6  | Next 20

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Temporal Logic:     more books (100)

Advances in Temporal Logic (Applied Logic Series) 6th International Workshop on Temporal Representation and Reasoning (Time '99) by Fla.) International Workshop on Temporal Representation and Reasoning (6th : 1999 : Orlando, 1999-05 Extending Temporal Logic with Omega-automata: The Automata Theoretic Techniques behind PSL Model Checking by Nir Piterman, 2010-03-09 Spatio-Temporal Interpolation and Fuzzy Logic for GIS Simulation of Rural-to-Urban Transition.(geographic information systems): An article from: Cartography and Geographic Information Science by Suzana Dragicevic, Danielle J. Marceau, 1999-04-01 Temporal Logic in Finite-State Verification: Verification, Model Checking, Finite- State Machine, Linear Temporal Logic, Requirements, Formal Methods, Formal Verification Temporal Logic: First International Conference, Ictl '94 Bonn, Germany, July 11-14, 1994 : Proceedings (Lecture Notes in Computer Science) by Dov M. Gabbay, 1994-06 GERMAN TEMPORAL SEMANTICS (Outstanding Dissertations in Linguistics) by Nerbonne, 1985-09-01 Logics for Concurrency: Structure versus Automata Deontic Logic in Computer Science: 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) Integrating Functional and Temporal Domains in Logic Design: the False Path Prob by Patrick C. and Robert K. Brayton McGeer, 1991 Time Granularities in Databases, Data Mining, and Temporal Reasoning by Claudio Bettini, Sushil Jajodia, et all 2000-08-17 Reasoning about the function and timing of integrated circuits with Prolog and temporal logic (Technical report. University of Cambridge. Computer Laboratory) by M. E Leeser, 1988 Practical Formal Methods using Temporal Logic by Michael Fisher, 2010-08-16 An introduction to the model theory of first-order predicate logic and a related temporal logic (Memorandum / Rand Corporation) by Robert Mattison, 1969

lists with details

41. Basic Temporal Logic
    Basic temporal logic. Accordingly, the minimal temporal logic is axiomatized by adding to system K the axiom (4), which corresponds to transitivity.  
    http://www.informatik.uni-leipzig.de/~duc/Thesis/node52.html
    
    Extractions: Next: Propositional Dynamic Logic Up: Modal logic Previous: Montague-Scott semantics Contents The reading of the operator as ``always in the future'' (and accordingly, as ``sometimes in the future'') has proved plausible for many modal logics. Those systems are the most simple temporal (or tense) logics. Semantically, the ``possible worlds'' of a Kripke model are interpreted as moments in time, and the accessibility relation is viewed as the the relation ``later than''. Clearly, not all algebraic properties that can be imposed on binary relations are meaningful under a temporal interpretation. The most interesting properties are those characterizing ordering relations. Transitivity is probably the most basic condition that can be placed on the relation ``later than'', so it is typically assumed that temporal structures are transitive. Accordingly, the minimal temporal logic is axiomatized by adding to system K the axiom , which corresponds to transitivity. That system is denoted K , with the subscript indicating that a temporal logic is being considered.

42. Temporal Logic SE
    temporal logic SE. Web Engineering. temporal logic SE. Logic and Software Engineering, International Workshop in Honor of CS Tang, Beijing, pages 4371, 1995.  
    http://www.iturls.com/English/SoftwareEngineering/SE_f.asp

43. Temporal Logic
    Previous temporal database Next Tempura. temporal logic. There are two types of temporal logic used branching time and linear time.  
    http://burks.brighton.ac.uk/burks/foldoc/33/116.htm
    
    Extractions: The Free Online Dictionary of Computing ( http://foldoc.doc.ic.ac.uk/ dbh@doc.ic.ac.uk Previous: temporal database Next: Tempura logic predicate calculus which includes notation for arguing about *when* statements are true. Time is discrete and extends indefinitely into the future. Three prefix operators, represented by a circle, square and diamond mean "is true at the next time instant", "is true from now on" and "is eventually true". x U y means x is true until y is true. x P y means x precedes y. There are two types of formula: "state formulae" about things true at one point in time, and "path formulae" about things true for a sequence of steps. An example of a path formula is "x U y", and example of a state formula is "next x" or a simple atomic formula such at "waiting". "true until" in this context means that a state formula holds at every point in time up to a point when another formula holds. "x U y" is the "strong until" and implies that there is a time when y is true. "x W y" is the "weak until" in which it is not necessary that y holds eventually. There are two types of temporal logic used: branching time and linear time. The basic propositional temporal logic cannot differentiate between the two, though. Linear time considers only one possible future, in branching time you have several alternative futures. In branching temporal logic you have the extra operators "A" (for "all futures") and "E" (for "some future"). For example, "A(work U go_home)" means "I will work until I go home" and "E(work U go_home)" means "I may work until I go home".

44. The Temporal Logic Of Actions
    A logic for specifying and reasoning about concurrent systems.  
    http://www.research.digital.com/SRC/tla/

45. Temporal Logic
    temporal logic. For more information, see Anthony Galton, temporal logic in the Stanford Encyclopedia of Philosophy. This is a stub article.  
    http://www.fact-index.com/t/te/temporal_logic.html
    
    Extractions: Main Page See live article Alphabetical index In logic , the term temporal logic is used to describe any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. It is sometimes also used to refer to tense logic , a particular modal logic -based system of temporal logic introduced by Arthur Prior in the For more information, see: This is a stub article. You can help Wikipedia by improving it.

46. Visual Specification Of Branching Time Temporal Logic
    Talk. Visual Specification of Branching Time temporal logic.  
    http://kogs-www.informatik.uni-hamburg.de/~haarslev/vl95www/talks/T36.html

47. TIME International Symposium Series
    The annual International Workshop on Temporal Representation and Reasoning covers temporal representation and reasoning, including temporal logic.  
    http://www.cs.uregina.ca/~temporal/
    
    Extractions: You have reached the old web site for the TIME International Symposium Series. The new web site is at http://time.dico.unimi.it The TIME International Symposium Series began in 1994. The first six annual meetings were held as workshops in conjunction with the FLAIRS (Florida Artificial Intelligence Research Society) annual conference. As the workshop has grown, the participants decided to hold the annual meeting as an independent event. Since its inception, the purpose of this symposium series has been to bring together active researchers in the area of temporal representation and reasoning in Artificial Intelligence. Through paper presentations and discussions, the participants will exchange, compare, and contrast results in the area. Over the years, participation of researchers from areas outside of mainstream AI (especially the database community) has grown. For this reason, beginning with TIME-2001, we have opened the meeting to active researchers in temporal (including temporal-spatial) representation and reasoning from all areas. Additionally, the annual meeting has matured and the format has evolved to the point where it is more appropriately identified as a symposium rather than a workshop. Also, beginning with TIME-2001, we have adopted a track format for the symposium. For information about the current or previous meetings, follow the appropriate link below. Past, Present and Future Issues of the Symposium

48. Citeseer.ist.psu.edu/context/9751/0
    temporal logic in Information Systems Chomicki, Toman temporal logic is obtained by adding temporal connectives to a logic language. Different variants of temporal logic use different sets of such connectives.  
    http://citeseer.ist.psu.edu/context/9751/0

49. Spin
    A general tool for verifying the correctness of distributed software (designs) in a rigorous and mostly automated fashion. Can be used as a full linear temporal logic model checking system.  
    http://netlib.bell-labs.com/netlib/spin/whatispin.html

50. LookSmart - Directory - Disciplines And Methods Temporal Logic
    Logic. Disciplines and Methods temporal logic Read documentation, get tools, and download technical reports on temporal logic.  
    http://search.looksmart.com/p/browse/us1/us317914/us328800/us55141/us10037397/us

51. Temporal Logics
    Without the addition of additional temporal operators, temporal logic cannot express all regular expressions. Syntax. temporal logic and the Next time operator.  
    http://cs.wwc.edu/~aabyan/Logic/Temporal.html

52. Efficient Symbolic Tools
    A BDD based tool for the formal verification of concurrent systems using a propositional branchingtime temporal logic action computation tree logic (ACTL). It runs under different OS, including Linux and Windows 95/98/NT.  
    http://www.el.feri.uni-mb.si/est/

53. Modal Temporal Logic
    Modal temporal logic. Research applications. We have developed an efficient executional model for an interval based linear modal temporal logic.  
    http://www.comp.brad.ac.uk/research/ai/temporal.html

54. Temporale Logik Und Zustandssysteme
    Translate this page Oettingenstr. 67 Literatur. D. Gabbay, I. Hodkinson, M. Reynolds temporal logic - Mathematical Foundations and Computational Aspects. Vol. 1  
    http://www.pst.informatik.uni-muenchen.de/lehre/SS02/tl/

55. Temporal Logic - Encyclopedia Article About Temporal Logic. Free Access, No Regi
    encyclopedia article about temporal logic. temporal logic in Free online English dictionary, thesaurus and encyclopedia. temporal logic.  
    http://encyclopedia.thefreedictionary.com/temporal logic
    
    Extractions: Dictionaries: General Computing Medical Legal Encyclopedia Word: Word Starts with Ends with Definition In logic Roughly speaking, logic is the study of prescriptive systems of reasoning, that is, systems proposed as guides for how people (as well, perhaps, as other intelligent beings/machines/systems) ought to reason. Logic says which forms of inference are valid and which are not. Traditionally, logic is studied as a branch of philosophy, but it can also be considered a branch of mathematics and Computer Science. How people actually reason is usually studied under other headings, including cognitive psychology. Logic is traditionally divided into deductive reasoning, concerned with what follows logically from given premises, and inductive reasoning, concerned with how we can go from some number of observed events to a reliable generalization. Click the link for more information. , the term temporal logic is used to describe any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. It is sometimes also used to refer to tense logic , a particular modal logic Modal logic is a form of logic which deals with sentences that are qualified by modalities such as possibly

56. Temporal Logic
    temporal logic. We should mention that temporal logic is by no means the only tool used in AI for enabling reasoning about time and change.  
    http://www.rpi.edu/~brings/LOG AI/lai/node8.html

57. TEMPORAL LOGIC - Meaning And Definition Of The Word
    temporal logic Dictionary Entry and Meaning. Computing Dictionary. Definition There are two types of temporal logic used branching time and linear time.  
    http://www.hyperdictionary.com/computing/temporal logic
    
    Extractions: Search Dictionary: Computing Dictionary Definition: An extension of predicate calculus which includes notation for arguing about *when* statements are true. Time is discrete and extends indefinitely into the future. Three prefix operators, represented by a circle, square and diamond mean "is true at the next time instant", "is true from now on" and "is eventually true". x U y means x is true until y is true. x P y means x precedes y. There are two types of formula: "state formulae" about things true at one point in time, and "path formulae" about things true for a sequence of steps. An example of a path formula is "x U y", and example of a state formula is "next x" or a simple atomic formula such at "waiting". "true until" in this context means that a state formula holds at every point in time up to a point when another formula holds. "x U y" is the "strong until" and implies that there is a time when y is true. "x W y" is the "weak until" in which it is not necessary that y holds eventually. There are two types of temporal logic used: branching time and linear time. The basic propositional temporal logic cannot differentiate between the two, though. Linear time considers only one possible future, in branching time you have several alternative futures. In branching temporal logic you have the extra operators "A" (for "all futures") and "E" (for "some future"). For example, "A(work U go_home)" means "I will work until I go home" and "E(work U go_home)" means "I may work until I go home".

58. Modal And Temporal Logic - Course Details - Computing - Imperial College London
    The content of this site is, however, accessible to any browser or Internet device. Modal and temporal logic. Specific logics temporal logics.  
    http://www.doc.ic.ac.uk/teaching/coursedetails/499
    
    Extractions: Skip over navigation Quick Navigation Imperial home page A-Z of Departments Courses Research Alumni Faculty of Engineering Faculty of Life Sciences Faculty of Medicine Faculty of Physical Sciences Business School Spectrum (restricted to College users) People finder Help Note: Your browser does not support javascript or you have javascript turned off. Although this will not affect your accessibility to the content of this site, some of the advanced navigation features may not be available to you. Home Teaching Course Details Modal and Temporal Logic Note: Some of the graphical elements of this site are only visible to browsers that support accepted web standards . The content of this site is, however, accessible to any browser or Internet device. Lecturers: Ian Hodkinson homepage Marek Sergot homepage

59. Moshe Y. Vardi - Publications
    Enhanced Vacuity Detection in Linear temporal logic (CAV 03 paper with R. Armoni, L. Fix, A. Flaisher, O. Grumberg, N. Piterman, A. Tiemeyer).  
    http://www.cs.rice.edu/~vardi/papers/
    
    Extractions: The articles posted here consist of preliminary versions of articles that are about to be published or have been published in journals or conference proceedings. For final versions, please see cited journals or proceedings. If you'd like to be notified when new articles are posted here, click here. Regular Vacuity (Long version of CONCUR'04 Submission). GSTE Is Partitioned Model Checking (CAV'04 paper with R. Sebastiani, E. Singerman, and S. Tonetta). Verifying omega-Regular Properties of Markov Chains (CAV'04 paper with D. Bustan and S. Rubin). Search vs. Symbolic Techniques in Satisfiability Solving (SAT'04 paper with G. Pan). Complete Axiomatizations for Reasoning About Knowledge and Time (SICOMP paper with J.Y. Halpern and R. van der Meyden). The phase transition in the random 1-3-HornSAT problem (Special Volume on Computational Complexity and Statistical Physics paper with D. Demopoulos). From Complementation to Certification (TACAS'04 paper with O. Kupferman). Projection Pushing Revisited (EDBT04'04 paper with B. McMahan, G. Pan, and P. Porter).

60. From Event-Based Semantics To Linear Temporal Logic
    From EventBased Semantics to Linear temporal logic The Logical and Computational Aspects of a Natural Language Interface for Hardware Verification.  
    http://www.ltg.ed.ac.uk/prosper/papers/laureys-1999-ebs/
    
    Extractions: P ROSPER AT E DINBURGH Abstract Computing system design can significantly benefit from the application of formal verification techniques. However, the logical expertise which formal verification requires has often hindered its take-up in industry. The present work proposes a solution to this problem in the form of a natural language interface for hardware verification. From a theoretical point of view, the logical background for an interface system is researched. On the computational side, a prototype is developed which can form the foundation for a fully operational natural language interface. Full paper PostScript PDF 26 November 1999

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

41-60 of 110    Back | 1  | 2  | 3  | 4  | 5  | 6  | Next 20