Switch to: References

Add citations

You must login to add citations.
  1. Metric temporal reasoning with less than two clocks.Mark Reynolds - 2010 - Journal of Applied Non-Classical Logics 20 (4):437-455.
    We introduce a new way of defining metric temporal logic on a real-numbers flow of time. The idea is based on having semantics which allow us to refer to a single universal clock of arbitrary precision in order to impose metric constraints. This gives us a new metric temporal logic which is very expressive, is natural to use, can be applied in very general situations, affords a wide range of useful abbreviations and operators, has a PSPACE decision procedure, and has (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Towards implementing free-will.Bruce Edmonds - 2000
    Some practical criteria for free-will are suggested where free-will is a matter of degree. It is argued that these are more appropriate than some extremely idealised conceptions. Thus although the paper takes lessons from philosophy it avoids idealistic approaches as irrelevant. A mechanism for allowing an agent to meet these criteria is suggested: that of facilitating the gradual emergence of free-will in the brain via an internal evolutionary process. This meets the requirement that not only must the choice of action (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Replication, replication and replication: Some hard lessons from model alignment.Bruce Edmonds - unknown
    A published simulation model Riolo et al. 2001 ) was replicated in two independent implementations so that the results as well as the conceptual design align. This double replication allowed the original to be analysed and critiqued with confidence. In this case, the replication revealed some weaknesses in the original model, which otherwise might not have come to light. This shows that unreplicated simulation models and their results can not be trusted - as with other kinds of experiment, simulations need (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations