|
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 [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >] |
| Doherty, Patrick [] |
| Meyer, John-Jules [] |
| 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):
| |
| | |
All documents in ORBilu are protected by a user license.