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

e99.com Bookstore
  
Images 
Newsgroups
Page 2     21-40 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. Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings (Lecture Notes in Computer Science)
  2. Executing Temporal Logic Programs by Ben C. Moszkowski, 1986-03-31
  3. Temporal Logic of Programs (Monographs in Theoretical Computer Science. An EATCS Series) by Fred Kröger, 1987-05-18
  4. Advances in Temporal Logic (APPLIED LOGIC SERIES Volume 16) by Howard Barringer, Michael Fisher, et all 1999-12-16
  5. Temporal Logic: From Ancient Ideas to Artificial Intelligence (Studies in Linguistics and Philosophy) by Peter Øhrstrøm, Per Hasle, 2010-11-02
  6. Temporal Logic (Library of exact philosophy) by Nicholas Rescher, 1971-06
  7. Integrating Functional and Temporal Domains in Logic Design:: The False Path Problem and Its Implications (The Springer International Series in Engineering and Computer Science) by Patrick C. McGeer, Robert K. Brayton, 1991-05-31
  8. Time-Ictl 2003: 10th International Symposium on Temporal Representation and Reasoning: And Fourth International Conference on Temporal Logic: Proceedi by IEEE, 2003-01
  9. The Imperative Future: Principles of Executable Temporal Logic (Advanced Software Development Series)
  10. Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence) by Wojciech Penczek, Agata Pólrola, 2010-11-02
  11. Representing Musical Time: A Temporal-Logic Approach (Studies on New Music Research) by Alan Marsden, 2000-01-01
  12. Representing Plans Under Uncertainty: A Logic of Time, Chance, and Action (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) by Peter Haddawy, 1994-03-23
  13. The Logic of Time: A Model-Theoretic Investigation into the Varieties ofTemporal Ontology and Temporal Discourse (Synthese Library) by Johan F.A.K. van Benthem, 2010-11-02
  14. A Formal Framework for Run-Time Verification of Web Applications: An Approach Supported by Scope Extended Linear Temporal Logic by May Haydar, 2009-09-08

21. Starlog At Waikato Department Of Computer Science
Declarative temporal logic programming language for general purpose programming, simulation, modeling reactive systems. Starlog programs consist of 2 components a set of timed facts, a set of temporal logic rules. Somewhat like Prolog.
http://www.cs.waikato.ac.nz/Research/starlog/index.html
S TARLOG
Search
Home People Research ... Facilities
S TARLOG : A New Logic Programming Language
Principal Researchers
John Cleary Roger Clayton Bernhard Pfahringer Mark Utting
What is Starlog?
Starlog is a declarative temporal logic programming language for general purpose programming, for simulation, and for modelling reactive systems. A Starlog program consists of two components: a set of timed facts describing a history of the Starlog world up to this point, and a set of temporal logic rules describing how to compute a new state of the world from facts true in the previous and current states of the world. For example, here are some rules that compute prime numbers. When this program is executed, the rules generate facts like prime@2, prime@3, mult@4, prime@5, and so on. prime@N < integer(N), N >= 2, not(mult@N). mult@I*J < prime@I, integer(J), J >= I. Starlog repeatedly applies the program rules to the current history of the world, thereby generating a new history of the world, which gets fed back into the next iteration of the loop. The history of the world includes facts corresponding to I/O operations and to the values of program variables of conventional programming languages. As a result, Starlog programs have a natural, declarative specification of I/O and destructive update.

22. Temporal Logic
Automatic verification of protocols and Reactive systems using temporallogic. temporal logic Time is of the Essence. temporal logic.
http://www.time-rover.com/tl.html
Temporal Logic: Time is of the Essence
Temporal Logic

23. Temporal Logic
Automatic verification of protocols and Reactive systems using temporal logic.temporal logic Time is of the Essence. Safety properties in temporal logic.
http://www.time-rover.com/ltl.html
Temporal Logic: Time is of the Essence Temporal logic is an extension of conventional (propositional) logic which incorporates special operators that cater for time. With Temporal Logic one can specify (and verify, using the TemporalRover) how components, protocols, objects, modules, procedures and functions behave as time progresses. The specification is done with (Temporal) logic statements that make assertions about properties and relationships in the past, present, and the future. Temporal Logic has been used extensively in award winning verification projects, such as done by the 1996 Turing award winner, Prof. Amir Pnueli. Temporal Logic is especially effective for the specification of Reactive (sub)systems and protocols , where indeed Time is of the Essence
Links
The Temporal Logic language of the TemporalRover
The TemporalRover allows designers, programmers, and testers to expand their existing design/programming language to support Temporal-Logic. The TemporalRover will translate those Temporal-Logic statements into executable code in the language being used.

