Data

Prolog

The University of Queensland
Dr Brijesh Dongol (Author) Dr Peter Robinson (Author) Emeritus Professor Ian Hayes (Author)
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 Peter Robinson&rft.creator=Emeritus Professor Ian Hayes&rft.date=2013&rft.relation=https://espace.library.uq.edu.au/view/UQ:306121&rft.type=dataset&rft.language=English Access the data
Cite Saved to MyRDA Save to MyRDA

Access:

Other view details

2013, The University of Queensland

Open Access

Creative Commons Attribution 3.0 International (CC BY 3.0)

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

This dataset is part of a larger collection

Click to explore relationships graph
Help

Related Publications

Related People

User Contributed Tags    

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

Identifiers
Similar data you may be interested in: