![Logic / Metaphysics / Philosophy of science / Theoretical philosophy / Reasoning / Logic in computer science / Expert systems / Inference / Logical consequence / Causality / Automated planning and scheduling / Forward chaining Logic / Metaphysics / Philosophy of science / Theoretical philosophy / Reasoning / Logic in computer science / Expert systems / Inference / Logical consequence / Causality / Automated planning and scheduling / Forward chaining](https://www.pdfsearch.io/img/b7d4955ffc4a90dbdb80e9a8b4f8f472.jpg) Date: 2016-06-09 08:09:43Logic Metaphysics Philosophy of science Theoretical philosophy Reasoning Logic in computer science Expert systems Inference Logical consequence Causality Automated planning and scheduling Forward chaining | | Temporal Inference In Forward Search Temporal Planning Dissertation Abstract Atif Talukdar Supervisors: Maria Fox and Derek Long King’s College London London WC2R 2LSAdd to Reading ListSource URL: icaps16.icaps-conference.orgDownload Document from Source Website File Size: 259,46 KBShare Document on Facebook
|