Peter J. Robinson

Learn More
This paper presents the multi-threading and internet message communication capabilities of Qu-Prolog. Message addresses are symbolic and the communications package provides high-level support that completely hides details of IP addresses and port numbers as well as the underlying TCP/IP transport layer. The combination of the multi-threads and the high(More)
The Peirce project (named after Charles Sanders Peirce) is an international collabora-tive project aiming to construct a freely available conceptual graphs workbench to support research in the conceptual graphs community in areas such as natural language processing, enterprise modelling, program speciication and veriication, management information systems ,(More)
The teleo-reactive programming model is a high-level approach to developing real-time systems that supports hierarchical composition and durative actions. The model is different from frameworks such as action systems, timed automata and TLA+, and allows programs to be more compact and descriptive of their intended behaviour. Teleo-reactive programs are(More)
BACKGROUND Synoptic circulation patterns (large-scale tropospheric motion systems) affect air pollution and, potentially, air-pollution-morbidity associations. We evaluated the effect of synoptic circulation patterns (air masses) on the association between ozone and hospital admissions for asthma and myocardial infarction (MI) among adults in North(More)
For representing high level knowledge, such as the mathematical knowledge used in interactive theorem provers and veriication systems, it is desirable to extend Prolog's concept of data object. A basic reason is that Prolog data objects | Herbrand objects | are terms of a minimal object language, which does not include its own object variables, or(More)