Kai Engelhardt, Ron van der Meyden, et al.  Home/Search
Context
Related
| unsw.edu.au/~meyden/resear...krefine.ps unsw.edu.au/pub/us..._FOSSACS2000.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: unsw.edu.au/~meyde...publications (more) Homepages: K.Engelhardt R.van der Meyden |
Rate this article:      (best)Comment on this article |
Abstract: This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agent. The framework generalizes a previously developed temporal refinement framework by amalgamating it with a logic of quantified local propositions, a generalization of the logic of knowledge. The combined framework provides a formal setting for development of knowledge-based programs, and addresses two problems of existing... (Update)
Similar documents (at the sentence level):
12.7%: A Refinement Theory that Supports Reasoning about.. - Engelhardt, van der .. (2001) (Correct)
Active bibliography (related documents): More All
0.5: On Refinement and Temporal Annotations - van der Meyden, Moses (Correct)
0.3: Leads-to Properties and the But-not-yet Operator - Calvert (1993) (Correct)
0.2: Issues for a Temporal Refinement Calculus - van der Meyden, Moses (Correct)
Similar documents based on text: More All
0.5: Modal Logics with a Linear Hierarchy of Local.. - Engelhardt, van der.. (Correct)
0.3: Complete Axiomatizations for Reasoning about Knowledge.. - Halpern, Van Der Meyden, .. (1999) (Correct)
0.3: Modal Logics with a Hierarchy of Local Propositional.. - Engelhardt, van der.. (1999) (Correct)
BibTeX entry: (Update)
@inproceedings{ evdmm2000:fossacs,
author = {Kai Engelhardt and Ron van der Meyden and Yoram
Moses},
title = {A Program Refinement Framework Supporting Reasoning
about Knowledge and Time},
booktitle = {Foundations of Software Science and Computation
Structures},
pages = {114--129},
year = 2000,
editor = {Jerzy Tiuryn},
volume = 1784,
series = lncs,
month = mar,
publisher = springer,
url = {citeseer.ist.psu.edu/engelhardt00program.html} }
Citations (may not include all citations):1180 The Temporal Logic of Reactive and Concurrent Systems: Speci.. (context) - Manna, Pnueli - 1992
293 Programming from Specifications (context) - Morgan - 1990
135 A theoretical basis for stepwise refinement and the programm.. (context) - Morris - 1987
58 Programming simultaneous actions using common knowledge - Moses, Tuttle - 1988
18 A real-time refinement calculus that changes only time - Utting, Fidge - 1996
12 Knowledge-oriented programming (context) - Moses, Kislev - 1993
6 Knowledge based programs: On the complexity of perfect recal.. (context) - van der Meyden - 1996
5 Top-down considerations on distributed systems (context) - van der Meyden, Moses - 1998
5 Separating timing and calculation in real-time refinement - Hayes - 1998
3 A predicate transformer approach to knowledge and knowledge-.. (context) - Sanders - 1991
1 On refinement and temporal annotations - van der Meyden, Moses
Documents on the same site (http://www.cse.unsw.edu.au/~meyden/research/publications.html): More
Model Checking Knowledge and Time in Systems with Perfect.. - van der Meyden, al. (1999) (Correct)
Common Knowledge and Update in Finite Environments - van der Meyden (1997) (Correct)
Knowledge Based Programs: On the Complexity of Perfect Recall .. - van der Meyden (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC