Publicaciones

Physically correct planning based on Temporal Defeasible Logcic (Appendix with Proofs)

Tipo de Publicación:

Report

Autores:

Pere Pardo

Origen:

(Submitted)

Resumen:

This Report contains the proofs for submitted paper "Physically correct planning in Temporal Defeasible Logic"

Proyectos: 
AT
»