Encoding Definitional Fragments of Temporal Action Logic into Logic Programming

Marc van Zee; Patrick Doherty; John-Jules Ch. Meyer

Encoding Definitional Fragments of Temporal Action Logic into Logic Programming

Marc van Zee
, Patrick Doherty
, John-Jules Ch. Meyer

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, DARe@ECAI 2014, co-located with the 21st European Conference on Artificial Intelligence (ECAI 2014), Prague, Czech Republic, August 19, 2014.
Publication status	Published - 2014

Access to Document

http://ceur-ws.org/Vol-1212/DARe-14-paper-7.pdf

Cite this

Zee, M. V., Doherty, P., & Meyer, J.-J. C. (2014). Encoding Definitional Fragments of Temporal Action Logic into Logic Programming. In Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, DARe@ECAI 2014, co-located with the 21st European Conference on Artificial Intelligence (ECAI 2014), Prague, Czech Republic, August 19, 2014. http://ceur-ws.org/Vol-1212/DARe-14-paper-7.pdf

Zee, Marc van ; Doherty, Patrick ; Meyer, John-Jules Ch. / Encoding Definitional Fragments of Temporal Action Logic into Logic Programming. Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, DARe@ECAI 2014, co-located with the 21st European Conference on Artificial Intelligence (ECAI 2014), Prague, Czech Republic, August 19, 2014.. 2014.

@inproceedings{a1214831020a4a0aa10016a6f4d04280,

title = "Encoding Definitional Fragments of Temporal Action Logic into Logic Programming",

author = "Zee, \{Marc van\} and Patrick Doherty and Meyer, \{John-Jules Ch.\}",

year = "2014",

language = "English",

booktitle = "Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, DARe@ECAI 2014, co-located with the 21st European Conference on Artificial Intelligence (ECAI 2014), Prague, Czech Republic, August 19, 2014.",

}

Zee, MV, Doherty, P & Meyer, J-JC 2014, Encoding Definitional Fragments of Temporal Action Logic into Logic Programming. in Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, DARe@ECAI 2014, co-located with the 21st European Conference on Artificial Intelligence (ECAI 2014), Prague, Czech Republic, August 19, 2014.. <http://ceur-ws.org/Vol-1212/DARe-14-paper-7.pdf>

Encoding Definitional Fragments of Temporal Action Logic into Logic Programming. / Zee, Marc van; Doherty, Patrick; Meyer, John-Jules Ch.
Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, DARe@ECAI 2014, co-located with the 21st European Conference on Artificial Intelligence (ECAI 2014), Prague, Czech Republic, August 19, 2014.. 2014.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Encoding Definitional Fragments of Temporal Action Logic into Logic Programming

AU - Zee, Marc van

AU - Doherty, Patrick

AU - Meyer, John-Jules Ch.

PY - 2014

Y1 - 2014

M3 - Conference contribution

BT - Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, DARe@ECAI 2014, co-located with the 21st European Conference on Artificial Intelligence (ECAI 2014), Prague, Czech Republic, August 19, 2014.

ER -