24. Homepage Of Joeri Engelfriet
Vrije Universiteit Amsterdam Formal models for static and dynamic aspects of complex reasoning processes, temporal logic, and belief revision.
http://www.cs.vu.nl/~joeri/
FRAMES you can access my pages from my old homepage

25. Martin Fränzle, Researcher In CS, Oldenburg University, Germany
Universit¤t Oldenburg Formal methods, real-time and hybrid systems, hardware synthesis and verification, and temporal logic.
http://ca.informatik.uni-oldenburg.de/~fraenzle/
Dr. Position: Till July 2002, I have been senior research assistant at the Computer Science Department of the , Germany. In August 2002, I have moved to the Technical University of Denmark as an associate professor. Please consult my new homepage for more recent information. Research interests:
  • Real-time and hybrid control systems:
    • high-level modelling, formal methods for analysis, specification and design, automatic verification.
    Temporal logic:
    • semantics of metric-time variants,
    Semantic models of embedded systems and VLSI
New address: Informatics and Mathematical Modelling
The Technical University of Denmark
Richard Petersens Plads, Bldg. 322
DK-2800 Kgs. Lyngby
Denmark Tel: Fax: email: mf@imm.dtu.dk Last modified: Aug. 20, 2002

26. Re: Marking Up Temporal Logic
PrevNextIndexThread Re Marking up temporal logic. Warren, What operatorsdo you need? I am unfamiliar with first order temporal logic.
http://lists.w3.org/Archives/Public/www-math/msg00499.html
[Prev] [Next] [Index] [Thread]
Re: Marking up Temporal Logic
http://www.webeq.com , and make your images. (Unless temporal logic uses unusual operators...) Also, Mathematica 3.0 and higher can be used as high-quality equation editor to make GIFs if you have it available to you. Back in the TeX world, there is the venerable LaTeX2HTML program, but unless you have it installed and are familiar with it, it is definitely not a *quick* way of making a couple of equation images. another interesting alternative if you want to stick with TeX, but don't want to mess with images or a mess of software installation, is TeX2HTML, which uses a combination of HTML hacks and symbol fonts to fake equations in pure HTML. It usually turns out pretty well, and you can try it free for 21 days. I think you can even send in your HTML files with embedded TeX by email and get your processed files back by email. The URL is http://www.tex2html.com

27. Shmuel Katz's Home Page
The Technion Language constructs for distributed programming (superimposition, multiparty interactions, reconciliations), tools for design and programming of distributed systems (debugging, domain archetypes), interleaving set temporal logic (including for cache consistency), self-stabilization and fault-tolerance, formal specification methods.
http://www.cs.technion.ac.il/~katz/
CS home page
Shmuel Katz's Home Page
a photograph
Department of Computer Science
The Technion
Haifa 32000, Israel
+972-4-829-4322 (voice)
+972-4-822-1128 or -829-4353 (fax)
katz@cs.technion.ac.il
Research Interests:
  • Formal specification methods and connections among them, including issues of translations among specification notations and their effects on properties of models,
  • Verification using convenient executions, including semi-automatic proofs built over a PVS proof environment,
  • Language constructs for distributed programming (superimposition, multiparty interactions, reconciliations),
  • Tools for design and programming of distributed systems(debugging, domain archetypes)
  • Interleaving set temporal logicISTL (including for cache consistency),
  • Self-stabilization and fault-tolerance.
  • A list of publications
  • For copies of most of the papers, please send me an email request. However, a postscript copy of the paper "A Mechanized proof Environment for the Convenient Computations proof Method" by Marcelo Glusman and myself, to appear in the journal Formal Methods in System Design, is available here . The article "Superimpositions and Aspect-Oriented Programming" by Marcelo Sihman and myself, to appear in the BCS Computer Journal, is available

28. Angelo Montanari Home Page
University of Udine logical specifications of real-time systems, temporal and object-oriented databases, deductive databases, temporal representation and reasoning, modal and temporal logic, set theory.
http://www.dimi.uniud.it/~montana/index.html
Angelo Montanari
Associate Professor
Deputy Head of the
Department of Mathematics and Computer Science

University of Udine

via delle Scienze 206
33100 Udine - UD - Italy

e-mail: montana@dimi.uniud.it
http://www.dimi.uniud.it/~montana
phone: ++39 0432 55-8477
fax: ++39 0432 55-8499 Office: Room SN14
Biographical Sketch
  • Date of Birth : November 14, 1962 Place of Birth : Sacile, Italy Citizenship: Italian Marital Status : Married, with 3 children Knowledge of foreign languages : English
Education
M.Sc. in Computer Science, University of Udine, April 1987, thesis : ``A distributed architecture for natural language processing. Quantification and reference'', under the supervision of Prof. Giovanni Guida. The thesis received a prize from IBM Italia as one of the best theses in computer science of the 1987. Ph.D. in Logic and Computer Science, University of Amsterdam, September 1996, thesis: ``Metric and Layered Temporal Logic for Time Granularity'', under the supervision of Prof. Johan van Benthem, University of Amsterdam and University of Stanford, and Prof. Alberto Policriti, University of Udine.
Occupations
  • 1987-1988 : Civil Service 1989-1991 : researcher at CISE - Tecnologie Innovative, Milano, Artificial Intelligence and Software Engineering Group. During this period, he was involved in national (CNR Project on Informatic Systems and Parallel Computation) and international (ESPRIT Project n. 2409 EQUATOR: an Environment for QUAlitative and TempOral Reasoning) research projects

29. Simin Nadjm-Tehrani
Link¶ping University Formal methods in verification of real-time and embedded systems, including discrete and hybrid models, applications of temporal logic, symbolic model checking, automata-based decompositional proof techniques.
http://www.ida.liu.se/~snt/
Linköpings universitet Department of Computer and Information Science Real-Time Systems Lab Email: simin@ida.liu.se
Phone:
Fax:
Office:
Building B, First floor, Room 3B:442-444
Real-time Systems Laboratory (RTSLAB)

Department of Computer and Information Science

Simin Nadjm-Tehrani is the Director of Real-time Systems Laboratory (RTSLAB) since January 2000.
  • formal analysis of safety and fault-tolerance in safety-critical systems
  • system availability: support for fault-tolerance in middleware
  • survivability in critical infrastructures using self-healing agents
  • formal verification of hybrid (discrete-continuous) models
Her main interests within the field of education are:
  • curriculum design
  • problem-based learning (PBL)
  • authentic examination forms
  • women in computer science
Details of current activities and publications can be found on the RTSLAB web pages Last modified on Friday January 24, 2003 by Simin Nadjm-Tehrani

