Reference : Encoding Definitional Fragments of Temporal Action Logic into Logic Programming
Scientific congresses, symposiums and conference proceedings : Unpublished conference
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/20096
Encoding Definitional Fragments of Temporal Action Logic into Logic Programming
English
Van Zee, Marc mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Doherty, Patrick mailto []
Meyer, John-Jules mailto []
2014
Yes
The International Workshop on Defeasible and Ampliative Reasoning (DARe)
19-08-2014
http://hdl.handle.net/10993/20096

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
paper.pdfPublisher postprint280.09 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.