Data

Prolog

The University of Queensland
Dr Brijesh Dongol (Aggregated by) Dr Brijesh Dongol (Aggregated by) Dr Peter Robinson (Aggregated by) Emeritus Professor Ian Hayes (Aggregated by) Emeritus Professor Ian Hayes (Aggregated by)
Viewed: [[ro.stat.viewed]] Cited: [[ro.stat.cited]] Accessed: [[ro.stat.accessed]]
ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rfr_id=info%3Asid%2FANDS&rft_id=info:doi10.14264/uql.2014.173&rft.title=Prolog&rft.identifier=10.14264/uql.2014.173&rft.publisher=The University of Queensland&rft.description=Prolog - program to support the paper Reasoning about Goal-Directed Real-Time Teleo-Reactive Programs&rft.creator=Dr Brijesh Dongol&rft.creator=Dr Brijesh Dongol&rft.creator=Dr Peter Robinson&rft.creator=Emeritus Professor Ian Hayes&rft.creator=Emeritus Professor Ian Hayes&rft.date=2013&rft_rights=2013, The University of Queensland&rft_rights= http://creativecommons.org/licenses/by/3.0/deed.en_US&rft_subject=eng&rft_subject=INFORMATION AND COMPUTING SCIENCES&rft.type=dataset&rft.language=English Access the data
Cite Saved to MyRDA Save to MyRDA

Licence & Rights:

Open Licence view details
CC-BY

http://creativecommons.org/licenses/by/3.0/deed.en_US

2013, The University of Queensland

Access:

Open

Contact Information

Ian.Hayes@itee.uq.edu.au

Full description

Prolog - program to support the paper "Reasoning about Goal-Directed Real-Time Teleo-Reactive Programs"

Issued: 2013

Data time period: 2012 to 2012

Data time period: Data collected from: 2012-01-01T00:00:00Z
Data collected to: 2012-01-01T00:00:00Z

This dataset is part of a larger collection

Click to explore relationships graph
Help

Related People

Related Grants and Projects

Subjects
Information and Computing Sciences | eng |

User Contributed Tags    

Login to tag this record with meaningful keywords to make it easier to discover

Other Information
Reasoning about goal-directed real-time teleo-reactive programs

local : UQ:306121

Dongol, Brijesh, Hayes, Ian J. and Robinson, Peter J. (2014). Reasoning about goal-directed real-time teleo-reactive programs. Formal Aspects of Computing, 26 (3), 563-589. doi: 10.1007/s00165-012-0272-1

Research Data Collections

local : UQ:289097

School of Electrical Engineering and Computer Science Publications

local : UQ:3801

Identifiers