30. Kono's Temporal Logic Related Information
The summary for this Japanese page contains characters that cannot be correctly displayed in this language/character set.
http://rananim.ie.u-ryukyu.ac.jp/~kono/temporal-logic.html
»þ¶è´Ö»þÁêÏÀÍý(Interval Temporal Logic)¤ò»È¤¤¿¤µ¤Þ¤¶¤Þ¤Ê¥×¥í¥¸¥§¥¯¥È ¤Ë´Ø¤¹¤ë¥Ú¡¼¥¸¤Ç¤¹¡£
  • English Page is here
  • 31. DeveloperWorks: Java Technology : Diagnosing Java Code: Assertions And Temporal
    One way to fill this gap is with temporal logic, a formalism used to describe howa program state will change over time. And temporal logic can be extended.
    http://www-106.ibm.com/developerworks/java/library/j-diag0723.html?dwzone=java

    32. TemporalRover
    Provides automatic verification of protocols and reactive systems through temporal logic specifications.
    http://www.time-rover.com/

    33. DeveloperWorks: Java Technology : Diagnosing Java Code: Using Temporal Logic Wit
    temporal logic is a formalism used to describe how a program state will changeover time. Diagnosing Java code Using temporal logic with bug patterns,
    http://www-106.ibm.com/developerworks/java/library/j-diag0827.html?dwzone=java

    34. Logic And Computation Group
    Department of Computing and Mathematics, logic and Computation Group. Research projects Proof Methods for NonClassical logics; temporal and Modal logics; Programming Language Design; Agent-Based Systems. Members, research interests, bibliography.
    http://www.doc.mmu.ac.uk/RESEARCH/LoCo/
    Logic and Computation Group
    Department of Computing and Mathematics
    Manchester Metropolitan University
    Manchester M1 5GD, U.K. C ONTACT: Michael Fisher Back row, from left: Tony Kakoudakis, Heiko Kampmann, Ullrich Hustadt, Michael Fisher. Front row, from left: Clare Dixon, Chiara Ghidini, Renate Schmidt, Marco Arranz.
    Introduction
    The Logic and Computation research group is part of the Department of Computing and Mathematics within the Manchester Metropolitan University . Its members are currently Shaheena Abbas, Marco Arranz, Alexander Bolotov, Clare Dixon, Michael Fisher, Chiara Ghidini, Ullrich Hustadt, Tony Kakoudakis, Heiko Kampmann, Adam Kellett, Peter Quigley, and Renate Schmidt.
    Some previous members include Rob Johnson , Marco Mulder, Bob Scott , Adam Walker, and Michael Wooldridge
    Group Members
    Shaheena Abbas is a Lecturer in the Department of Computing and Mathematics. Prior to joining the department she was a member of the Multi-Agent Systems Group within the Department of Computation at UMIST, as a student and Research Assistant and as a Research Assistant within the Department of Computer Science, University College Dublin. She holds a B.Sc. honours degree in Management Science and a degree a M.Sc. degree in Computation and will graduate with a Doctorate in Computation in 1998. She has been actively involved in research in the area of Multi-Agent Systems for the past six years and her main area of interest is Multi-Agent System Design and Development.
    Marco Arranz
    is a Visiting Research Fellow in the Department of Computing and Mathematics. His main interests are in designing a formal framework to deal with interactive processes among autonomous agents in self-interested domains. The methods developed inherently target problems involving agents that have diferent goals and that attempt to maximize their own good. He is focused on communication protocols and negotiation processes in order to get produce coordinated plans.

    35. SRI International - Computer Science Laboratory - Ground Temporal Logic: A Logic
    Publications Ground temporal logic A logic for Hardware Verification by DavidCyrluk and Paliath Narendran. Lecture Notes in Computer Science, Volume 818.
    http://www.csl.sri.com/papers/cav94/

    Computing Sciences

    Computer Science Laboratory

    Contact

    People
    ...
    Jobs

    Publications
    Ground Temporal Logic: A Logic for Hardware Verification
    by David Cyrluk and Paliath Narendran

    Lecture Notes in Computer Science, Volume 818.
    From Computer-Aided Verification (CAV '94) Edited by David Dill. Springer-Verlag, Stanford, CA. June, 1994. Abstract: We present a new temporal logic, GTL, appropriate for specifying properties of hardware at the register transfer level. We argue that this logic represents an improvement over model checking for some natural hardware verification problems. We show that the validity problem for this logic is Pi 1-1 complete. We then identify a fragment of the logic that is decidable. We show that in this fragment we are still able to encode many interesting problems, including the correctness of pipelined microprocessors. BibT E X entry: http://www.csl.sri.com/papers/cav94/ Download: cav94.ps.gz Compressed PostScript Home About Us Working with SRI Careers ... News

    36. Citations: Applications Of Temporal Logic To The Specification And Verification
    A. Pnueli. Applications of temporal logic to the specification andverification of reactive systems A survey of current trends.
    http://citeseer.nj.nec.com/context/4422/0
    107 citations found. Retrieving documents...
    A. Pnueli. Application of temporal logic to the specification and verification of reactive systems: A survey of current trends . In Current Trends in Concurrency, volume 224 of LNCS, pages 510584. Springer-Verlag, 1986.
    Home/Search
    Document Not in Database Summary Related Articles Check
    This paper is cited in the following contexts:
    First 50 documents Next 50
    A Temporal Description Logic for Reasoning over.. - Artale, Franconi, ..
    (Correct) ....E t be the target one; the two cases are captured by the following formulas, respectively: E s v (E t u :E s ) E s v E t An interesting consequence of dynamic evolution is that the source is necessarily a temporary entity. DLRUS is also able to capture safety and liveness constraints A safety constraint intuitively says that nothing bad ever happens and can be captured by the formula 2 : E v ) On the other hand, liveness constraints saying that something good will happen can be expressed by existential temporal formulas: 3 : E v ) Schema evolution. We consider ....

    37. Dept. Of AI: Alumni
    University of Ulm Object-oriented approaches to formal specification and verification, formal specification and verification of reactive systems, component-based formal development of concurrent systems, and the temporal logic of Actions.
    http://www.informatik.uni-ulm.de/ki/canver.html
    University of Ulm Faculty of Computer Science Dept. of Artificial Intelligence back: Staff
    Former Members
    Alumni Ercüment Canver Ercuement .Canver @icn. siemens.de joined Siemens AG, Ulm Daniela Damm damm@ifi.unizh.ch Dr. Axel Dold dold@tescom.de or axel.dold@gmx.de joined TESCOM GmbH, Ulm Andrea Hemprich hemprich@io-software.com joined IO Software, Freiburg Martin Hiller Martin.Hiller@t-systems.de joined T-Systems/Debis, Ulm Alke Martens ... alke.martens@informatik.uni-rostock.de joined Univ. of Rostock Prof. Dr. Bernhard Nebel nebel@informatik.uni-freiburg.de joined Univ. of Freiburg Stephan Pfab spf@pc-plus.de Dr. Harald ruess@csl.sri.com joined SRI International, Menlo Park, CA Dr. Jussi Rintanen rintanen@informatik.uni-freiburg.de joined Univ. of Freiburg Detlef Schwier detlef@blaxxun.de joined blaxxun interactive, München Dr. Martin Strecker Martin.Strecker@in.tum.de joined TU München Dirk Tyschler Dirk.Tyschler@gmx.net joined Bayer AG, Leverkusen Petra Tyschler Petra.Tyschler@gmx.net joined Allianz AG, Stuttgart Prof. Dr. Adelinde

    38. Temporal Logic
    As a basis for describing the genetic algorithm we will use a combination of classicalfirstorder logic, temporal logic 116 , and probabilistic logic 106
    http://www.uwasa.fi/cs/publications/2NWGA/node285.html
    Next: Probabilistic Logic Up: Temporal Probabilistic Logic Previous: Temporal Probabilistic Logic
    Temporal Logic
    As a basis for describing the genetic algorithm we will use a combination of classical first-order logic, temporal logic [ , and probabilistic logic [ As far as temporal logic is concerned, our logic is based on temporal intervals, typically denoted I . Intervals may be used in expressions in various ways, using the following operators (table Given an interval I we have the following two operations on intervals. In order to reason within our logic we need to define some basic operators, in addition to the standard first-order logic with its boolean operators (disjunction), (conjunction), (negation), (implication) and (equivalence). We also have the first order operators (existence), and (universality). Following Manna and Pnueli [ , the temporal operators in table are sufficient for our purposes.
    Table: operators. p and q are general propositions.
    for intervals. Note that some of these operators are `weak' versions: wait-for is a weak version of the until operator which allows for the possibility that q never occurs and, then

    39. Temporal Probabilistic Logic
    next up previous contents Next temporal logic Up Time in GeneticAlgorithms Previous Introduction. temporal Probabilistic logic.
    http://www.uwasa.fi/cs/publications/2NWGA/node284.html
    Next: Temporal Logic Up: Time in Genetic Algorithms Previous: Introduction
    Temporal Probabilistic Logic
    In order to understand the basic principles of the formalism we will introduce and treat temporal logic, probabilistic logic and the combination separately.

    Tommi Rintala
    Thu Jul 4 10:59:43 EET DST 1996

    40. Temporal Annotated Constraint Logic Programming With Multiple Theories
    Index Terms constraint logic programming, meta-logic, temporal reasoning, knowledgerepresentation Copyright (c) 1998 Institute of Electrical and Electronics
    http://www.computer.org/conferen/proceed/dexa/0281/02810501abs.htm
    September 01 - 03, 1999 Florence, Italy p. 501 Temporal Annotated Constraint Logic Programming with Multiple Theories Paolo Mancarella, Alessandra Raffaetà, Franco Turini Università di Pisa ... constraint logic programming, meta-logic, temporal reasoning, knowledge representation The full text of dexa is available to members of the IEEE Computer Society who have an online subscription and an web account

    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 2     21-40 of 102    Back | 1  | 2  | 3  | 4  | 5  | 6  | Next 20

    free hit counter