Geometry.Net - the online learning center
Home  - Science - Logic Temporal

e99.com Bookstore
  
Images 
Newsgroups
Page 4     61-80 of 102    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  

         Logic Temporal:     more books (100)
  1. Decision procedures and expressiveness in the temporal logic of branching time (Technical report. University of Texas at Austin. Dept. of Computer Sciences) by E. Allen Emerson, 1985
  2. Temporal-logic theorem proving (Report / Stanford University. Dept. of Computer Science) by Martín Abadi, 1987
  3. Characterizing Kripke structures in temporal logic (Research paper. Carnegie-Mellon University. Computer Science Department) by M. C Browne, 1987
  4. Design verification of sequential machines based on a model checking algorithm of e-free regular temporal logic (Research paper. Carnegie Mellon University. Computer Science Dept) by Hiromi Hiraishi, 1988
  5. Problems concerning fairness and temporal logic for conflict-free petri nets (Technical report. University of Texas at Austin. Dept. of Computer Sciences) by Rodney R Howell, 1987
  6. On the eventuality operator in temporal logic (Technical report. Yale University. Dept. of Computer Science) by Aravinda Prasad Sistla, 1987
  7. Avoiding the state explosion problem in temporal logic model checking algorithms (Research paper. Carnegie Mellon University. Computer Science Dept) by E. M Clarke, 1987
  8. A really temporal logic (Report / Stanford University. Computer Science Dept) by Rajeev Alur, 1989
  9. Temporal logics for abstract semantics (Technical report series. University of Manchester. Dept. of Computer Science) by Michael Fisher, 1987
  10. Temporal logic for proof-carrying code ([Research paper] / Carnegie Mellon University. School of Computer Science) by Andrew Bernard, 2002
  11. Synthesis of hardware elements from propositional temporal interval logic (Technical report. Pennsylvania State University. Dept. of Computer Science) by A. A Aaby, 1988
  12. Semantics for reified temporal logic (Research paper. University of Edinburgh. Department of Artificial Intelligence) by Han Reichgelt, 1986
  13. On parallel programming methodology in GHC: Experience in programming of a proof procedure of temporal logic (Technical report. Institute for New Generation Computing Technology) by Kazuko Takahashi, 1986
  14. Temporal logic programming is complete and expressive (Report / Stanford University. Computer Science Dept) by Marianne Baudinet, 1988

61. Temporal Logic
Previous temporal database Next Tempura. temporal logic. There aretwo types of temporal logic used branching time and linear time.
http://burks.brighton.ac.uk/burks/foldoc/33/116.htm
The Free Online Dictionary of Computing ( http://foldoc.doc.ic.ac.uk/ dbh@doc.ic.ac.uk Previous: temporal database Next: Tempura
temporal logic
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".

62. Modal Temporal Logic
Modal temporal logic. Research applications. We have developed an efficientexecutional model for an interval based linear modal temporal logic.
http://www.comp.brad.ac.uk/research/ai/temporal.html
Department of Computing University of Bradford
University Information Service: Contents Index Search
Modal Temporal Logic
Research into temporal logic includes the study of temporal logic within the framework of logic and covers: axiom systems, theorem proving and proof theory, model theory, execution models and applications. Author: I.S.Torsun
Last update: 2/5/96 Up to AI group homepage

63. Browsing Science Math Logic And Foundations Nonstandard Logics And Extensions Te
Centre for Agent Research and Development Among other activities, this group explorestopics related to temporal logic including temporal resolution methods.
http://www.uksprite.com/search/search/Science/Math/Logic_and_Foundations/Nonstan
/* CSS Menu highlight- By Marc Boussard (marc.boussard@syntegra.fr) Modified by DD for NS4 compatibility Visit http://www.dynamicdrive.com for this script */ var ns4class=''
WebSearch Low-cost advertising at UKSprite Join Login @UK.Sprite Home Latest Headlines UK Weather World Weather ... UK Travel Guide Fun TV Guide Lotto e-Greetings Mobile Fun Communicate Email Login Get Free Email Free Text Messages Lifestyle Horoscopes Dating Recipes Health Shop DVD's Books Videos More... Deals Auctions Classified Ads Site Map
Browsing: Science Math Logic and Foundations Nonstandard Logics and Extensions Temporal Logic Top Science Math Logic and Foundations ... Nonstandard Logics and Extensions Temporal Logic
Categories: Prior, Arthur
Related Categories:
Reference: Time

Centre for Agent Research and Development

Among other activities, this group explores topics related to temporal logic including temporal resolution methods.
http://www.doc.mmu.ac.uk/RESEARCH/CARD/
Preview This Site

Efficient Symbolic Tools
A BDD based tool for the formal verification of concurrent systems using a propositional branching-time 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/

64. Verifying Temporal Formulas In The Temporal Logic Of Actions
Verifying temporal Formulas in the temporal logic of Actions. LucianWischik, University of Cambridge. The temporal logic of Actions.
http://gatekeeper.research.compaq.com/pub/DEC/SRC/technical-notes/SRC-1999-003-h

65. Temporal Logic
temporal logic. A Two useful temporal logics are Computation Tree logic(called CTL) and Linear temporal logic (called LTL). They
http://nusmv.irst.itc.it/NuSMV/papers/sttt_j/html/node3.html
Next: Symbolic Representation of Kripke Up: Symbolic Model Checking Previous: Symbolic Model Checking
Temporal Logic
A finite state system can be described as a tuple:
where is a finite set of states, is the set of initial states, and is the transition relation, specifying the possible transitions from state to state. is a function that labels states with the atomic propositions from a given language. Such a tuple is called state transition graph or Kripke structure
Figure 1: A State Transition Graph and its unwinding.
Temporal logics are used to predicate over the behavior defined by Kripke structures. A behavior in a Kripke structure is obtained starting from a state , and then repeatedly appending states reachable through . We require that the transition relation be total. As a consequence all the behaviors of the system are infinite. Since a state can have more than one successor, the structure can be thought of as unwinding into an infinite tree, representing all the possible executions of the system starting from the initial states. Figure shows a state transition graph and its unwinding from the state labeled with `` A Two useful temporal logics are Computation Tree Logic (called CTL) and Linear Temporal Logic (called LTL). They differ in how they handle branching in the underlying computation tree. In CTL temporal operators it is possible to quantify over the paths departing from a given state. In LTL operators are intended to describe properties of all possible computation paths.

66. From Event-Based Semantics To Linear Temporal Logic
From EventBased Semantics to Linear temporal logic The logical and ComputationalAspects of a Natural Language Interface for Hardware Verification.
http://www.ltg.ed.ac.uk/prosper/papers/laureys-1999-ebs/
P ROSPER AT E DINBURGH
Proof and Specification Assisted Design Environments
From Event-Based Semantics to Linear Temporal Logic: The Logical and Computational Aspects of a Natural Language Interface for Hardware Verification
Tom Laureys
MSc Dissertation, School of Cognitive Science , University of Edinburgh
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

67. QSL: Temporal Logic
temporal logic. December 10, 2002. 11h00, Break, 11h20, temporal logic with ForgettablePast François Laroussinie, LSV, Ecole Normale Supérieure, Cachan
http://www.loria.fr/~merz/events/qsl021012/
QSL seminar Temporal Logic December 10, 2002 LORIA
Rooms B011/B013
Campus Scientifique
Vandoeuvre-les-Nancy
directions
Organizers: and Stephan Merz
The logic of time has its roots in philosophy and linguistics. Its application to specification and reasoning about computer-based systems is mainly due to Amir Pnueli's insight (published in his FOCS 1977 paper "The temporal logic of programs") that it provides relevant abstractions to describe runs of computer programs, and in particular of reactive systems . One of the practically most relevant discoveries has been the decidability of the model checking problem of standard propositional temporal logics over finite-state Kripke structures, leading to important advancements in the field of automatic verification and debugging of reactive systems, now routinely used in the herdware and telecommunication industries. This seminar is intended to review and discuss some recent developments as well as lessons learnt at the interface of theory and practice. Registration expired Welcome Automata and Games for Synthesis
Igor Walukiewicz

68. The Temporal Logic Of Actions I
The temporal logic of Actions I. Wolfgang Provability; Rigid Variables and Quantifiers;The Enabled Predicate; Simple temporal logic; temporal Formulas;
http://www.risc.uni-linz.ac.at/courses/ss2001/formalpar/tla1/
The Temporal Logic of Actions I
Wolfgang Schreiner
Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University, A-4040 Linz, Austria
  • Introduction
  • Logic Versus Programming
  • Goals of a Programming Logic
  • The Logic of Actions ...
  • Additional Rules Author: Wolfgang Schreiner
    Last Modification: May 14, 1998 Up RISC-Linz University Search
  • 69. Linear Temporal Logic
    Linear temporal logic. This contribution 6166). Date July 2002. Keywords temporallogic, infinite transition systems, coinduction. Warning ! This
    http://coq.inria.fr/contribs/LTL.html
    Linear Temporal Logic
    This contribution contains a shallow embedding of Linear Temporal Logic (LTL) based on a co-inductive representation of program executions. Temporal operators are implemented as inductive (respectively co-inductive) types when they are least (respectively greatest) fixpoints. Several general lemmas, that correspond to LTL rules, are proved. Download (archive compatible with Coq V7.4) Author: Solange COUPET-GRIMAL Institution: Laboratoire d'Informatique Fondamentale de Marseille (LIF, UMR 6166). Date: July 2002 Keywords: temporal logic, infinite transition systems, co-induction. Warning ! This contribution is based upon the following other contributions: relations The README file of the contribution: This page was automatically generated from this description file

    70. AIDAM Special Issue: Temporal Logic In Engineering
    CALL FOR PAPERS. Special Issue on temporal logic in Engineering. GuestEditors Brian Knight and Ephraim Nissan Deputy Guest Editor Jixin Ma.
    http://www.gre.ac.uk/~E.Nissan/call.aiedam.temporal.logic.html
    CALL FOR PAPERS
    Special Issue on Temporal Logic in Engineering
    Guest Editors: Brian Knight and Ephraim Nissan
    Deputy Guest Editor: Jixin Ma
    AIEDAM: ARTIFICIAL INTELLIGENCE FOR
    ENGINEERING DESIGN, ANALYSIS AND MANUFACTURING.
    A journal published by Cambridge University Press.
    Temporal logic within AI is now a mature paradigm, with an extensive literature on theory, and a considerable panoply of published applications. Paper submissions are solicited for a special issue on applications of temporal logic to any branch of engineering. Papers should make a substantial contribution to the application domain, to provide insights other than rote on temporal logic itself, and to appeal to a scholarly readership of engineers or computer scientists. Refereeing will evaluate the quality of submissions in respect of both the application domain, and computer science. AIEDAM: Artificial Intelligence for Engineering Design, Analysis and Manufacturing is an archival research journal that is intended to reach two audiences: engineers and designers who see AI technologies as powerful means for solving difficult engineering problems; and researchers in AI and computer science who are interested in applications of AI and in the theoretical issues that arise from such applications. Original articles are specifically sought by AIEDAM, that develop new and interesting applications based on the most up-to-date research in all branches and phases of engineering, including analysis, synthesis and design; manufacturing and assembly; and concurrent engineering. The journal is interested in the use of AI in planning, design, analysis, simulation, spatial reasoning and graphics, manufacturing, assembly, process planning, scheduling, numerical analysis, and optimization. reas of special interest include: knowledge-based (expert) systems for engineering, including knowledge acquisition and representation, control, and system architectures; theo- retical work on the modeling of engineering problem-solving and design processes; the integration of AI-based techniques with numerical analysis tools, graphics and solid modeling packages, and engineering databases; and engineering applications of knowledge-based vision and of natural language processing.

    71. Temporal Logic As A Programming Language
    temporal logic as a Programming Language. The framework developed for propositionaltemporal logic is extended to firstorder temporal logic.
    http://siskin.pst.informatik.uni-muenchen.de/~merz/papers/diss.html

    72. Efficiently Executable Temporal Logic Programs
    Efficiently executable temporal logic programs. Abstract We identifya subset of firstorder LTL (temporal logic of linear time) that
    http://siskin.pst.informatik.uni-muenchen.de/~merz/papers/IJCAI93.html

    73. Temporal Logic And Semidirect Products: An Effective Characterization Of The Unt
    temporal logic and Semidirect Products An Effective Characterizationof the Until Hierarchy. Denis Thérien, Thomas Wilke. Abstract.
    http://epubs.siam.org/sam-bin/dbq/article/32277
    SIAM Journal on Computing
    Volume 31, Number 3

    pp. 777-798
    Temporal Logic and Semidirect Products: An Effective Characterization of the Until Hierarchy
    Denis Thérien, Thomas Wilke
    Abstract. We reveal an intimate connection between semidirect products of finite semigroups and substitution of formulas in linear temporal logic. We use this connection to obtain an algebraic characterization of the until hierarchy of linear temporal logic. (The k th level of that hierarchy is comprised of all temporal properties that are expressible by a formula of nesting depth k in the until operator.) Applying deep results from finite semigroup theory we are able to prove that each level of the until hierarchy is decidable. By means of EhrenfeuchtFraissé games, we extend the results from linear temporal logic over finite sequences to linear temporal logic over infinite sequences. Key words. linear temporal logic, until hierarchy, substitution, finite semigroups, pseudovarieties of semigroups, aperiodic semigroups, semidirect products AMS Subject Classifications PII
    Retrieve PostScript document ( 32277.ps

    74. UMCS-94-7-1 A Reified Temporal Logic For Nonlinear Planning
    UMCS94-7-1 A Reified temporal logic for Nonlinear Planning (158605 bytes).Y. Zhang and H. Barringer. Keywords temporal logics in AI. AI planning.
    http://www.cs.man.ac.uk/cstechrep/Abstracts/UMCS-94-7-1.html
    UMCS-94-7-1
    A Reified Temporal Logic for Nonlinear Planning

    (158605 bytes)
    Y. Zhang and H. Barringer
    Keywords:
    Temporal logics in AI. AI planning. Deductive planning. Nonlinear planning.
    Abstract:

    75. 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/
    EST Home Page EST SourceForge Page is a mirror of this page at SourceForge Project: Efficient Symbolic Tools Authors: Robert Meolic, Tatjana Kapus, Ales Casar, Mirjam Sepesy Maucec, Zmago Brezocnik Synopsis: Efficient Symbolic Tools package (EST) is a new tool for the verification of concurrent systems , which has not been widely presented yet. Its main advantages are the flexibility, portability and an efficient memory management. The latter is mainly the consequence of a well implemented BDD package with good garbage collection functions. EST distinguishes itself as a small and efficient package with an easily readable source code and well implemented algorithms. It runs on many different computers with different operating systems, including HP-UX, Linux, and Windows 95/98/NT. COBISS-ID: 5626902 (this number is used by Slovenian libraries) Source Forge: EST SourceForge Project Info Previews: license menu dialog colors ... an example of verification
    Binary release of EST, 1st edition

    76. People In Temporal Logic
    People in temporal logic. A list of Personal WWW pages of researchesin temporal logic. This is my personal collection of links to
    http://www.doc.mmu.ac.uk/STAFF/A.Bolotov/LINKS/people.html
    People in Temporal Logic
    A list of Personal WWW pages of researches in Temporal Logic. This is my personal collection of links to WWW pages of those researchers I referred to or used their texts as a background.
  • Julian Bradfield
  • Bruno Courcelle
  • Orna Crumberg
  • Mads Dam ...
  • Pier Wolper
  • 77. Temporal Logic
    8. Intuitions about actions and events. 9. Interval temporal logic 10. Time infirst order predicate logic 11. Conclusion 16. References. temporal logic.
    http://guthulamurali.freeservers.com/temp.html
    Free Web site hosting - Freeservers.com
    CONTENTS
    1. Abstract
    2. Knowledge and Knowledge representation
    3. Introduction to Temporal Logic
    4. Modeling Time
    5. Reasoning About Time and The Situation Calculus
    6. James F. Allen and George Ferguson theory
    7. Representing Actions and Events.
    8. Intuitions about actions and events.
    9. Interval temporal logic 10. Time in first order predicate logic 11. Temporal logic based on modality 12. An Example of Reasoning of temporal logic : Study room 13. Advantages and disadvantages 14. Applications 15. Conclusion 16. References TEMPORAL LOGIC ABSTRACT: In temporal logic we will consider how it will effect the world which is developing very fast. Now a days it is very important to consider time as basic unit. Every plan depends on time. In this topic we will explain various temporal logic in which time plays important role we will also deal with various author theories in which they explain by taking time in to account. We consider various robot actions, planning, natural language understanding scheduling, and genetics. At last we will explain about reasoning of study room using temporal logic. Knowledge 'Knowledge is the symbolic representation of aspects of some named universe of discourse.' The universe of discourse may be the actual universe or some non-actual universe such as a universe in the future, a make -believe depicted in fiction, a universe existing in an individual's beliefs, etc.

    78. Temporal Logic Resources
    temporal logic Resources. Appeared in Volume 6/2, May 1993 Keywords temporal. Sometimeago, I asked can anyone point me to a very good text on temporal logic?
    http://www-lp.doc.ic.ac.uk/UserPages/staff/ft/alp/net/exts/temporal.html
    Temporal Logic Resources
    Appeared in Volume 6/2, May 1993
    Keywords : temporal. mb108@cs.city.ac.uk
    omo Adelakun T K
    27th January 1993
    Sometime ago, I asked: can anyone point me to a very good text on temporal logic? Does anyone know of a temporal logic interpreter? Something along the lines of Prolog, or an extension? This is a summary of the responses I received. From: cmenzel@kbssun1.tamu.edu (Chris Menzel) J. van Bentham, The Logic of Time, Reidel, 1983
    A model-theoretic investigation into the varieties of temporal ontologies and their logics. kono@csl.sony.co.jp Robert Goldblatt, CSLI Lecture Notes, Logic of Time and Computation, CSLI, Vol. 7, 1987 There are many temporal logic interpreters: 1.Tokio, based on interval temporal logic, which I wrote. It is supported by both an interpreter and a compiler. It is close to Tempura, but supports non-deterministic execution. M. Fujita and S. Kono and H. Tanaka, Tokio: LP Language based on Temporal Logic and its compilation to Prolog, Proc. of Int. Conf. on LP, London, July 1986 2. Temporal Prolog.

    79. 499 Modal & Temporal Logic
    499 Modal and temporal logic. 4th year/MAC course. Lecturers Michael Huthand Marek Sergot. Michael Huth gives the first half of the course.
    http://www-lp.doc.ic.ac.uk/UserPages/staff/mjs/teaching/499.html
    499 Modal and temporal logic
    4th year/MAC course. Lecturers: Michael Huth and Marek Sergot.
    • Michael Huth gives the first half of the course.
      The first 7 lectures (based on Ian Hodkinson's slides) cover: syntax, semantics, Sahlqvist correspondence, p-morphisms, temporal logic.
      The next 3 lectures will present LTL and CTL model checking in NuSMV, used in hardware and software verification. Marek Sergot gives the second half of the course:
      soundness, completeness, and canonical models; non-normal (classical) systems and 'neighbourhood semantics';
      epistemic logic and `grounded semantics' for multi-agent systems (based on slides by Alessio Lomuscio
      introduction to conditional logics; first-order modal logic (sketch).
      Examples (in particular, logics of knowledge and belief, obligation/duty, agency, and logics encountered in practical reasoning)
      will be used for illustration during the lectures.
    You can find material on Michael Huth's part of the course here NEW! The sheet for assessed coursework 2 is at the bottom of the page.
    Lecture notes

    80. TCS - Studies - T-79.146 Logic In Computer Science: Special Topics I
    Other Interesting Stuff. Formal methods Information and links Interesting bookson modal logic, temporal logic and verification of reactive systems.
    http://www.tcs.hut.fi/Studies/T-79.146/
    TCS Studies / T-79.146 Logic in Computer Science: Special Topics I
    T-79.146 Logic in Computer Science: Special Topics I (2 cr)
    Spring 2003
    General Information Lectures Tutorials Home assignments ... TOPI
    Previous years: [ Spring 2002 Spring 2001 Spring 2000 Spring 1999 ... Spring 1998 This is an advanced course on logic and its applications in computer science and engineering. Subjects covered this year are: modal logics (syntax, semantics, proof theory and computational properties) and applications of temporal logic in concurrent and distributed systems.
    General Information
    • NEWS No lectures on Wed Feb 19 and no tutorial on Fri Feb 21 (because the lecturer is abroad).
    • Lectures by Prof. Ilkka Niemelä : Wednesday 14-16, room TB353
    • Tutorials by M.Sc.(Tech.) Heikki Tauriainen : Fridays 9-10, room TB353
    • The course starts on Wed Jan 15 at 14.15
    • Course material
      Lecture notes.
      M. Fitting, Basic Modal Logic, Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 1, Logical Foundations, 1993.
      E. Clarke and O. Grumberg and D. Peled, Model Checking, The MIT Press, 1999. (Chapters 1-4)

    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  

    Page 4     61-80 of 102    Back | 1  | 2  | 3  | 4  | 5  | 6  | Next 20

    free hit counter