Home - Science - Temporal Logic |
Page 3 41-60 of 104 Back | 1 | 2 | 3 | 4 | 5 | 6 | Next 20 |
41. $FILE Among other activities, this group explores topics related to temporal logic including temporal resolution methods. http://www.doc.mmu.ac.uk/RESEARCH/CARD/ | |
|
42. Temporal Logic temporal logic. We should mention that temporal logic is by no means theonly tool used in AI for enabling reasoning about time and change. http://www.rpi.edu/~brings/LOG AI/lai/node8.html |
43. 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/ | |
|
44. Visual Specification Of Branching Time Temporal Logic Talk. Visual Specification of Branching Time temporal logic. http://www.computer.org/conferences/vl95/talks/T36.html | |
|
45. 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 |
46. Extending Statecharts With Temporal Logic March 1998 (Vol. 24, No. 3). pp. 216231 ExtendingStatecharts with temporal logic. http://www.computer.org/tse/ts1998/e0216abs.htm | |
|
47. Basic Temporal Logic Basic temporal logic. Accordingly, the minimal temporal logic is axiomatizedby adding to system K the axiom (4), which corresponds to transitivity. http://www.informatik.uni-leipzig.de/~duc/Thesis/node52.html | |
|
48. 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/ | |
|
49. CS 557 References On Temporal Logic Session 18 4 October 1995. Some references for temporal logic. Hailpern, Brent T.,Verifying Concurrent Processes Using temporal logic , SpringerVerlag (1981). http://www.cs.colostate.edu/~cs557/read/temporal.html | |
|
50. Alur/Henzinger/Kupferman: Alternating-time Temporal Logic Alternatingtime temporal logic. Rajeev Alur, Thomas A. Henzinger,and Orna Kupferman temporal logic comes in two varieties linear http://www-cad.eecs.berkeley.edu/~tah/Publications/alternating-time_temporal_log | |
|
51. Alur/Henzinger: A Really Temporal Logic A Really temporal logic. Rajeev Alur and Thomas A. Henzinger We introducea temporal logic for the specification of realtime systems. http://www-cad.eecs.berkeley.edu/~tah/Publications/a_really_temporal_logic.html | |
|
52. Temporal Logic Lineartime temporal logic. A formula of temporal logic describes the set of infinitesequences for which it is true, also known as a temporal property . http://www-step.stanford.edu/tutorial/temporal-logic/temporal1.html | |
|
53. KLUWER Academic Publishers | Advances In Temporal Logic Books » Advances in temporal logic. Advances in temporal logic. Addto cart. edited by Howard Barringer University of Manchester, UK http://www.wkap.nl/prod/b/0-7923-6149-0 | |
|
54. KLUWER Academic Publishers | Temporal Logic Books » temporal logic. temporal logic From Ancient Ideas to ArtificialIntelligence. Add to cart. by Peter Øhrstrøm Dept. of Communication http://www.wkap.nl/prod/b/0-7923-3586-4 | |
|
55. 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/ | |
|
56. Temporal Logic Definition of temporal logic, possibly with links to more informationand implementations. NIST. temporal logic. (definition). http://www.nist.gov/dads/HTML/temporllogic.html | |
|
57. 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 |
58. Interval Temporal Logic Interval temporal logic. Interval temporal logic (ITL) is an important class oftemporal logic which was initally devised by Ben Moskowski in the 1980's. http://www.cs.ukc.ac.uk/people/staff/hb5/interval.html | |
|
59. Computer Science: Publication: Mexitl: Multimedia In Executable Interval Tempora Mexitl Multimedia in Executable Interval temporal logic, H. Bowman and H. Cameronand P. King and SJ Thompson, 2003, Computer Science, University of Kent at http://www.cs.ukc.ac.uk/pubs/2003/1570/ | |
|
60. Temporal Logic next up previous contents Next Probabilistic Logic Up Temporal ProbabilisticLogic Previous Temporal Probabilistic Logic. temporal logic. http://www.uwasa.fi/cs/publications/2NWGA/node285.html | |
|
Page 3 41-60 of 104 Back | 1 | 2 | 3 | 4 | 5 | 6 | Next 20 |