Encoding Definitional Fragments of Temporal Action Logic into Logic Programming

Unpublished conference/Abstract (Scientific congresses, symposiums and conference proceedings)

Van Zee, Marc; Doherty, Patrick; Meyer, John-Jules

2014 • The International Workshop on Defeasible and Ampliative Reasoning (DARe)

Permalink
https://hdl.handle.net/10993/20096

paper.pdf

Publisher postprint (286.82 kB)

All documents in ORBilu are protected by a user license.

Disciplines :

Computer science

Author, co-author :

Van Zee, Marc ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)

Doherty, Patrick

Meyer, John-Jules

Language :

English

Title :

Encoding Definitional Fragments of Temporal Action Logic into Logic Programming

Publication date :

2014

Event name :

The International Workshop on Defeasible and Ampliative Reasoning (DARe)

Event date :

19-08-2014

Available on ORBilu :

since 19 February 2015

Number of views

50 (0 by Unilu)

Number of downloads

45 (0 by Unilu)