Date: 2011-05-25 06:13:29Model theory Linear temporal logic Temporal logic Logical syntax Entailment First-order logic Limit Modal logic Action description language Logic Philosophical logic Propositional calculus | | TALplanner: An Empirical Investigation of a Temporal Logic-based Forward Chaining Planner Patrick Doherty Dept of Computer and Information Science Link¨oping University SE[removed]Link¨oping, SwedenAdd to Reading ListSource URL: www.ida.liu.seDownload Document from Source Website File Size: 200,33 KBShare Document on Facebook
|