Publications

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

Publication Type:

Report

Authors:

Pere Pardo

Source:

(Submitted)

Abstract:

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

Projects: 
AT
»