![Theoretical computer science / Knowledge representation / Epistemology / Logic in computer science / Constraint logic programming / Constraint programming / Event calculus / First-order logic / Forcing / Mathematical logic / Logic / Logic programming Theoretical computer science / Knowledge representation / Epistemology / Logic in computer science / Constraint logic programming / Constraint programming / Event calculus / First-order logic / Forcing / Mathematical logic / Logic / Logic programming](https://www.pdfsearch.io/img/590f58c5386d47cf6259dbc3e3b5ab2b.jpg) Date: 2012-01-23 11:38:33Theoretical computer science Knowledge representation Epistemology Logic in computer science Constraint logic programming Constraint programming Event calculus First-order logic Forcing Mathematical logic Logic Logic programming | | Deductive Planning with Temporal Constraints using TAL Martin Magnusson and Patrick Doherty I Link6pings universitet, Link6ping[removed], Sweden patdo@ida, liu. se,Add to Reading ListSource URL: www.ida.liu.seDownload Document from Source Website File Size: 586,54 KBShare Document on Facebook
|